1

; too bad dune does not support glob in install stanza

2

; (see https://discuss.ocaml.org/t/installingmanyfileswithdune/4143)

3

; TODO: open an issue?

4

(install

5

(section (site (lustrec include_)))

6

(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.cpp

24

include/arrow.hpp

25

include/io_frontend.c

26

include/io_frontend.h

27

include/io_frontend.hpp

28

include/lustrec_math.smt2

29

include/StdIn.java))

30


31

(install

32

(section (site (lustrec testgen)))

33

(files

34

share/FindLustre.cmake

35

share/helpful_functions.cmake))

36


37

(rule

38

(alias runtest)

39

(deps (source_tree tests/regression_tests))

40

(action (chdir tests/regression_tests

41

(progn

42

(run cmake "DSUBPROJ=\"unstable\"" "DLUSTRE_INCLUDE_DIR=%{project_root}/include" .)

43

(run ctest D Experimental R "COMPIL_LUSMAKEBINDIFF" E LUSTRET progress)))))
