summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordianshi <dianshi@main.lv>2020-07-08 20:25:51 +0100
committerdianshi <dianshi@main.lv>2020-07-08 20:25:51 +0100
commite413daa66e0a987e92a3c9f936e01cb6e1150535 (patch)
treedae52b5e15aac882957039435770f62582d1287b
parentea30aa946ef4b441d05c003bd74a65b5a67de3c5 (diff)
downloadosystem-e413daa66e0a987e92a3c9f936e01cb6e1150535.tar.gz
osystem-e413daa66e0a987e92a3c9f936e01cb6e1150535.zip
Initial ols tool
-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