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 


(install

5 


(section (site (lustrec include_)))

6 


(files

7 


include/conv.c

8 
971a4d81

Lélio Brun

include/conv.lusi

9 


include/conv.lusic

10 
57c96fb7

Lélio Brun

include/mpfr_lustre.c

11 
971a4d81

Lélio Brun

include/mpfr_lustre.lusi

12 


include/mpfr_lustre.lusic

13 


include/mpfr_lustre.h

14 
57c96fb7

Lélio Brun

include/simulink_math_fcn.c

15 
971a4d81

Lélio Brun

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

Lélio Brun

include/arrow.c

22 


include/arrow.h

23 
efcc8d7f

Lélio Brun

include/arrow_spec.h

24 
57c96fb7

Lélio Brun

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