Project

General

Profile

« Previous | Next » 

Revision 971a4d81

Added by LĂ©lio Brun over 3 years ago

missing header files in dune install targets

View differences:

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