From ced6809cd8a909c5fd9d47bcde252c2695ab2501 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Mon, 14 Dec 2015 14:43:28 +0000 Subject: [PATCH] Removed old, unnecessary file. --- src/api/ml/Makefile | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 src/api/ml/Makefile diff --git a/src/api/ml/Makefile b/src/api/ml/Makefile deleted file mode 100644 index 96fd0a55d..000000000 --- a/src/api/ml/Makefile +++ /dev/null @@ -1,10 +0,0 @@ -# This is a temporary support file for emacs annotations. -# It does not compile the Z3 ML API; this will be built -# in the top-level build directory. - -all: - ocamlbuild -cflag -annot z3.cmxa - -doc: *.ml - mkdir -p doc - ocamldoc -html -d doc -I _build -sort *.mli -hide Z3