Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by LĂ©lio Brun 7 months ago

reformatting

View differences:

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