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

how to install ltsmin？ #211

Open yin99 opened 1 year ago

yin99 commented 1 year ago

I git the code of ltsmin. But I cannot install it.( OS is ubuntu)

Installation Instructions tells me input "./configure --disable-dependency-tracking --prefix /path/ ".But there is no ./configure. Building from a Git Repository told me "./ltsminreconf".Then these message as fallow were printed on my shell : "Note: Do NOT run aclocal by yourself, even if requested by autoreconf. This is done automatically. autoreconf: Entering directory `.' autoreconf: configure.ac: not using Gettext autoreconf: running: aclocal --force -I m4 configure.ac:36: error: unknown libltdl build type: _LTDL_TYPE m4/ltdl.m4:226: LTDL_INIT is expanded from... configure.ac:36: the top level autom4te: /usr/bin/m4 failed with exit status: 1 aclocal: error: echo failed with exit status: 1 autoreconf: aclocal failed with exit status: 1 "

jacopol commented 1 year ago

Are you sure you have installed all dependencies listed here?

Anyway, you can ignore "Note: Do NOT run aclocal by yourself, even if requested by autoreconf.", this message is harmless. Seems something wrong with libltdl (libtool?) but I don't know what.

yin99 commented 1 year ago

Thanks. I will try again to install all dependencies.

By the way, if all dependencies were ok , can I successfully install it by simply running ./ltsminreconf ？

jacopol commented 1 year ago

Hi Yin, After installing the dependencies, you first do

$ git submodule update --init
$ ./ltsminreconf

and then you follow the normal installation procedure with ./configure ... ; make ; make install