No ability to configure or make / make errors

[zeshinsei]

The documentation indicates to:

1. configure
2. make

Attempting these both and neither work.

$ ./configure
-bash: ./configure: No such file or directory

Looking in the Github package, there is no configure script anywhere with that specific name.

How is this meant to be installed?

Or if I use bootstrap, the make results in:

make  all-recursive
make[1]: Entering directory `/home/user/splint/'
Making all in src
make[2]: Entering directory `/home/user/splint/src'
no -v -t -d --debug --no-lines -p lsl signature.y
make[2]: no: Command not found
make[2]: *** [signature.tab.c] Error 127
make[2]: Leaving directory `/home/user/splint/src'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/user/splint/'
make: *** [all] Error 2

[ravenexp]

The repository does not contain the configure script because it's generated by autoconf.
You have to run ./bootstrap first if you check out the source code from the repository.

The documentation is meant for the users compiling splint from the source tarballs created by make dist.

[zeshinsei]

The repository does not contain the configure script because it's generated by autoconf.
You have to run ./bootstrap first if you check out the source code from the repository.

The documentation is meant for the users compiling splint from the source tarballs created by make dist.

Tried that too, no luck as it results in make errors. Updated my Issue with the details.

[everschen]

same issue here.

no -v -t -d --debug --no-lines -p lsl signature.y
make[2]: no: Command not found

[bpringlemeir]

The repository does not contain the configure script because it's generated by autoconf.
You have to run ./bootstrap first if you check out the source code from the repository.
The documentation is meant for the users compiling splint from the source tarballs created by make dist.

Tried that too, no luck as it results in make errors. Updated my Issue with the details.

Could you try autoreconf instead of the bootstrap script? Also, can you give some more details of the systems you are using. Example, uname -a and autoreconf -V. Or with the bootstrap, autoconf --version and automake --version.

[WeilunFong]

According to Makefile, it results from variable BISON is set as no. Try making sure that /usr/bin/bison is exists on your machine then build again.

[rillig]

Setting BISON=no is a bug. Instead of this wrong definition, ./configure should rather produce an error message "Bison/yacc is required".