From 326a8a7c5a6a8fdf64aa6e800788f0f4cbe65ceb Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Thu, 7 Nov 2013 18:29:35 +0000
Subject: Port L2 to new Lem

Tests compile and run properly. There is a lot of hackery going
on to workaround the rough edges of new Lem. Use at your own
risk (you need the "library-format" branch of lem).
---
 src/Makefile | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index 325c326c..de254cef 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -1,13 +1,19 @@
-.PHONY: all test clean
+.PHONY: all test clean update_lem_lib
 
 all:
-	ocamlbuild main.native test/run_tests.native
+	ocamlbuild -classic-display main.native test/run_tests.native
 
 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
 	-rm -rf html-doc
 	-rm -rf tex-doc
+	-rm -rf lem lib
-- 
cgit v1.2.3