summaryrefslogtreecommitdiff
path: root/ccross.mlb
diff options
context:
space:
mode:
Diffstat (limited to 'ccross.mlb')
-rw-r--r--ccross.mlb23
1 files changed, 23 insertions, 0 deletions
diff --git a/ccross.mlb b/ccross.mlb
new file mode 100644
index 0000000..76eeb47
--- /dev/null
+++ b/ccross.mlb
@@ -0,0 +1,23 @@
+ann
+ "allowRecordPunExps true"
+ "warnUnused true"
+in
+ $(SML_LIB)/basis/basis.mlb
+ $(SML_LIB)/basis/mlton.mlb
+ general.sml
+
+ stream.sig
+ stream.sml
+
+ hashtable.sig
+ hashtable.sml
+
+ tokenizer.sig
+ tokenizer.sml
+
+ cpp.sig
+ cpp.sml
+
+ exn_handler.sml
+ ccross.sml
+end