From f0bbc49b54862bec08df26fa753ac270f2042ae4 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Mon, 11 Nov 2013 10:21:16 +0000
Subject: Remove lem-lib hack

Lem has now switched to the new library by default
(remember to "make ocaml-libs" in Lem to build it).
---
 Makefile     | 2 +-
 src/Makefile | 5 -----
 src/_tags    | 3 +--
 3 files changed, 2 insertions(+), 8 deletions(-)

diff --git a/Makefile b/Makefile
index f9c595de..88800c3a 100644
--- a/Makefile
+++ b/Makefile
@@ -3,7 +3,7 @@
 all: src language
 
 src: language
-	$(MAKE) -C $@ update_lem_lib all
+	$(MAKE) -C $@
 
 language:
 	$(MAKE) -C $@
diff --git a/src/Makefile b/src/Makefile
index de254cef..d36441b6 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -6,11 +6,6 @@ all:
 test: all
 	./run_tests.native
 
-update_lem_lib:
-	mkdir -p lem_lib
-	../../lem/lem -ocaml -only_changed_output -outdir lem_lib ../../lem/library-new/*.lem
-	rm -f lem_lib/basic_classes.ml
-
 clean:
 	-ocamlbuild -clean
 	-rm -rf _build
diff --git a/src/_tags b/src/_tags
index 373c8af3..68043fb4 100644
--- a/src/_tags
+++ b/src/_tags
@@ -1,8 +1,7 @@
 true: -traverse, debug
 <**/*.ml>: bin_annot, annot
-<lem_interp> or <test> or <lem_lib>: include
+<lem_interp> or <test>:  include
 # see http://caml.inria.fr/mantis/view.php?id=4943
 <lem_interp/*> and not <lem_interp/*.cmxa>: use_nums, use_lem
-<lem_lib/*> and not <lem_lib/*.cmxa>: use_nums, use_lem
 <test/*> and not <test/*.cmxa>: use_nums, use_lem
 
-- 
cgit v1.2.3