comparison 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
comparison
equal deleted inserted replaced
1519:ada582d07ae1 1520:b5517f47b1f1
18 18
19 val pgheader = "@PGHEADER@" 19 val pgheader = "@PGHEADER@"
20 val msheader = "@MSHEADER@" 20 val msheader = "@MSHEADER@"
21 val sqheader = "@SQHEADER@" 21 val sqheader = "@SQHEADER@"
22 22
23 val versionNumber = "@VERSION@"
24 val versionString = "The Ur/Web compiler, version " ^ versionNumber
25
23 end 26 end