X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/d351d679283a797c98f5f65d18aa757c18e56305..0d3fb301bcae781d585bdecf534ed18769d91bce:/src/prefix.mlb

diff --git a/src/prefix.mlb b/src/prefix.mlb
index e95c596..71e1e43 100644
--- a/src/prefix.mlb
+++ b/src/prefix.mlb
@@ -1,5 +1,6 @@
 $(SML_LIB)/basis/basis.mlb
 $(SML_LIB)/basis/unsafe.mlb
+$(SML_LIB)/basis/sml-nj.mlb
 $(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb
 $(SML_LIB)/mlyacc-lib/mlyacc-lib.mlb
 $(SML_LIB)/smlnj-lib/HTML/html-lib.mlb
@@ -7,6 +8,7 @@ $(SML_LIB)/smlnj-lib/PP/pp-lib.mlb
 $(SML_LIB)/mlnlffi-lib/internals/c-int.mlb
 
 ../openssl/mlton/FFI/libssl.h.mlb
+../pcre/mlton/FFI/libpcre.h.mlb
 
 compat.sig