diff options
| author | Gabriel Kerneis | 2013-10-08 16:31:25 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-10-08 16:32:11 +0100 |
| commit | 7fc7628a981ba48b1bd017c7d8d2e4a68e428c65 (patch) | |
| tree | 65525e1c031fadd8b85f80026f4f16999f162015 /src/lem_interp | |
| parent | b1111c9c28e61ae1bb35a156ba1af74ca01bfc70 (diff) | |
More makefile infrastructure
You need the latest version of Lem for this to work
(requires lem/ocaml-lib/META.lem).
Diffstat (limited to 'src/lem_interp')
| -rw-r--r-- | src/lem_interp/Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
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 |