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 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/Makefile')

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