Project

General

Profile

Download (2.34 KB) Statistics
| Branch: | Tag: | Revision:
1
OCAMLBUILD=/home/corentin/.opam/4.08.1/bin/ocamlbuild -use-ocamlfind -no-links
2

    
3
prefix=/usr/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
all: lustrec lustret lustrev
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
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
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
lustresf:
40
	@echo Compiling binary lustresf
41
	@$(OCAMLBUILD) tools/stateflow/sf_sem.native
42
	@mkdir -p $(LOCAL_BINDIR)
43
	@mv _build/tools/stateflow/sf_sem.native $(LOCAL_BINDIR)/lustresf
44

    
45
json-parser:
46
	@echo Compiling binary json-parser-ex
47
	@$(OCAMLBUILD) tools/stateflow/json-parser/main_parse_json_file.native
48
	@mkdir -p $(LOCAL_BINDIR)
49
	@mv _build/tools/stateflow/json-parser/main_parse_json_file.native $(LOCAL_BINDIR)/json-parser
50

    
51
tests:	test-simple-var
52

    
53
test-simple-var:
54
	@echo Compiling simple tests for JSON parser -- tests on variables
55
	@$(OCAMLBUILD) tools/stateflow/json-parser/test_json_parser_variables.native
56
	@echo Lauching simple tests for JSON parser -- tests on variables
57
	./_build/tools/stateflow/json-parser/test_json_parser_variables.native
58

    
59
doc:
60
	@echo Generating doc
61
	@$(OCAMLBUILD) lustrec.docdir/index.html
62
	@rm -rf $(LOCAL_DOCDIR)
63
	@cp -rf _build/lustrec.docdir $(LOCAL_DOCDIR)
64

    
65
dot: doc
66
	$(OCAMLBUILD) lustrec.docdir/lustrec.dot
67
	dot -T svg -o $(LOCAL_DOCDIR)/lustrec.svg _build/lustrec.docdir/lustrec.dot
68

    
69
clean:
70
	$(OCAMLBUILD) -clean
71

    
72
dist-clean: clean
73
	rm -f Makefile myocamlbuild.ml config.log config.status configure
74
	rm -f include/*.lusic include/math.h include/conv.h
75

    
76
install:
77
	make -C .. install
78

    
79
.PHONY: compile-lusi doc dot lustrec lustret lustrev lustrec.odocl clean install dist-clean tests
(2-2/71)