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

Implemented proper congruence closure, to the point where tests/policy works

author	Adam Chlipala <adamc@hcoop.net>
date	Thu, 08 Apr 2010 12:46:21 -0400
parents	162d5308e34f
children	e12cef71aa1a

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@569	12 val libJs = OS.Path.joinDirFile {dir = lib,
adamc@569	13 file = "js"}
adamc@378	14
adamc@435	15 val gccArgs = "@GCCARGS@"
adamc@435	16
adamc@378	17 end

Mercurial > urweb