From 9c27c9d90a3f3593de07658a14581b66d08c8b75 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 26 Jan 2008 10:06:22 -0500
Subject: Initial skeleton

---
 src/prefix.mlb | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 src/prefix.mlb

(limited to 'src/prefix.mlb')

diff --git a/src/prefix.mlb b/src/prefix.mlb
new file mode 100644
index 00000000..7e47a195
--- /dev/null
+++ b/src/prefix.mlb
@@ -0,0 +1,5 @@
+$(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
+
-- 
cgit v1.2.3