SLUGS Installation on Windows - VerifiableRobotics/LTLMoP GitHub Wiki

Table of Contents Dependencies Installing CUDD on Windows Using qmake with Tool.pro Compiling SLUGS

To run SLUGS on Windows, you will need the following libraries and programs:

• Boost - Tested with boost_1_57_0.zip in Dec 2014
• Qt - Tested with Qt5.3.2 in Dec 2014
• Cygwin - Tested with Cygwin1.7.33 in Dec 2014

Please download and install Boost and Qt following the official instructions. For the Cygwin Installation, please see the next section Installing CUDD on Windows.

1. First download the CUDD library (2.5.0 version). Please extract the 'tar.gz' to the 'lib' folder of SLUGS.
2. Then follow Steps 1-4 here to compile CUDD on Windows. If make failed, try going into the util directory and run the make command, then come back to the main directory and do make again.

1. Open cygwin and type in qmake to check if qmake executable is included in the PATH variable. If not, find the directory to qmake.exe and add that to the PATH variable.
2. Open Tool.pro under the src directory of SLUGS. Change the line

   BDDFLAGS = $$system(gcc BFAbstractionLibrary/compilerOptionGenerator.c -o /tmp/BFAbstractionCompilerOptionsProducer-$$(USER);/tmp/BFAbstractionCompilerOptionsProducer-$$(USER)) 

   to the following:

    BDDFLAGS = $$system(gcc BFAbstractionLibrary/compilerOptionGenerator.c -o BFAbstractionCompilerOptionsProducer;BFAbstractionCompilerOptionsProducer) 

   In addition, add the directory to boost behind

    INCLUDEPATH = ../lib/cudd-2.5.0/include BFAbstractionLibrary 

   For example, it will look like this:

    INCLUDEPATH = ../lib/cudd-2.5.0/include BFAbstractionLibrary ../../../../../../../boost_1_57_0/

3. Now run qmake Tool.pro

1. Under the src directory, replace C:/ in Makefile with /cygdrive/c/.
2. Run make release in the directory.
3. Copy slugs.exe under src/release into the src directory. You should be all set.