Mercurial > urweb
annotate src/config.sml.in @ 411:06fcddcd20d3
Sum demo, minus inference of {Unit}s
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 21 Oct 2008 19:24:39 -0400 |
parents | 168667cdaa95 |
children | f7b25375c0cf |
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@378 | 13 end |