| 1 |
57c96fb7
|
Lélio Brun
|
; too bad dune does not support glob in install stanza
|
| 2 |
|
|
; (see https://discuss.ocaml.org/t/installing-many-files-with-dune/4143)
|
| 3 |
|
|
; TODO: open an issue?
|
| 4 |
|
|
(install
|
| 5 |
|
|
(section (site (lustrec include_)))
|
| 6 |
|
|
(files
|
| 7 |
|
|
include/conv.c
|
| 8 |
971a4d81
|
Lélio Brun
|
include/conv.lusi
|
| 9 |
|
|
include/conv.lusic
|
| 10 |
57c96fb7
|
Lélio Brun
|
include/mpfr_lustre.c
|
| 11 |
971a4d81
|
Lélio Brun
|
include/mpfr_lustre.lusi
|
| 12 |
|
|
include/mpfr_lustre.lusic
|
| 13 |
|
|
include/mpfr_lustre.h
|
| 14 |
57c96fb7
|
Lélio Brun
|
include/simulink_math_fcn.c
|
| 15 |
971a4d81
|
Lélio Brun
|
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 |
57c96fb7
|
Lélio Brun
|
include/arrow.c
|
| 22 |
|
|
include/arrow.h
|
| 23 |
efcc8d7f
|
Lélio Brun
|
include/arrow_spec.h
|
| 24 |
57c96fb7
|
Lélio Brun
|
include/arrow.cpp
|
| 25 |
|
|
include/arrow.hpp
|
| 26 |
|
|
include/io_frontend.c
|
| 27 |
|
|
include/io_frontend.h
|
| 28 |
|
|
include/io_frontend.hpp
|
| 29 |
|
|
include/lustrec_math.smt2
|
| 30 |
|
|
include/StdIn.java))
|
| 31 |
|
|
|
| 32 |
|
|
(install
|
| 33 |
|
|
(section (site (lustrec testgen)))
|
| 34 |
|
|
(files
|
| 35 |
|
|
share/FindLustre.cmake
|
| 36 |
|
|
share/helpful_functions.cmake))
|
| 37 |
|
|
|
| 38 |
|
|
(rule
|
| 39 |
|
|
(alias runtest)
|
| 40 |
|
|
(deps (source_tree tests/regression_tests))
|
| 41 |
|
|
(action (chdir tests/regression_tests
|
| 42 |
|
|
(progn
|
| 43 |
|
|
(run cmake "-DSUBPROJ=\"unstable\"" "-DLUSTRE_INCLUDE_DIR=%{project_root}/include" .)
|
| 44 |
|
|
(run ctest -D Experimental -R "COMPIL_LUS|MAKE|BIN|DIFF" -E LUSTRET --progress)))))
|