Now builds with MLton

[hcoop/domtool2.git] / src / prefix.mlb

diff --git a/src/prefix.mlb b/src/prefix.mlb
new file mode 100644 (file)
index 0000000..11c92f7
--- /dev/null
+++ b/src/prefix.mlb
@@ -0,0 +1,13 @@
+$(SML_LIB)/basis/basis.mlb
+$(SML_LIB)/basis/unsafe.mlb
+$(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb
+$(SML_LIB)/mlyacc-lib/mlyacc-lib.mlb
+$(SML_LIB)/smlnj-lib/HTML/html-lib.mlb
+$(SML_LIB)/smlnj-lib/PP/pp-lib.mlb
+$(SML_LIB)/mlnlffi-lib/internals/c-int.mlb
+
+../openssl/mlton/FFI/libssl.h.mlb
+
+compat.sig
+compat_mlton.sml
+