diff src/config.sml.in @ 1520:b5517f47b1f1

Tracking and printing of version numbers (based on a patch by Austin Seipp)
author Adam Chlipala <adam@chlipala.net>
date Tue, 02 Aug 2011 13:33:38 -0400
parents 3d0cc841cafd
children 52fbd8534ef3
line wrap: on
line diff
--- a/src/config.sml.in	Sun Jul 24 15:47:09 2011 -0400
+++ b/src/config.sml.in	Tue Aug 02 13:33:38 2011 -0400
@@ -20,4 +20,7 @@
 val msheader = "@MSHEADER@"
 val sqheader = "@SQHEADER@"
 
+val versionNumber  = "@VERSION@"
+val versionString  = "The Ur/Web compiler, version " ^ versionNumber
+
 end