search

utwente-fmt / ltsmin

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

Building LTSmin before installing Sylvan blocks ./configure from finding Sylvan afterwards #197

Open SSoelvsten opened 2 years ago

SSoelvsten commented 2 years ago

This may just be an autotools problem or a lack of knowledge thereof. I went through the following steps:

  1. I cloned the repo and went through the build process. Sylvan was not yet installed.
  2. I Installed Sylvan in its default location (usr/loca/lib/)
  3. I reran ./configure but it could still not find Sylvan.

At this point I assumed the problem was somehow in the process of installing Sylvan. It turns out, that I should have cleaned up any prior mess by autotools. What fixed it was to run the following set of commands

libtoolize --force
aclocal
autoheader && autoconf && automake --add-missing

and then I could run succesfully the following commands to build everything

./configure --enable-dependency-tracking --prefix /path/ PKG_CONFIG_PATH="/usr/local/lib/pkgconfig/" --enable-pkgconf-static
sudo make

A note on this should probably be placed in the README.