1 
57c96fb7

Lélio Brun

; 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 
ca7ff3f7

Lélio Brun


5 
57c96fb7

Lélio Brun

(install

6 
ca7ff3f7

Lélio Brun

(section

7 


(site

8 


(lustrec include_)))

9 
57c96fb7

Lélio Brun

(files

10 
ca7ff3f7

Lélio Brun

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 
57c96fb7

Lélio Brun


36 


(install

37 
ca7ff3f7

Lélio Brun

(section

38 


(site

39 


(lustrec testgen)))

40 


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

41 
57c96fb7

Lélio Brun


42 


(rule

43 


(alias runtest)

44 
ca7ff3f7

Lélio Brun

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