Revision 971a4d81
Added by LĂ©lio Brun over 3 years ago
dune  

5  5 
(section (site (lustrec include_))) 
6  6 
(files 
7  7 
include/conv.c 
8 
include/conv.lusi 

9 
include/conv.lusic 

8  10 
include/mpfr_lustre.c 
11 
include/mpfr_lustre.lusi 

12 
include/mpfr_lustre.lusic 

13 
include/mpfr_lustre.h 

9  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 

10  21 
include/arrow.c 
11  22 
include/arrow.h 
12  23 
include/arrow.cpp 
...  ...  
15  26 
include/io_frontend.h 
16  27 
include/io_frontend.hpp 
17  28 
include/lustrec_math.smt2 
18 
include/mpfr_lustre.lusi 

19 
include/mpfr_lustre.lusic 

20 
include/simulink_math_fcn.lusi 

21 
include/simulink_math_fcn.lusic 

22 
include/conv.lusi 

23 
include/conv.lusic 

24 
include/lustrec_math.lusi 

25 
include/lustrec_math.lusic 

26  29 
include/StdIn.java)) 
27  30  
28  31 
(install 
Also available in: Unified diff
missing header files in dune install targets