That is amazingly useful.
You have my heartfelt thanks.
You might want to patch the install.html
to refer to your repository instead of
www.splint.org
You might also want to correct references
to splint-3.1.1* to splint-patched* in that file.
The big big problem here is that install.html
says to run configure, but there is no configure.
There is instead a configure.ac.
I guess this is a setup where you have to run
autotools, but I have no idea how to do that,
and install.html doesn't say.
m% autoconf
configure.ac:16: error: possibly undefined macro: AM_INIT_AUTOMAKE
If this token and others are legitimate, please use m4_pattern_allow.
See the Autoconf documentation.
configure.ac:17: error: possibly undefined macro: AM_SILENT_RULES
configure.ac:31: error: possibly undefined macro: AM_PROG_LEX
Ideally, I'd like a snapshot I can just do the
configure/make/make install
waltz with, second best would be the README or install.html
telling me *how* to set this up with autoconf.
m% which autoconf
/usr/local/bin/autoconf
m% autoconf --version
autoconf (GNU Autoconf) 2.69
Copyright (C) 2012 Free Software Foundation, Inc.
License GPLv3+/Autoconf: GNU GPL version 3 or later
<http://gnu.org/licenses/gpl.html>, <http://gnu.org/licenses/exceptions.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.
Written by David J. MacKenzie and Akim Demaille.
This is a Mac running OSX 10.11 and I do not have root
privilege, so please don't ask me to install some other
version of autoconf.
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
