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 | |
| 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')
| -rw-r--r-- | src/Makefile | 6 | ||||
| -rw-r--r-- | src/lem_interp/Makefile | 14 |
2 files changed, 17 insertions, 3 deletions
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 |