[Ur] PATCH: -version flags for urweb compiler

[austin seipp]

Awesome, thanks Adam!

On Tue, Aug 2, 2011 at 12:36 PM, Adam Chlipala <adamc at impredicative.com> 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
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>



-- 
Regards,
Austin