Hi Richard, Thanks for your feedback, I'm answering bellow. Hope this helps.
On Fri, Mar 17, 2017 at 11:31:21AM +1300, Richard A. O'Keefe wrote: > 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. Your are correct, those bits should be changed, but I'd like to point out that my main goal was code, not documentation (if I'd have to also update documentation, there are places that are in need since earlier then the last official version, not to mention the changes that I've described). > > The big big problem here is that install.html > says to run configure, but there is no configure. > There is instead a configure.ac. As I've mentioned in the description, my approach to code repository is that all generated files (including configure, generated from configure.ac) don't belong in the repository (changing the [external] generation tool without any changes to the template files causes changes in repository -- not my idea of good practice). But, as I've also mentioned in the announcement, now 'make dist' works correctly, producing valid archives (*.tar.gz) to distribute. Sadly, repo.or.cz offers no distribution support, only repository publication/exchange. Thus I don't have (for the moment) a way to distribute such an archive (as in, for example, SourceForge.net). I'm looking for a way to distribute such archives (that allows one the standard configure + make + make install). Hoping that such a way would be found soon, there wouldn't be any need to change the building instructions. > > 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 > automake provides some standard macros that are not installed by default (that should be done only once, and its assumed the developer runs that). If I remember correctly, in order to force autotools (autoconf/automake/libtool) to install/generate what is standard but missing, one should use 'autoconf -i' in the directory containing configure.ac. [Keep in mind this is just a temporary solution until I find a way to distribute proper source archives, not repositories]. > > 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 _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
