summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile0
-rw-r--r--ols/Makefile8
-rw-r--r--ols/ols.ml0
3 files changed, 8 insertions, 0 deletions
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/Makefile
diff --git a/ols/Makefile b/ols/Makefile
new file mode 100644
index 0000000..2aa241a
--- /dev/null
+++ b/ols/Makefile
@@ -0,0 +1,8 @@
+make:
+ ocamlc unix.cma str.cma ols.ml -o ols
+
+static:
+ ocamlopt unix.cmxa -ccopt -static ols.ml -o ols
+
+clean:
+ rm -f *.cmi *.cmx *.o *.cmo \ No newline at end of file
diff --git a/ols/ols.ml b/ols/ols.ml
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/ols/ols.ml