Added fig6 generator script that has a fix for ubuntu 18.04

Author: king-mahdi

README.md

@@ -13,7 +13,7 @@ There are two parts to the results with details for each below:
 
 # QuickStart
 
-The build has only been tested on Ubuntu 16.04 and 18.04 machines.  Due to the need for
+The build has only been tested on Ubuntu 16.04 machine.  Due to the need for
 Boost and ROSE for the CHiLL compiler, building all of the software on other platforms
 could be excessively challenging.
 

fig6Gen.sh

@@ -0,0 +1,5 @@
+#!/usr/bin/env bash
+
+export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:./boost/lib
+./simplification list.txt
+

install.sh

@@ -1,7 +1,7 @@
 #!/usr/bin/env bash
 
 # Step 0: Installation prerequisites:
-sudo apt-get install git wget tar unzip make autoconf automake cmake libtool default-jdk default-jre flex bison python-dev texinfo gnuplot-x11 evince doxygen
+sudo apt-get install build-essential git wget tar unzip make autoconf automake cmake libtool default-jdk default-jre flex bison python-dev texinfo gnuplot-x11 libisl-dev evince doxygen
 
 
 # Step 1: Installing boost:

simplification.cc

@@ -331,9 +331,7 @@ void driver(string list)
 
  } // End of input json file list loop
 
-   int cmdErr = system ("cd results");
-   cmdErr = system ("gnuplot gnpUnSatSimp.gnu");
-   cmdErr = system ("cd ..");
+   int cmdErr = system ("cd results && gnuplot gnpUnSatSimp.gnu && cd ..");
 
 }
 // ----------- End of driver function --------------------------------------