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