Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / Makefile.in @ 684d39e7

History | View | Annotate | Download (1.61 KB)

1 bad7b67a Christophe Garion
OCAMLBUILD=@OCAMLBUILD@ -use-ocamlfind -no-links
2 e8b6d5ca ploc
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 ad4774b0 ploc
all: lustrec lustret lustrev
14 40d33d55 xavier.thirioux
15 e8b6d5ca ploc
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 40d33d55 xavier.thirioux
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 ad4774b0 ploc
lustrev:
28
	@echo Compiling binary lustrev
29
	@$(OCAMLBUILD) main_lustre_verifier.native
30
	@mkdir -p $(LOCAL_BINDIR)
31
	@mv _build/main_lustre_verifier.native $(LOCAL_BINDIR)/lustrev
32
33 090baab6 ploc
lustrei:
34
	@echo Compiling binary lustrei
35
	@$(OCAMLBUILD) tools/importer/main_lustre_importer.native
36
	@mkdir -p $(LOCAL_BINDIR)
37
	@mv _build/tools/importer/main_lustre_importer.native $(LOCAL_BINDIR)/lustrei
38
39 3b4b7a2e Christophe Garion
@lustresf_src@
40 2511454c Christophe Garion
41 e8b6d5ca ploc
doc:
42
	@echo Generating doc
43
	@$(OCAMLBUILD) lustrec.docdir/index.html
44
	@rm -rf $(LOCAL_DOCDIR)
45
	@cp -rf _build/lustrec.docdir $(LOCAL_DOCDIR)
46
47
dot: doc
48
	$(OCAMLBUILD) lustrec.docdir/lustrec.dot
49
	dot -T ps -o lustrec.dot _build/lustrec.docdir/lustrec.dot
50
	mv _build/lustrec.docdir/lustrec.dot $(LOCAL_DOCDIR)
51
52
clean:
53
	$(OCAMLBUILD) -clean
54
55
dist-clean: clean
56
	rm -f Makefile myocamlbuild.ml config.log config.status configure
57
	rm -f include/*.lusic include/math.h include/conv.h
58
59 40875a30 ploc
install:
60
	make -C .. install
61
62 ad4774b0 ploc
.PHONY: compile-lusi doc dot lustrec lustret lustrev lustrec.odocl clean install dist-clean tests