search

utwente-fmt / ltsmin

The LTSmin model checking toolset
http://ltsmin.utwente.nl
BSD 3-Clause "New" or "Revised" License
52 stars 30 forks source link

Compiling error on mintlinux #155

Closed Johanvdberg closed 6 years ago

Johanvdberg commented 6 years ago

running ./configure --prefix=/home/johan/ --with-sylvan

config.log

running make give the error

johan@johan-System-Product-Name ~/tmp/ltsmin $ make
Making all in ltl2ba
make[1]: Entering directory '/home/johan/tmp/ltsmin/ltl2ba'
make[1]: *** No rule to make target 'all'.  Stop.
make[1]: Leaving directory '/home/johan/tmp/ltsmin/ltl2ba'
Makefile:624: recipe for target 'all-recursive' failed
make: *** [all-recursive] Error 1

Support for mcrl2 is a must.