lustrec / include / dune @ fca87593
History | View | Annotate | Download (988 Bytes)
| 1 |
(rule |
|---|---|
| 2 |
(targets lustrec_math.h lustrec_math.lusic) |
| 3 |
(action |
| 4 |
(run %{bin:lustrec} -verbose 0 lustrec_math.lusi)
|
| 5 |
) |
| 6 |
) |
| 7 |
|
| 8 |
(rule |
| 9 |
(targets simulink_math_fcn.lusic simulink_math_fcn.h) |
| 10 |
(action |
| 11 |
(run %{bin:lustrec} -verbose 0 simulink_math_fcn.lusi)
|
| 12 |
) |
| 13 |
) |
| 14 |
|
| 15 |
(rule |
| 16 |
(targets conv.lusic conv.h) |
| 17 |
(action |
| 18 |
(run %{bin:lustrec} -verbose 0 conv.lusi)
|
| 19 |
) |
| 20 |
) |
| 21 |
|
| 22 |
(rule |
| 23 |
(targets mpfr_lustre.lusic mpfr_lustre.h) |
| 24 |
(action |
| 25 |
(run %{bin:lustrec} -verbose 0 -mpfr 1 mpfr_lustre.lusi)
|
| 26 |
) |
| 27 |
) |
| 28 |
|
| 29 |
(install |
| 30 |
(files |
| 31 |
arrow.c |
| 32 |
arrow.cpp |
| 33 |
arrow.h |
| 34 |
arrow.hpp |
| 35 |
conv.c |
| 36 |
conv.lusi |
| 37 |
io_frontend.c |
| 38 |
io_frontend.h |
| 39 |
io_frontend.hpp |
| 40 |
lustrec_math.lusi |
| 41 |
lustrec_math.smt2 |
| 42 |
mpfr_lustre.c |
| 43 |
mpfr_lustre.lusi |
| 44 |
simulink_math_fcn.c |
| 45 |
simulink_math_fcn.lusi |
| 46 |
StdIn.java |
| 47 |
lustrec_math.lusic |
| 48 |
lustrec_math.h |
| 49 |
conv.lusic |
| 50 |
conv.h |
| 51 |
simulink_math_fcn.lusic |
| 52 |
simulink_math_fcn.h |
| 53 |
mpfr_lustre.lusic |
| 54 |
mpfr_lustre.h |
| 55 |
) |
| 56 |
(section share) |
| 57 |
(package lustrec) |
| 58 |
) |