Ur/Web: src/config.sml.in annotate

Remove unnecessary lifts in ElabEnv.pushCRel

author	Adam Chlipala <adamc@hcoop.net>
date	Thu, 27 Nov 2008 10:40:29 -0500
parents	f7b25375c0cf
children	162d5308e34f

rev	line source
adamc@378	1 structure Config :> CONFIG = struct
adamc@378	2
adamc@378	3 val bin = "@BIN@"
adamc@378	4 val lib = "@LIB@"
adamc@378	5 val includ = "@INCLUDE@"
adamc@378	6 val sitelisp = "@SITELISP@"
adamc@378	7
adamc@378	8 val libUr = OS.Path.joinDirFile {dir = lib,
adamc@378	9 file = "ur"}
adamc@378	10 val libC = OS.Path.joinDirFile {dir = lib,
adamc@378	11 file = "c"}
adamc@378	12
adamc@435	13 val gccArgs = "@GCCARGS@"
adamc@435	14
adamc@378	15 end

Mercurial > urweb