From 971a4d817c3e1d928f10e110a72e02b2523adeff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9lio=20Brun?= <lelio.brun@isae-supaero.fr>
Date: Tue, 16 Feb 2021 12:33:26 +0100
Subject: [PATCH] missing header files in dune install targets
---
dune | 19 +++++++++++--------
include/dune | 6 +++---
2 files changed, 14 insertions(+), 11 deletions(-)
diff --git a/dune b/dune
index 10fc7ac7..2445c1bc 100644
--- a/dune
+++ b/dune
@@ -5,8 +5,19 @@
(section (site (lustrec include_)))
(files
include/conv.c
+ include/conv.lusi
+ include/conv.lusic
include/mpfr_lustre.c
+ include/mpfr_lustre.lusi
+ include/mpfr_lustre.lusic
+ include/mpfr_lustre.h
include/simulink_math_fcn.c
+ include/simulink_math_fcn.lusi
+ include/simulink_math_fcn.lusic
+ include/simulink_math_fcn.h
+ include/lustrec_math.lusi
+ include/lustrec_math.lusic
+ include/lustrec_math.h
include/arrow.c
include/arrow.h
include/arrow.cpp
@@ -15,14 +26,6 @@
include/io_frontend.h
include/io_frontend.hpp
include/lustrec_math.smt2
- include/mpfr_lustre.lusi
- include/mpfr_lustre.lusic
- include/simulink_math_fcn.lusi
- include/simulink_math_fcn.lusic
- include/conv.lusi
- include/conv.lusic
- include/lustrec_math.lusi
- include/lustrec_math.lusic
include/StdIn.java))
(install
diff --git a/include/dune b/include/dune
index 3bdc5731..b42cbe99 100644
--- a/include/dune
+++ b/include/dune
@@ -8,16 +8,16 @@
(alias install))
(rule
- (target simulink_math_fcn.lusic)
+ (targets simulink_math_fcn.lusic simulink_math_fcn.h)
(action (run lustrec -verbose 0 -I . -d . %{dep:simulink_math_fcn.lusi}))
(alias install))
(rule
- (target lustrec_math.lusic)
+ (targets lustrec_math.lusic lustrec_math.h)
(action (run lustrec -verbose 0 -I . -d . %{dep:lustrec_math.lusi}))
(alias install))
(rule
- (target mpfr_lustre.lusic)
+ (targets mpfr_lustre.lusic mpfr_lustre.h)
(action (run lustrec -verbose 0 -mpfr 1 -d . %{dep:mpfr_lustre.lusi}))
(alias install))
--
GitLab