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_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))

32


33

(install

34

(section (site (lustrec testgen)))

35

(files

36

share/FindLustre.cmake

37

share/helpful_functions.cmake))

38


39

(rule

40

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