./configure should check for "ant" (needed for building spins.jar)

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

Open jwaldmann opened 4 years ago

jwaldmann commented 4 years ago

I am seeing this behaviour

./configure  --with-spins
make
...
test -f spins/spins.jar || (cd "./spins/src" && )
/bin/sh: -c: line 0: syntax error near unexpected token `)'

I think this comes from Makefile.am:

test -f $@ || (cd "${top_srcdir}/spins/src" && $(ANT))

I could repair this only via

make ANT=ant