lustrec / Makefile.in @ fb716d2c
History | View | Annotate | Download (3.5 KB)
1 |
prefix=@prefix@ |
---|---|
2 |
exec_prefix=@exec_prefix@ |
3 |
bindir=@bindir@ |
4 |
datarootdir = ${prefix}/share |
5 |
includedir = ${prefix}/include |
6 |
|
7 |
LUSI_LIBS=include/lustrec_math.lusi include/simulink_math_fcn.lusi include/conv.lusi |
8 |
LUSI_MPFR_LIB=include/mpfr_lustre.lusi |
9 |
LOCAL_BINDIR=bin |
10 |
LOCAL_DOCDIR=doc/manual |
11 |
BIN_TARGETS = lustrec lustret @lustresf_target@ |
12 |
|
13 |
DEFAULT_TEST_TARGET=COMPIL_LUS\|MAKE\|BIN\|DIFF |
14 |
DEFAULT_EXCLUDE_TEST=LUSTRET |
15 |
|
16 |
all: $(BIN_TARGETS) |
17 |
|
18 |
lustrec: |
19 |
@echo Compiling binary lustrec |
20 |
@make -C src lustrec |
21 |
|
22 |
lustret: |
23 |
@echo Compiling binary lustret |
24 |
@make -C src lustret |
25 |
|
26 |
@lustresf@ |
27 |
|
28 |
configure: configure.ac |
29 |
@echo configure.ac has changed relaunching autoconf |
30 |
@autoconf |
31 |
|
32 |
Makefile: Makefile.in config.status configure |
33 |
@echo Makefile.in has changed relaunching autoconf |
34 |
@./config.status --recheck |
35 |
|
36 |
doc: |
37 |
@echo Generating doc |
38 |
@make -C src doc |
39 |
|
40 |
dot: doc |
41 |
@make -C src dot |
42 |
|
43 |
clean: clean-lusic |
44 |
@make -C src clean |
45 |
|
46 |
dist-src-clean: clean |
47 |
@rm -f config.log config.status include/*.lusic include/lustrec_math.h include/simulink_math_fcn.h include/conv.h include/mpfr_lustre.h |
48 |
@rm -f Makefile ./src/Makefile ./src/pluginList.ml ./src/version.ml ./src/_tags ./src/ocaml_utils.ml |
49 |
|
50 |
DIST_ARCHIVE_NAME=lustrec-$(shell $(LOCAL_BINDIR)/lustrec -version | grep version | cut -d, -f 2 | sed -e "s/ version //" -e "s/ (/-/" -e "s/ /-/" -e "s/\//-/" -e "s/)//")-src.tar.gz |
51 |
|
52 |
dist-gzip: $(LOCAL_BINDIR)/lustrec dist-src-clean |
53 |
@rm -f $(shell ls ../*lustrec*src*tar.gz) |
54 |
@tar zcvf ../$(DIST_ARCHIVE_NAME) -C .. --exclude-vcs --exclude=Makefile --exclude=$(LOCAL_BINDIR) $(shell basename $(PWD)) |
55 |
@echo "Source distribution built: ../$(DIST_ARCHIVE_NAME)" |
56 |
|
57 |
dist-clean: dist-src-clean |
58 |
@rm -f configure Makefile opam share/FindLustre.cmake |
59 |
|
60 |
%.lusic: %.lusi |
61 |
@echo Compiling $< |
62 |
@$(LOCAL_BINDIR)/lustrec -verbose 0 -I include -d include $< |
63 |
|
64 |
clean-lusic: |
65 |
@rm -f $(LUSI_LIBS:%.lusi=%.lusic) |
66 |
@rm -f $(LUSI_MPFR_LIB:%.lusi=%.lusic) |
67 |
|
68 |
compile-lusi: $(LUSI_LIBS:%.lusi=%.lusic) |
69 |
|
70 |
compile-mpfr-lusi: $(LUSI_MPFR_LIB) |
71 |
@echo Compiling $< |
72 |
@$(LOCAL_BINDIR)/lustrec -verbose 0 -mpfr 1 -d include $< |
73 |
|
74 |
install-include: compile-lusi compile-mpfr-lusi |
75 |
install -m 0655 include/* ${includedir}/lustrec |
76 |
|
77 |
install-base: clean-lusic |
78 |
mkdir -p ${bindir} |
79 |
for x in $(BIN_TARGETS); do install -m 0755 $(LOCAL_BINDIR)/$$x ${bindir}; done |
80 |
mkdir -p ${datarootdir} |
81 |
install -m 0655 share/*.cmake ${datarootdir} |
82 |
mkdir -p ${includedir}/lustrec |
83 |
install -m 0655 include/* ${includedir}/lustrec |
84 |
|
85 |
install: install-base install-include |
86 |
|
87 |
uninstall: |
88 |
rm -Rf ${includedir}/lustrec |
89 |
rm -Rf ${datarootdir}/share/FindLustre.cmake |
90 |
for x in $(BIN_TARGETS); do rm -f ${bindir}/$$x; done |
91 |
|
92 |
test-config: ${bindir}/lustrec |
93 |
if @PATH_TO_TESTS_DEFINED@; then \ |
94 |
mkdir -p test; \ |
95 |
cd test; \ |
96 |
cmake -DLUSTRE_PATH_HINT=${bindir} -DSUBPROJ=@CDASHSUBPROJ@ ../@PATH_TO_TESTS@; \ |
97 |
fi |
98 |
|
99 |
test-no-submit: test-config |
100 |
cd test; ctest -M Experimental -T Start -T Update -T Configure -T Build -T Test -R ${DEFAULT_TEST_TARGET} -E ${DEFAULT_EXCLUDE_TEST} |
101 |
|
102 |
test-submit: test-config |
103 |
cd test; ctest -M Experimental -T Submit -R ${DEFAULT_TEST_TARGET} -E ${DEFAULT_EXCLUDE_TEST} |
104 |
|
105 |
|
106 |
test: test-config |
107 |
cd test; ctest -D Experimental -R ${DEFAULT_TEST_TARGET} -E ${DEFAULT_EXCLUDE_TEST} |
108 |
|
109 |
|
110 |
test-full-no-submit: test-config |
111 |
cd test; ctest -M Experimental -T Start -T Update -T Configure -T Build -T Test |
112 |
|
113 |
test-full-submit: test-config |
114 |
cd test; ctest -M Experimental -T Submit |
115 |
|
116 |
test-full: test-config |
117 |
cd test; ctest -D Experimental |
118 |
|
119 |
tests: |
120 |
@echo Launching tests |
121 |
@make -C src tests |
122 |
|
123 |
.PHONY: all compile-lusi doc dot lustrec lustrec.odocl clean install dist-clean tests |