Mercurial > urweb
diff src/prefix.mlb @ 791:5368deb3764b
Use Ur/Web library .mlb
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 10 May 2009 10:13:41 -0400 |
parents | 502c6d622477 |
children |
line wrap: on
line diff
--- a/src/prefix.mlb Tue May 05 14:47:11 2009 -0400 +++ b/src/prefix.mlb Sun May 10 10:13:41 2009 -0400 @@ -1,5 +1,7 @@ -$(SML_LIB)/basis/basis.mlb -$(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb -$(SML_LIB)/mlyacc-lib/mlyacc-lib.mlb -$(SML_LIB)/smlnj-lib/PP/pp-lib.mlb +local + $(SML_LIB)/basis/basis.mlb + $(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb + $(SML_LIB)/mlyacc-lib/mlyacc-lib.mlb + $(SML_LIB)/smlnj-lib/PP/pp-lib.mlb +in