Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / Makefile.in @ 9b0432bc

History | View | Annotate | Download (2.68 KB)

1
# @configure_input@
2

    
3
prefix=@prefix@
4
exec_prefix=@exec_prefix@
5
bindir=@bindir@
6
datarootdir = ${prefix}/share
7
includedir = ${prefix}/include
8

    
9
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
LUSI_LIBS=include/lustrec_math.lusi include/simulink_math_fcn.lusi include/conv.lusi
45
LUSI_MPFR_LIB=include/mpfr_lustre.lusi
46
LOCAL_BINDIR=bin
47
LOCAL_DOCDIR=doc/manual
48
BIN_TARGETS = lustrec lustret lustrev @lustresf_target@
49

    
50
DEFAULT_TEST_TARGET=COMPIL_LUS\|MAKE\|BIN\|DIFF
51
DEFAULT_EXCLUDE_TEST=LUSTRET
52

    
53

    
54

    
55
doc:
56
	@echo Generating doc
57
	@make -C src doc
58

    
59
dot: doc
60
	@make -C src dot
61

    
62

    
63
dist-src-clean: clean
64
	@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
	@rm -f Makefile ./src/Makefile ./src/pluginList.ml ./src/version.ml ./src/_tags ./src/ocaml_utils.ml
66

    
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
	@rm -f configure Makefile opam share/FindLustre.cmake
76

    
77

    
78

    
79
test-no-submit: test-config
80
	cd test; ctest -M Experimental -T Start -T Update -T Configure -T Build -T Test -R ${DEFAULT_TEST_TARGET} -E ${DEFAULT_EXCLUDE_TEST}
81

    
82
test-submit: test-config
83
	cd test; ctest -M Experimental -T Submit -R ${DEFAULT_TEST_TARGET} -E ${DEFAULT_EXCLUDE_TEST}
84

    
85

    
86

    
87

    
88
test-full-no-submit: test-config
89
	cd test; ctest -M Experimental -T Start -T Update -T Configure -T Build -T Test
90

    
91
test-full-submit: test-config
92
	cd test; ctest -M Experimental -T Submit
93

    
94
test-full: test-config
95
	cd test; ctest -D Experimental
96

    
97
tests:
98
	@echo Launching tests
99
	@make -C src tests
100

    
101
.PHONY: all compile-lusi doc dot lustrec lustrec.odocl clean install dist-clean tests