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