Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / Makefile.in @ d8abc19b

History | View | Annotate | Download (3.18 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
12 3a4cc4d5 ploc
DEFAULT_TEST_TARGET=COMPIL_LUS\|MAKE\|BIN\|DIFF
13
14 85da3a4b ploc
all: lustrec lustret
15
16 5ae8db15 ploc
lustrec:
17 1e48ef45 ploc
	@echo Compiling binary lustrec
18 53206908 xthirioux
	@make -C src lustrec
19 5ae8db15 ploc
20 85da3a4b ploc
lustret:
21
	@echo Compiling binary lustret
22
	@make -C src lustret
23 1e48ef45 ploc
24 93119c3f ploc
lustresf:
25
	@echo Compiling binary lustresf
26
	@make -C src lustresf
27
28 921230e6 Christophe Garion
json-parser:
29
	@echo Compiling binary json-parser
30
	@make -C src json-parser
31 bad7b67a Christophe Garion
32 d057583b Eric NOULARD
configure: configure.ac
33 084a3cb5 Eric NOULARD
	@echo configure.ac has changed relaunching autoconf
34 d057583b Eric NOULARD
	@autoconf
35 084a3cb5 Eric NOULARD
36 03bb8f64 Eric NOULARD
Makefile: Makefile.in config.status configure
37 084a3cb5 Eric NOULARD
	@echo Makefile.in has changed relaunching autoconf
38 03bb8f64 Eric NOULARD
	@./config.status --recheck
39 084a3cb5 Eric NOULARD
40 1e48ef45 ploc
doc:
41
	@echo Generating doc
42 53206908 xthirioux
	@make -C src doc
43 1e48ef45 ploc
44
dot: doc
45 53206908 xthirioux
	@make -C src dot
46 1e48ef45 ploc
47 85da3a4b ploc
clean: clean-lusic
48 53206908 xthirioux
	@make -C src clean
49 a86bae77 ploc
50 974f92ac Eric NOULARD
dist-src-clean: clean
51 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
52 e656160b ploc
	@rm -f Makefile ./src/Makefile ./src/pluginList.ml ./src/version.ml ./src/_tags
53 974f92ac Eric NOULARD
54
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
55
56
dist-gzip: $(LOCAL_BINDIR)/lustrec dist-src-clean
57
	@rm -f $(shell ls ../*lustrec*src*tar.gz)
58
	@tar zcvf ../$(DIST_ARCHIVE_NAME) -C .. --exclude-vcs --exclude=Makefile  --exclude=$(LOCAL_BINDIR) $(shell basename $(PWD))
59
	@echo "Source distribution built: ../$(DIST_ARCHIVE_NAME)"
60
61
dist-clean: dist-src-clean
62 85da3a4b ploc
	@rm -f configure Makefile
63 1e48ef45 ploc
64 2e6dfb46 enoulard
%.lusic: %.lusi
65 1e48ef45 ploc
	@echo Compiling $<
66 bad7b67a Christophe Garion
	@$(LOCAL_BINDIR)/lustrec -verbose 0 -d include $<
67 1e48ef45 ploc
68 3cb2f745 ploc
clean-lusic:
69 82dad07e enoulard
	@rm -f $(LUSI_LIBS:%.lusi=%.lusic)
70 04a63d25 xthirioux
	@rm -f $(LUSI_MPFR_LIB:%.lusi=%.lusic)
71 3cb2f745 ploc
72 2e6dfb46 enoulard
compile-lusi: $(LUSI_LIBS:%.lusi=%.lusic)
73 1e48ef45 ploc
74 04a63d25 xthirioux
compile-mpfr-lusi: $(LUSI_MPFR_LIB)
75
	@echo Compiling $<
76
	@$(LOCAL_BINDIR)/lustrec -verbose 0 -mpfr 1 -d include $<
77
78 fa880262 ploc
install-include: compile-lusi compile-mpfr-lusi
79 7629d67b ploc
	mkdir -p ${includedir}/lustrec
80
	cp include/* ${includedir}/lustrec
81
82 86aadaf1 ploc
install-base: clean-lusic
83 1e48ef45 ploc
	mkdir -p ${bindir}
84
	install -m 0755 $(LOCAL_BINDIR)/* ${bindir}
85 d2d9d4cb ploc
	mkdir -p ${datarootdir}
86
	install -m 0655 share/FindLustre.cmake ${datarootdir}
87 1e48ef45 ploc
88 bad7b67a Christophe Garion
install: install-base install-include
89 86aadaf1 ploc
90 0cddb853 ploc
test-config: ${bindir}/lustrec
91 a86bae77 ploc
	if @PATH_TO_TESTS_DEFINED@; then \
92
	  mkdir -p test; \
93
	  cd test; \
94
	  cmake -DLUSTRE_PATH_HINT=${bindir} -DSUBPROJ=@GITBRANCH@ ../@PATH_TO_TESTS@; \
95
	fi
96
97
test-no-submit: test-config
98 3a4cc4d5 ploc
	cd test; ctest -M Experimental -T Start -T Update -T Configure -T Build -T Test -R ${DEFAULT_TEST_TARGET}
99 a86bae77 ploc
100
test-submit: test-config
101 3a4cc4d5 ploc
	cd test; ctest -M Experimental -T Submit -R ${DEFAULT_TEST_TARGET}
102 a86bae77 ploc
103
test: test-config
104 3a4cc4d5 ploc
	cd test; ctest -D Experimental -R ${DEFAULT_TEST_TARGET}
105 a86bae77 ploc
106
test-full-no-submit: test-config
107 bad7b67a Christophe Garion
	cd test; ctest -M Experimental -T Start -T Update -T Configure -T Build -T Test
108 a86bae77 ploc
109
test-full-submit: test-config
110 bad7b67a Christophe Garion
	cd test; ctest -M Experimental -T Submit
111 a86bae77 ploc
112
test-full: test-config
113 bad7b67a Christophe Garion
	cd test; ctest -D Experimental
114 a86bae77 ploc
115 2511454c Christophe Garion
tests:
116
	@echo Launching tests
117
	@make -C src tests
118 1e48ef45 ploc
119 2511454c Christophe Garion
.PHONY: all compile-lusi doc dot lustrec lustrec.odocl clean install dist-clean tests