Open mguthaus opened 3 years ago
@mguthaus Thanks for the suggestion. In my experience, running autoconf on the installation machine occasionally resulted in an error when re-yacc-ing the parser. So far, I have not had any problems installing on linux machines running the configure script as is, but let me know if you run into problems and I'll look into it.
Hi Mitch,
There is no configure script committed, just the configure.ac file.
Matt
On Sat, Feb 27, 2021, 02:26 Mitch Bailey notifications@github.com wrote:
@mguthaus https://github.com/mguthaus Thanks for the suggestion. In my experience, running autoconf on the installation machine occasionally resulted in an error when re-yacc-ing the parser. So far, I have not had any problems installing on linux machines running the configure script as is, but let me know if you run into problems and I'll look into it.
— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/d-m-bailey/cvc/issues/224#issuecomment-787050440, or unsubscribe https://github.com/notifications/unsubscribe-auth/AC67SLZA35ZVBTE4YF2H7OLTBDCF5ANCNFSM4YG4C3WQ .
@mguthaus Thanks for the clarification.
The github page has instructions for installing from the distribution release which includes the configure script, but no instructions for installing from the git repo.
I should add a file to repo to explain that more clearly.
I think the builld instructions should require running autoconf -i as well before configure?