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/lem_interp/Makefile | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 src/lem_interp/Makefile

(limited to 'src/lem_interp')

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