Revision ca7ff3f7
Added by Lélio Brun over 1 year ago
dune | ||
---|---|---|
1 | 1 |
; too bad dune does not support glob in install stanza |
2 | 2 |
; (see https://discuss.ocaml.org/t/installing-many-files-with-dune/4143) |
3 | 3 |
; TODO: open an issue? |
4 |
|
|
4 | 5 |
(install |
5 |
(section (site (lustrec include_))) |
|
6 |
(section |
|
7 |
(site |
|
8 |
(lustrec include_))) |
|
6 | 9 |
(files |
7 |
include/conv.c
|
|
8 |
include/conv.lusi
|
|
9 |
include/conv.lusic
|
|
10 |
include/mpfr_lustre.c
|
|
11 |
include/mpfr_lustre.lusi
|
|
12 |
include/mpfr_lustre.lusic
|
|
13 |
include/mpfr_lustre.h
|
|
14 |
include/simulink_math_fcn.c
|
|
15 |
include/simulink_math_fcn.lusi
|
|
16 |
include/simulink_math_fcn.lusic
|
|
17 |
include/simulink_math_fcn.h
|
|
18 |
include/lustrec_math.lusi
|
|
19 |
include/lustrec_math.lusic
|
|
20 |
include/lustrec_math.h
|
|
21 |
include/arrow.c
|
|
22 |
include/arrow.h
|
|
23 |
include/arrow_spec.h
|
|
24 |
include/arrow_spec.c
|
|
25 |
include/arrow.cpp
|
|
26 |
include/arrow.hpp
|
|
27 |
include/io_frontend.c
|
|
28 |
include/io_frontend.h
|
|
29 |
include/io_frontend.hpp
|
|
30 |
include/lustrec_math.smt2
|
|
31 |
include/StdIn.java))
|
|
10 |
include/conv.c |
|
11 |
include/conv.lusi |
|
12 |
include/conv.lusic |
|
13 |
include/mpfr_lustre.c |
|
14 |
include/mpfr_lustre.lusi |
|
15 |
include/mpfr_lustre.lusic |
|
16 |
include/mpfr_lustre.h |
|
17 |
include/simulink_math_fcn.c |
|
18 |
include/simulink_math_fcn.lusi |
|
19 |
include/simulink_math_fcn.lusic |
|
20 |
include/simulink_math_fcn.h |
|
21 |
include/lustrec_math.lusi |
|
22 |
include/lustrec_math.lusic |
|
23 |
include/lustrec_math.h |
|
24 |
include/arrow.c |
|
25 |
include/arrow.h |
|
26 |
include/arrow_spec.h |
|
27 |
include/arrow_spec.c |
|
28 |
include/arrow.cpp |
|
29 |
include/arrow.hpp |
|
30 |
include/io_frontend.c |
|
31 |
include/io_frontend.h |
|
32 |
include/io_frontend.hpp |
|
33 |
include/lustrec_math.smt2 |
|
34 |
include/StdIn.java)) |
|
32 | 35 |
|
33 | 36 |
(install |
34 |
(section (site (lustrec testgen)))
|
|
35 |
(files
|
|
36 |
share/FindLustre.cmake
|
|
37 |
share/helpful_functions.cmake))
|
|
37 |
(section |
|
38 |
(site
|
|
39 |
(lustrec testgen)))
|
|
40 |
(files share/FindLustre.cmake share/helpful_functions.cmake))
|
|
38 | 41 |
|
39 | 42 |
(rule |
40 | 43 |
(alias runtest) |
41 |
(deps (source_tree tests/regression_tests)) |
|
42 |
(action (chdir tests/regression_tests |
|
43 |
(progn |
|
44 |
(run cmake "-DSUBPROJ=\"unstable\"" "-DLUSTRE_INCLUDE_DIR=%{project_root}/include" .) |
|
45 |
(run ctest -D Experimental -R "COMPIL_LUS|MAKE|BIN|DIFF" -E LUSTRET --progress))))) |
|
44 |
(deps |
|
45 |
(source_tree tests/regression_tests)) |
|
46 |
(action |
|
47 |
(chdir |
|
48 |
tests/regression_tests |
|
49 |
(progn |
|
50 |
(run |
|
51 |
cmake |
|
52 |
"-DSUBPROJ=\"unstable\"" |
|
53 |
"-DLUSTRE_INCLUDE_DIR=%{project_root}/include" |
|
54 |
.) |
|
55 |
(run |
|
56 |
ctest |
|
57 |
-D |
|
58 |
Experimental |
|
59 |
-R |
|
60 |
"COMPIL_LUS|MAKE|BIN|DIFF" |
|
61 |
-E |
|
62 |
LUSTRET |
|
63 |
--progress))))) |
Also available in: Unified diff
reformatting