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"