Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / Makefile.in @ 37419cf4

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