Project

General

Profile

« Previous | Next » 

Revision 971a4d81

Added by Lélio Brun over 2 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


  		












  

    
      include/dune
    
  





  8
  8
  
    
 (alias install))


  		




  9
  9
  
    

  		




  10
  10
  
    
(rule


  		




  11
  
  
    
 (target simulink_math_fcn.lusic)


  		




  
  11
  
    
 (targets simulink_math_fcn.lusic simulink_math_fcn.h)


  		




  12
  12
  
    
 (action (run lustrec -verbose 0 -I . -d . %{dep:simulink_math_fcn.lusi}))


  		




  13
  13
  
    
 (alias install))


  		




  14
  14
  
    

  		




  15
  15
  
    
(rule


  		




  16
  
  
    
 (target lustrec_math.lusic)


  		




  
  16
  
    
 (targets lustrec_math.lusic lustrec_math.h)


  		




  17
  17
  
    
 (action (run lustrec -verbose 0 -I . -d . %{dep:lustrec_math.lusi}))


  		




  18
  18
  
    
 (alias install))


  		




  19
  19
  
    

  		




  20
  20
  
    
(rule


  		




  21
  
  
    
 (target mpfr_lustre.lusic)


  		




  
  21
  
    
 (targets mpfr_lustre.lusic mpfr_lustre.h)


  		




  22
  22
  
    
 (action (run lustrec -verbose 0 -mpfr 1 -d . %{dep:mpfr_lustre.lusi}))


  		




  23
  23
  
    
 (alias install))


  		












Also available in:  Unified diff