From 94aa3d0f8c4c480ad67045f12d33b0f7813868e6 Mon Sep 17 00:00:00 2001 From: Philipp Gesang Date: Fri, 16 May 2014 20:32:17 +0200 Subject: initial --- OMakeroot | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 OMakeroot (limited to 'OMakeroot') diff --git a/OMakeroot b/OMakeroot new file mode 100644 index 0000000..be8d4b6 --- /dev/null +++ b/OMakeroot @@ -0,0 +1,12 @@ +open build/OCaml + +# +# The command-line variables are defined *after* the +# standard configuration has been loaded. +# +#DefineCommandVars() + +# +# Include the OMakefile in this directory. +# +.SUBDIRS: . -- cgit v1.2.3