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).
---
 src/Makefile | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'src/Makefile')

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
-- 
cgit v1.2.3