Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / Makefile.in @ 9b0432bc

History | View | Annotate | Download (2.68 KB)

1 9c4cc944 Corentin Lauverjat
# @configure_input@
2
3 1e48ef45 ploc
prefix=@prefix@
4
exec_prefix=@exec_prefix@
5
bindir=@bindir@
6 53206908 xthirioux
datarootdir = ${prefix}/share
7 1e48ef45 ploc
includedir = ${prefix}/include
8
9 9c4cc944 Corentin Lauverjat
configure: configure.ac
10
	@echo configure.ac has changed relaunching autoconf
11
	@autoconf
12
13
Makefile: Makefile.in config.status configure
14
	@echo Makefile.in has changed relaunching autoconf
15
	@./config.status --recheck
16
17
default: build
18
19
build: Makefile
20
	dune build
21
22
test: test-config
23
	cd test; ctest -D Experimental -R ${DEFAULT_TEST_TARGET} -E ${DEFAULT_EXCLUDE_TEST}
24
25
test-config: ${bindir}/lustrec ${bindir}/lustrev ${bindir}/lustret
26
	mkdir -p test; \
27
	cd test; \
28
	cmake -DLUSTRE_PATH_HINT=${bindir} -DSUBPROJ=@CDASHSUBPROJ@ ../@PATH_TO_TESTS@; \
29
	
30
install: Makefile
31
	dune install
32
33
uninstall: Makefile
34
	dune uninstall
35
36
clean:
37
	dune clean
38
	# Optionally, remove all files/folders ignored by git as defined
39
	# in .gitignore (-X).
40
	# git clean -dfXq
41
42
43
44 30f46c0c ploc
LUSI_LIBS=include/lustrec_math.lusi include/simulink_math_fcn.lusi include/conv.lusi
45 04a63d25 xthirioux
LUSI_MPFR_LIB=include/mpfr_lustre.lusi
46 1e48ef45 ploc
LOCAL_BINDIR=bin
47
LOCAL_DOCDIR=doc/manual
48 ad4774b0 ploc
BIN_TARGETS = lustrec lustret lustrev @lustresf_target@
49 1e48ef45 ploc
50 3a4cc4d5 ploc
DEFAULT_TEST_TARGET=COMPIL_LUS\|MAKE\|BIN\|DIFF
51 a1230f68 ploc
DEFAULT_EXCLUDE_TEST=LUSTRET
52 3a4cc4d5 ploc
53 5ae8db15 ploc
54 084a3cb5 Eric NOULARD
55 1e48ef45 ploc
doc:
56
	@echo Generating doc
57 53206908 xthirioux
	@make -C src doc
58 1e48ef45 ploc
59
dot: doc
60 53206908 xthirioux
	@make -C src dot
61 1e48ef45 ploc
62 a86bae77 ploc
63 974f92ac Eric NOULARD
dist-src-clean: clean
64 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
65 c80e92d1 ploc
	@rm -f Makefile ./src/Makefile ./src/pluginList.ml ./src/version.ml ./src/_tags ./src/ocaml_utils.ml
66 974f92ac Eric NOULARD
67
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
68
69
dist-gzip: $(LOCAL_BINDIR)/lustrec dist-src-clean
70
	@rm -f $(shell ls ../*lustrec*src*tar.gz)
71
	@tar zcvf ../$(DIST_ARCHIVE_NAME) -C .. --exclude-vcs --exclude=Makefile  --exclude=$(LOCAL_BINDIR) $(shell basename $(PWD))
72
	@echo "Source distribution built: ../$(DIST_ARCHIVE_NAME)"
73
74
dist-clean: dist-src-clean
75 fb716d2c ploc
	@rm -f configure Makefile opam share/FindLustre.cmake
76 1e48ef45 ploc
77 7629d67b ploc
78 a86bae77 ploc
79
test-no-submit: test-config
80 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}
81 a86bae77 ploc
82
test-submit: test-config
83 a1230f68 ploc
	cd test; ctest -M Experimental -T Submit -R ${DEFAULT_TEST_TARGET} -E ${DEFAULT_EXCLUDE_TEST}
84
85 a86bae77 ploc
86 a1230f68 ploc
87 a86bae77 ploc
88
test-full-no-submit: test-config
89 bad7b67a Christophe Garion
	cd test; ctest -M Experimental -T Start -T Update -T Configure -T Build -T Test
90 a86bae77 ploc
91
test-full-submit: test-config
92 bad7b67a Christophe Garion
	cd test; ctest -M Experimental -T Submit
93 a86bae77 ploc
94
test-full: test-config
95 bad7b67a Christophe Garion
	cd test; ctest -D Experimental
96 a86bae77 ploc
97 2511454c Christophe Garion
tests:
98
	@echo Launching tests
99
	@make -C src tests
100 1e48ef45 ploc
101 2511454c Christophe Garion
.PHONY: all compile-lusi doc dot lustrec lustrec.odocl clean install dist-clean tests