From 5aefb7b88db04c2d0e8a8fffe3050d3d35ace4c1 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Tue, 5 Nov 2013 16:07:08 +0000
Subject: Clean-up build-related files

---
 src/_tags               |  2 +-
 src/lem_interp/Makefile | 16 ----------------
 2 files changed, 1 insertion(+), 17 deletions(-)
 delete mode 100644 src/lem_interp/Makefile

(limited to 'src')

diff --git a/src/_tags b/src/_tags
index 9fac32a1..d6eae284 100644
--- a/src/_tags
+++ b/src/_tags
@@ -1,6 +1,6 @@
 true: -traverse, debug
 <**/*.ml>: bin_annot, annot
-<lem_interp>: include
+<lem_interp> or <test>: include
 # see http://caml.inria.fr/mantis/view.php?id=4943
 <lem_interp/*> and not <lem_interp/*.cmxa>: use_lem, use_nums
 <test/*> and not <test/*.cmxa>: use_lem, use_nums
diff --git a/src/lem_interp/Makefile b/src/lem_interp/Makefile
deleted file mode 100644
index 5043a330..00000000
--- a/src/lem_interp/Makefile
+++ /dev/null
@@ -1,16 +0,0 @@
-.PHONY: all clean
-
-LEMDIR=$(abspath ../../../lem)
-OCAMLPATH:=$(LEMDIR)/ocaml-lib:$(OCAMLPATH)
-
-all: interp.cma interp.cmxa
-
-interp_ast.ml interp.ml: interp_ast.lem interp.lem
-	$(LEMDIR)/lem -ocaml $^
-
-interp.cma interp.cmxa: interp_ast.ml interp.ml
-	OCAMLPATH=$(OCAMLPATH) ocamlbuild -use-ocamlfind -pkg lem $@
-
-clean:
-	-ocamlbuild -clean
-	-rm -rf _build *.ml
-- 
cgit v1.2.3