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


5

(install

6

(section

7

(site

8

(lustrec include_)))

9

(files

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

35


36

(install

37

(section

38

(site

39

(lustrec testgen)))

40

(files share/FindLustre.cmake share/helpful_functions.cmake))

41


42

(rule

43

(alias runtest)

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_LUSMAKEBINDIFF"

61

E

62

LUSTRET

63

progress)))))
