https://github.com/matachi/rangefix

https://github.com/matachi/rangefix

Last synced: 19 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/matachi/rangefix
• Owner: matachi
• License: mit
• Created: 2015-12-28T10:34:22.000Z (about 9 years ago)
• Default Branch: scala-2.9
• Last Pushed: 2016-05-02T13:50:25.000Z (over 8 years ago)
• Last Synced: 2024-11-10T04:23:02.264Z (3 months ago)
• Language: Scala
• Size: 62.9 MB
• Stars: 1
• Watchers: 3
• Forks: 1
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: license.txt

Awesome Lists containing this project

README

        
# Run RangeFix

Running RangeFix.jar works with both JRE 7 and JRE 8.

    $ wget https://github.com/matachi/rangeFix/releases/download/0.1/RangeFix.jar

    $ java -cp RangeFix.jar ca.uwaterloo.gsd.rangeFix.KconfigMain testfiles/kconfig/test.exconfig testfiles/kconfig/test.config A yes D yes

# Build RangeFix

JDK 7 and Scala 2.9 are required to build RangeFix.

## How to set up on Windows

*(Tested on Windows 7 32-bit)*

Download and install:

* Java JDK 7u79: 

* Scala 2.9.2: 

* sbt 0.13.9: 

Append `;C:\Program Files\Java\jdk1.7.0_79\bin` to the end of the environment

varible `Path`.

Create environment variable `JAVA_TOOL_OPTIONS` with value

`-Dfile.encoding=UTF8`.

## How to set up on Linux

*(Tested on Fedora 23 64-bit)*

Download and extract:

* OpenJDK 1.7.0 u80: 

* Scala 2.9.2: 

Install sbt and Z3: `sudo dnf install sbt z3`

Run:

    $ PATH=`readlink -f openjdk-1.7.0-u80-unofficial-linux-amd64-image/bin`:$PATH

    $ PATH=`readlink -f scala-2.9.2/bin`:$PATH

    $ cd rangeFix

    $ git apply linux-z3-path.patch

    $ sbt test

## How to build RangeFix.jar

    $ ./build-combined-jar.sh