lustrec / src / Makefile @ d2d9d4cb
History | View | Annotate | Download (1.23 KB)
| 1 |
OCAMLBUILD=/home/ploc/.opam/4.04.0/bin/ocamlbuild -classic-display -use-ocamlfind -no-links |
|---|---|
| 2 |
|
| 3 |
prefix=/home/ploc/Local |
| 4 |
exec_prefix=${prefix}
|
| 5 |
bindir=${exec_prefix}/bin
|
| 6 |
datarootdir = ${prefix}/share
|
| 7 |
includedir = ${prefix}/include
|
| 8 |
|
| 9 |
LUSI_LIBS=include/math.lusi include/conv.lusi |
| 10 |
LOCAL_BINDIR=../bin |
| 11 |
LOCAL_DOCDIR=../doc/manual |
| 12 |
|
| 13 |
lustrec: |
| 14 |
@echo Compiling binary lustrec |
| 15 |
@$(OCAMLBUILD) main_lustre_compiler.native |
| 16 |
@mkdir -p $(LOCAL_BINDIR) |
| 17 |
@mv _build/main_lustre_compiler.native $(LOCAL_BINDIR)/lustrec |
| 18 |
|
| 19 |
lustret: |
| 20 |
@echo Compiling binary lustrec |
| 21 |
@$(OCAMLBUILD) main_lustre_compiler.native |
| 22 |
@mkdir -p $(LOCAL_BINDIR) |
| 23 |
@mv _build/main_lustre_compiler.native $(LOCAL_BINDIR)/lustrec |
| 24 |
|
| 25 |
|
| 26 |
doc: |
| 27 |
@echo Generating doc |
| 28 |
@$(OCAMLBUILD) lustrec.docdir/index.html |
| 29 |
@rm -rf $(LOCAL_DOCDIR) |
| 30 |
@cp -rf _build/lustrec.docdir $(LOCAL_DOCDIR) |
| 31 |
|
| 32 |
dot: doc |
| 33 |
$(OCAMLBUILD) lustrec.docdir/lustrec.dot |
| 34 |
dot -T ps -o lustrec.dot _build/lustrec.docdir/lustrec.dot |
| 35 |
mv _build/lustrec.docdir/lustrec.dot $(LOCAL_DOCDIR) |
| 36 |
|
| 37 |
clean: |
| 38 |
$(OCAMLBUILD) -clean |
| 39 |
|
| 40 |
dist-clean: clean |
| 41 |
rm -f Makefile myocamlbuild.ml config.log config.status configure |
| 42 |
rm -f include/*.lusic include/math.h include/conv.h |
| 43 |
|
| 44 |
install: |
| 45 |
make -C .. install |
| 46 |
|
| 47 |
.PHONY: compile-lusi doc dot lustrec lustrec.odocl clean install dist-clean |
| 48 |
|