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_spec.h

24

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_LUSMAKEBINDIFF" E LUSTRET progress)))))
