Project

General

Profile

Download (1.42 KB) Statistics
| Branch: | Tag: | Revision:
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
lustrei:
28
	@echo Compiling binary lustrei
29
	@$(OCAMLBUILD) tools/importer/main_lustre_importer.native
30
	@mkdir -p $(LOCAL_BINDIR)
31
	@mv _build/tools/importer/main_lustre_importer.native $(LOCAL_BINDIR)/lustrei
32

    
33
@lustresf_src@
34

    
35
doc:
36
	@echo Generating doc
37
	@$(OCAMLBUILD) lustrec.docdir/index.html
38
	@rm -rf $(LOCAL_DOCDIR)
39
	@cp -rf _build/lustrec.docdir $(LOCAL_DOCDIR)
40

    
41
dot: doc
42
	$(OCAMLBUILD) lustrec.docdir/lustrec.dot
43
	dot -T ps -o lustrec.dot _build/lustrec.docdir/lustrec.dot
44
	mv _build/lustrec.docdir/lustrec.dot $(LOCAL_DOCDIR)
45

    
46
clean:
47
	$(OCAMLBUILD) -clean
48

    
49
dist-clean: clean
50
	rm -f Makefile myocamlbuild.ml config.log config.status configure
51
	rm -f include/*.lusic include/math.h include/conv.h
52

    
53
install:
54
	make -C .. install
55

    
56
.PHONY: compile-lusi doc dot lustrec lustret lustrec.odocl clean install dist-clean tests
(2-2/73)