From 8a444b23a9744b3068240a2b12f9a1ec68d19fa3 Mon Sep 17 00:00:00 2001 From: Christian Rinderknecht Date: Sun, 19 Aug 2018 20:53:42 +0200 Subject: [PATCH] Support for the OCaml Makefile and git (Version.ml). --- .PartitionMain.tag | 0 .links | 1 + Makefile.cfg | 4 ++++ Version.ml | 1 + 4 files changed, 6 insertions(+) create mode 100644 .PartitionMain.tag create mode 100644 .links create mode 100644 Makefile.cfg create mode 100644 Version.ml diff --git a/.PartitionMain.tag b/.PartitionMain.tag new file mode 100644 index 0000000..e69de29 diff --git a/.links b/.links new file mode 100644 index 0000000..b79d096 --- /dev/null +++ b/.links @@ -0,0 +1 @@ +../OCaml-build/Makefile diff --git a/Makefile.cfg b/Makefile.cfg new file mode 100644 index 0000000..13c016e --- /dev/null +++ b/Makefile.cfg @@ -0,0 +1,4 @@ +SHELL := dash +BFLAGS := -strict-sequence -w +A-48-4 +#OCAMLC := ocamlcp +#OCAMLOPT := ocamloptp diff --git a/Version.ml b/Version.ml new file mode 100644 index 0000000..41bfb40 --- /dev/null +++ b/Version.ml @@ -0,0 +1 @@ +let version = "24f4693"