From 7fc7628a981ba48b1bd017c7d8d2e4a68e428c65 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Tue, 8 Oct 2013 16:31:25 +0100
Subject: More makefile infrastructure

You need the latest version of Lem for this to work
(requires lem/ocaml-lib/META.lem).
---
 src/Makefile            |  6 +++---
 src/lem_interp/Makefile | 14 ++++++++++++++
 2 files changed, 17 insertions(+), 3 deletions(-)
 create mode 100644 src/lem_interp/Makefile

(limited to 'src')

diff --git a/src/Makefile b/src/Makefile
index 719e65a7..ea1a47ae 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -1,5 +1,8 @@
+.PHONY: all doc doc-pdf doc-dot clean
+
 all:
 	ocamlbuild main.native
+	$(MAKE) -C lem_interp
 
 doc:
 	mkdir -p html-doc
@@ -14,9 +17,6 @@ doc-dot:
 	ocamldoc -I _build/ *.ml *.mli ulib/*.ml -dot -sort -d tex-doc -dot-reduce -o dep.dot; true
 	dot -Tpdf -o dep.pdf dep.dot
 
-debug: 
-	ocamlbuild main.d.byte
-
 clean:
 	-ocamlbuild -clean
 	-rm -rf _build
diff --git a/src/lem_interp/Makefile b/src/lem_interp/Makefile
new file mode 100644
index 00000000..2cf27ad1
--- /dev/null
+++ b/src/lem_interp/Makefile
@@ -0,0 +1,14 @@
+.PHONY: all clean
+
+LEMDIR=$(abspath ../../../lem)
+OCAMLPATH:=$(LEMDIR)/ocaml-lib:$(OCAMLPATH)
+
+all: interp.native
+
+.PHONY: interp.native
+interp.native:
+	OCAMLPATH=$(OCAMLPATH) ocamlbuild -use-ocamlfind -pkg lem interp.native
+
+clean:
+	-ocamlbuild -clean
+	-rm -rf _build
-- 
cgit v1.2.3