Revision ca7ff3f7
Added by LĂ©lio Brun over 1 year ago
dune  

1  1 
; too bad dune does not support glob in install stanza 
2  2 
; (see https://discuss.ocaml.org/t/installingmanyfileswithdune/4143) 
3  3 
; TODO: open an issue? 
4  
4  5 
(install 
5 
(section (site (lustrec include_))) 

6 
(section 

7 
(site 

8 
(lustrec include_))) 

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


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

32  35  
33  36 
(install 
34 
(section (site (lustrec testgen)))


35 
(files


36 
share/FindLustre.cmake


37 
share/helpful_functions.cmake))


37 
(section 

38 
(site


39 
(lustrec testgen)))


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


38  41  
39  42 
(rule 
40  43 
(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))))) 

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))))) 
Also available in: Unified diff
reformatting