Awesome, thanks Adam! On Tue, Aug 2, 2011 at 12:36 PM, Adam Chlipala <[email protected]> wrote: > austin seipp wrote: >> >> The compiler has never had a version flag, so attached is a patch that >> adds some support for build/compiler versions. >> > > Thanks! I've pushed a changeset based on yours, but with a different > versioning scheme. I'm including the latest release number in configure.ac, > along with code that, if this is marked as a $WORKING_VERSION, queries 'hg > identify' to get extra information to append afterward. > > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >
-- Regards, Austin _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
