Revision ca7ff3f7
Added by Lélio Brun 7 months 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