lustrec / src / Makefile.in @ e7cc5186
History | View | Annotate | Download (1.2 KB)
1 |
OCAMLBUILD=@OCAMLBUILD@ -use-ocamlfind -no-links |
---|---|
2 |
|
3 |
prefix=@prefix@ |
4 |
exec_prefix=@exec_prefix@ |
5 |
bindir=@bindir@ |
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 |
all: lustrec lustret |
14 |
|
15 |
lustrec: |
16 |
@echo Compiling binary lustrec |
17 |
@$(OCAMLBUILD) main_lustre_compiler.native |
18 |
@mkdir -p $(LOCAL_BINDIR) |
19 |
@mv _build/main_lustre_compiler.native $(LOCAL_BINDIR)/lustrec |
20 |
|
21 |
lustret: |
22 |
@echo Compiling binary lustret |
23 |
@$(OCAMLBUILD) main_lustre_testgen.native |
24 |
@mkdir -p $(LOCAL_BINDIR) |
25 |
@mv _build/main_lustre_testgen.native $(LOCAL_BINDIR)/lustret |
26 |
|
27 |
doc: |
28 |
@echo Generating doc |
29 |
@$(OCAMLBUILD) lustrec.docdir/index.html |
30 |
@rm -rf $(LOCAL_DOCDIR) |
31 |
@cp -rf _build/lustrec.docdir $(LOCAL_DOCDIR) |
32 |
|
33 |
dot: doc |
34 |
$(OCAMLBUILD) lustrec.docdir/lustrec.dot |
35 |
dot -T ps -o lustrec.dot _build/lustrec.docdir/lustrec.dot |
36 |
mv _build/lustrec.docdir/lustrec.dot $(LOCAL_DOCDIR) |
37 |
|
38 |
clean: |
39 |
$(OCAMLBUILD) -clean |
40 |
|
41 |
dist-clean: clean |
42 |
rm -f Makefile myocamlbuild.ml config.log config.status configure |
43 |
rm -f include/*.lusic include/math.h include/conv.h |
44 |
|
45 |
install: |
46 |
make -C .. install |
47 |
|
48 |
.PHONY: compile-lusi doc dot lustrec lustret lustrec.odocl clean install dist-clean |
49 |
|