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

)
