changes

README.md

@@ -22,18 +22,17 @@ JVM to run Alloy on macOS. A `.pkg` file is provided for that purpose.
 
 # TL;DR
 
-Checkout the project and type ./gradlew. You find the executable JAR in bin/alloy_cvc4.jar after the build has finished.
+Checkout the project and type `./gradlew alloyCVC4`. You find the executable JAR in bin/alloy_cvc4.jar after the build has finished.
 
-     $ java -version           # works with 1.8 - 1.11
+     $ java -version
      java version "11.0.1" 2018-10-16 LTS
      Java(TM) SE Runtime Environment 18.9 (build 11.0.1+13-LTS)
      Java HotSpot(TM) 64-Bit Server VM 18.9 (build 11.0.1+13-LTS, mixed mode)
      $ git clone https://github.com/CVC4/org.alloytools.alloy
-     $ cd org.alloytools.alloy
-     # switch to cvc4 branch
-     $ git checkout cvc4 
-     $ ./gradlew build
+     $ cd org.alloytools.alloy     
+     $ ./gradlew alloyCVC4
      $ cd bin
+     $ chmod +x cvc4_linux
      $ java -jar alloy_cvc4.jar
      # opens GUI
 

bin/guidelines.md

@@ -11,8 +11,7 @@ The relational solver uses as backend the SMT solver [CVC4](https://cvc4.cs.stan
 CVC4 binaries for Windows, macOS and Linux are included in the release [alloy_cvc4.zip](https://github.com/CVC4/org.alloytools.alloy/releases/download/v5.0.0.4/alloy_cvc4.zip). The latest version of CVC4 can be downloaded from [here](https://cvc4.github.io/downloads.html). To build the latest version of alloy_cvc4 in Linux run the commands:
 ```cmd
 git clone https://github.com/CVC4/org.alloytools.alloy
-cd org.alloytools.alloy     
-git checkout cvc4
+cd org.alloytools.alloy
 ./gradlew alloyCVC4
 cd bin
 chmod +x cvc4_linux