From b889b225a0d59a9abd4927417de91384f033a0c6 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Mon, 21 Oct 2013 11:25:02 +0100 Subject: [PATCH] ML cleanup; makefile removed. The example is built by running make examples in the build directory. Signed-off-by: Christoph M. Wintersteiger --- examples/ml/Makefile | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 examples/ml/Makefile diff --git a/examples/ml/Makefile b/examples/ml/Makefile deleted file mode 100644 index 818f0cacc..000000000 --- a/examples/ml/Makefile +++ /dev/null @@ -1,7 +0,0 @@ -# This is a temporary support file for emacs annotations. -# It does not compile the Z3 ML example; this will be built -# in the top-level build directory. - -all: - source /cygdrive/c/cwinter/.msenv32 ; OCAML_COMPAT=c C:/ocamlw32/bin/ocamlc -g -custom -cclib '-L../../bld_dbg -lz3' -annot -o ml_example.byte -I ../../bld_dbg/api/ml z3.cma ml_example.ml - source /cygdrive/c/cwinter/.msenv32 ; C:/ocamlw32/bin/ocamlopt -g -annot -o ml_example -cclib '-L../../bld_dbg -lz3' -I ../../bld_dbg -I ../../bld_dbg/api/ml z3.cmxa ml_example.ml