Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / Makefile.in @ 5fccce23

History | View | Annotate | Download (3.63 KB)

1 1e48ef45 ploc
prefix=@prefix@
2
exec_prefix=@exec_prefix@
3
bindir=@bindir@
4 53206908 xthirioux
datarootdir = ${prefix}/share
5 1e48ef45 ploc
includedir = ${prefix}/include
6
7 30f46c0c ploc
LUSI_LIBS=include/lustrec_math.lusi include/simulink_math_fcn.lusi include/conv.lusi
8 04a63d25 xthirioux
LUSI_MPFR_LIB=include/mpfr_lustre.lusi
9 1e48ef45 ploc
LOCAL_BINDIR=bin
10
LOCAL_DOCDIR=doc/manual
11 ad4774b0 ploc
BIN_TARGETS = lustrec lustret lustrev @lustresf_target@
12 1e48ef45 ploc
13 3a4cc4d5 ploc
DEFAULT_TEST_TARGET=COMPIL_LUS\|MAKE\|BIN\|DIFF
14 a1230f68 ploc
DEFAULT_EXCLUDE_TEST=LUSTRET
15 3a4cc4d5 ploc
16 a1230f68 ploc
all: $(BIN_TARGETS)
17 85da3a4b ploc
18 5ae8db15 ploc
lustrec:
19 1e48ef45 ploc
	@echo Compiling binary lustrec
20 53206908 xthirioux
	@make -C src lustrec
21 5ae8db15 ploc
22 85da3a4b ploc
lustret:
23
	@echo Compiling binary lustret
24
	@make -C src lustret
25 1e48ef45 ploc
26 ad4774b0 ploc
lustrev:
27
	@echo Compiling binary lustrev
28
	@make -C src lustrev
29
30 090baab6 ploc
lustrei:
31
	@echo Compiling binary lustrei
32
	@make -C src lustrei
33
34 3b4b7a2e Christophe Garion
@lustresf@
35 bad7b67a Christophe Garion
36 d057583b Eric NOULARD
configure: configure.ac
37 084a3cb5 Eric NOULARD
	@echo configure.ac has changed relaunching autoconf
38 d057583b Eric NOULARD
	@autoconf
39 084a3cb5 Eric NOULARD
40 03bb8f64 Eric NOULARD
Makefile: Makefile.in config.status configure
41 084a3cb5 Eric NOULARD
	@echo Makefile.in has changed relaunching autoconf
42 03bb8f64 Eric NOULARD
	@./config.status --recheck
43 084a3cb5 Eric NOULARD
44 1e48ef45 ploc
doc:
45
	@echo Generating doc
46 53206908 xthirioux
	@make -C src doc
47 1e48ef45 ploc
48
dot: doc
49 53206908 xthirioux
	@make -C src dot
50 1e48ef45 ploc
51 85da3a4b ploc
clean: clean-lusic
52 53206908 xthirioux
	@make -C src clean
