Project

General

Profile

Download (1.23 KB) Statistics
| Branch: | Tag: | Revision:
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)))))