alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

ltsmin: more information for MacOS users

Browse source 
* tests/ltsmin/README: this fixes #230.
This commit is contained in:
Etienne Renault 2017-02-10 10:07:53 +01:00
parent 6be87e5bb9
commit 5516209d8c
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
tests/ltsmin/README
View file

@ -39,6 +39,12 @@ option of configure scripts. If you decide to install in $HOME/usr
like I do, make sure that $HOME/usr/bin is in your PATH. If you omit
the CMAKE_INSTALL_PREFIX setting, it will default to /usr/local.
If you are using MacOS, you must add option -DHOARD=OF to the cmake
command line in order to make it compile without errors. Also,
DiVinE 2 only compiles with the GNU std C++ library; as a consequence,
you must provide the option -DCMAKE_CXX_FLAGS="-stdlib=libstdc++" to
the cmake command line.
After installation, you can check that compilation works by running
the following command on any DVE model. It should create a file
model.dve2C (which is a dynamic library).