utwente-fmt / ltl2ba Goto Github PK

The README advises to type "autoconf -i -f" but that led to errors (on Ubuntu 20_04.6).
"autoreconf -vfi" worked instead. Not sure if this would generally work.

The error message was:

configure.ac:7: error: possibly undefined macro: AM_INIT_AUTOMAKE
If this token and others are legitimate, please use m4_pattern_allow.
See the Autoconf documentation.

Thanks for this excellent tool. however, your instructions seem to be out-of-date. They say that it suffices to do make.

In order to configure and make, I ahd to do:

autoreconf --force --install --verbose
# This creates "configure" and "Makefile.in"
./configure
make

Could you please add the auto-generated configure and Makefile.in files to your git repo?
And after taht, could you please update the README to say to do:
./configure && make

And finally, although this may seem trivial, could you include in the README
a one-line example for users to test if it's working for them. I'm thinking of
something like:

4. TESTING

For testing, try:
> ./ltl2ba -f '...'

(with a simple LTL formula), and then re-number 4. CHANGES to 5. CHANGES.

And as one final comment, could you convert the README file from ISO-8859
to the more modern UTF format for the umlaut of 'Büchi'?

Thanks again for this excellent software.