summaryrefslogtreecommitdiff
path: root/ormdir/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'ormdir/Makefile')
-rw-r--r--ormdir/Makefile8
1 files changed, 8 insertions, 0 deletions
diff --git a/ormdir/Makefile b/ormdir/Makefile
new file mode 100644
index 0000000..4ae0c5d
--- /dev/null
+++ b/ormdir/Makefile
@@ -0,0 +1,8 @@
+make:
+ ocamlc unix.cma str.cma ormdir.ml -o ormdir
+
+static:
+ ocamlopt unix.cmxa -ccopt -static ormdir.ml -o ormdir
+
+clean:
+ rm -f *.cmi *.cmx *.o *.cmo \ No newline at end of file