53 a86bae77 ploc
54 974f92ac Eric NOULARD
dist-src-clean: clean
55 30f46c0c ploc
	@rm -f config.log config.status include/*.lusic include/lustrec_math.h include/simulink_math_fcn.h include/conv.h include/mpfr_lustre.h
56 c80e92d1 ploc
	@rm -f Makefile ./src/Makefile ./src/pluginList.ml ./src/version.ml ./src/_tags ./src/ocaml_utils.ml
57 974f92ac Eric NOULARD
58
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
59
60
dist-gzip: $(LOCAL_BINDIR)/lustrec dist-src-clean
61
	@rm -f $(shell ls ../*lustrec*src*tar.gz)
62
	@tar zcvf ../$(DIST_ARCHIVE_NAME) -C .. --exclude-vcs --exclude=Makefile  --exclude=$(LOCAL_BINDIR) $(shell basename $(PWD))
63
	@echo "Source distribution built: ../$(DIST_ARCHIVE_NAME)"
64
65
dist-clean: dist-src-clean
66 fb716d2c ploc
	@rm -f configure Makefile opam share/FindLustre.cmake
67 1e48ef45 ploc
68 2e6dfb46 enoulard
%.lusic: %.lusi
69 1e48ef45 ploc
	@echo Compiling $<
70 8446bf03 ploc
	@$(LOCAL_BINDIR)/lustrec -verbose 0 -I include -d include $<
71 1e48ef45 ploc
72 3cb2f745 ploc
clean-lusic:
73 82dad07e enoulard
	@rm -f $(LUSI_LIBS:%.lusi=%.lusic)
74 04a63d25 xthirioux
	@rm -f $(LUSI_MPFR_LIB:%.lusi=%.lusic)
75 3cb2f745 ploc
76 2e6dfb46 enoulard
compile-lusi: $(LUSI_LIBS:%.lusi=%.lusic)
77 1e48ef45 ploc
78 04a63d25 xthirioux
compile-mpfr-lusi: $(LUSI_MPFR_LIB)
79
	@echo Compiling $<
80
	@$(LOCAL_BINDIR)/lustrec -verbose 0 -mpfr 1 -d include $<
81
82 fa880262 ploc
install-include: compile-lusi compile-mpfr-lusi
83 6b2f1b5d Christophe Garion
	install -m 0655 include/* ${includedir}/lustrec
84 7629d67b ploc
85 86aadaf1 ploc
install-base: clean-lusic
86 1e48ef45 ploc
	mkdir -p ${bindir}
87 0179e76f Christophe Garion
	for x in $(BIN_TARGETS); do install -m 0755 $(LOCAL_BINDIR)/$$x ${bindir}; done
88 d2d9d4cb ploc
	mkdir -p ${datarootdir}
89 5c3b45a0 ploc
	install -m 0655 share/*.cmake ${datarootdir}
90 6b2f1b5d Christophe Garion
	mkdir -p ${includedir}/lustrec
91
	install -m 0655 include/* ${includedir}/lustrec
92 1e48ef45 ploc
93 bad7b67a Christophe Garion
install: install-base install-include
94 86aadaf1 ploc
95 0179e76f Christophe Garion
uninstall:
96
	rm -Rf ${includedir}/lustrec
97
	rm -Rf ${datarootdir}/share/FindLustre.cmake
98
	for x in $(BIN_TARGETS); do rm -f ${bindir}/$$x; done
99
100 0cddb853 ploc
test-config: ${bindir}/lustrec
101 a86bae77 ploc
	if @PATH_TO_TESTS_DEFINED@; then \
102
	  mkdir -p test; \
103
	  cd test; \
104 27446b88 ploc
	  cmake -DLUSTRE_PATH_HINT=${bindir} -DSUBPROJ=@CDASHSUBPROJ@ ../@PATH_TO_TESTS@; \
105 a86bae77 ploc
	fi
106
107
test-no-submit: test-config
108 a1230f68 ploc
	cd test; ctest -M Experimental -T Start -T Update -T Configure -T Build -T Test -R ${DEFAULT_TEST_TARGET} -E ${DEFAULT_EXCLUDE_TEST}
109 a86bae77 ploc
110
test-submit: test-config
111 a1230f68 ploc
	cd test; ctest -M Experimental -T Submit -R ${DEFAULT_TEST_TARGET} -E ${DEFAULT_EXCLUDE_TEST}
112
113 a86bae77 ploc
114
test: test-config
115 a1230f68 ploc
	cd test; ctest -D Experimental -R ${DEFAULT_TEST_TARGET} -E ${DEFAULT_EXCLUDE_TEST}
116
117 a86bae77 ploc
118
test-full-no-submit: test-config
119 bad7b67a Christophe Garion
	cd test; ctest -M Experimental -T Start -T Update -T Configure -T Build -T Test
120 a86bae77 ploc
121
test-full-submit: test-config
122 bad7b67a Christophe Garion
	cd test; ctest -M Experimental -T Submit
123 a86bae77 ploc
124
test-full: test-config
125 bad7b67a Christophe Garion
	cd test; ctest -D Experimental
126 a86bae77 ploc
127 2511454c Christophe Garion
tests:
128
	@echo Launching tests
129
	@make -C src tests
130 1e48ef45 ploc
131 2511454c Christophe Garion
.PHONY: all compile-lusi doc dot lustrec lustrec.odocl clean install dist-clean tests