Project

General

Profile

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

    
5
(install
6
 (section (site (lustrec include_)))
7
 (files
8
   include/conv.c
9
   include/mpfr_lustre.c
10
   include/simulink_math_fcn.c
11
   include/arrow.c
12
   include/arrow.h
13
   include/arrow.cpp
14
   include/arrow.hpp
15
   include/io_frontend.c
16
   include/io_frontend.h
17
   include/io_frontend.hpp
18
   include/lustrec_math.smt2
19
   include/mpfr_lustre.lusi
20
   include/mpfr_lustre.lusic
21
   include/simulink_math_fcn.lusi
22
   include/simulink_math_fcn.lusic
23
   include/conv.lusi
24
   include/conv.lusic
25
   include/lustrec_math.lusi
26
   include/lustrec_math.lusic
27
   include/StdIn.java))
28

    
29
(install
30
 (section (site (lustrec testgen)))
31
 (files
32
   share/FindLustre.cmake
33
   share/helpful_functions.cmake))
34

    
35
(rule
36
 (alias runtest)
37
 (deps (source_tree tests/regression_tests))
38
 (action (chdir tests/regression_tests
39
          (progn
40
           (run cmake "-DSUBPROJ=\"unstable\"" "-DLUSTRE_INCLUDE_DIR=%{project_root}/include" .)
41
           (run ctest -D Experimental -R "COMPIL_LUS|MAKE|BIN|DIFF" -E LUSTRET --progress)))))
(14-14/17)