Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / Makefile.in @ 1b683c9a

History | View | Annotate | Download (2.83 KB)

# Date Author Comment
1bff14ac 06/23/2017 06:13 PM Pierre-Loïc Garoche

- Added a field lustre_eq to machine instruction in order to record the originating lustre equation
- EMF backend now impose the optimization level to be set to 0 in order to avoid equation elimination that would render traceability difficult
- Options.ml has been split into Options.ml / Options_management.ml. Options.ml only contains references and no functions

86aadaf1 06/22/2017 02:34 AM Pierre-Loïc Garoche

Improved dependencies for install target

e656160b 05/17/2017 10:14 AM Pierre-Loïc Garoche

Better dist-clean

0cddb853 05/16/2017 03:18 PM Pierre-Loïc Garoche

Solved dependency in Makefile

a86bae77 05/05/2017 10:09 PM Pierre-Loïc Garoche

- Adding new Makefile target for regression test
- Version now includes current git branch

2fdbc781 04/27/2017 10:42 PM Pierre-Loïc Garoche

Cleaning output:
- no more classic display for ocamlc
- compilation warnings removed

d2d9d4cb 04/26/2017 11:25 PM Pierre-Loïc Garoche

Missing files

85da3a4b 04/26/2017 11:23 PM Pierre-Loïc Garoche

Merge branch 'unstable' into merging_plugins
Non regression results were similar to master branch

03bb8f64 09/01/2016 05:01 PM Eric NOULARD

Add forthcoming codename to the current dev version.
Fix config.status call to add --recheck as expected

d057583b 09/01/2016 04:01 PM Eric NOULARD

Fix rule for rebuilding configure

084a3cb5 09/01/2016 03:52 PM Eric NOULARD

Better handling of automatic relaunch of autoconf and configure

974f92ac 09/01/2016 11:30 AM Eric NOULARD

Add makefile rules in order to ease the building of a source tarball
which contains the generated configure script (but no more generated file)

04a63d25 08/06/2016 10:29 AM Xavier Thirioux

full merge of salsa/mpfr and master

d97c196a 12/08/2015 03:39 PM Xavier Thirioux

Changed mpfr threshold to 2

53206908 11/26/2015 04:45 PM Xavier Thirioux

major branche merging salsa/mpfr with trunk

82dad07e 06/09/2015 09:09 AM Eric Noulard

Ignore rm error in clean rules

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@462 041b043f-8d7c-46b2-b46e-ef0dd855326e

b2a445af 06/09/2015 09:09 AM Eric Noulard

Ignore rm error in clean rules

1d906976 05/13/2015 01:10 PM Eric Noulard

Merge r458 fix into trunk

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@459 041b043f-8d7c-46b2-b46e-ef0dd855326e

1b31ffde 05/13/2015 01:10 PM Eric Noulard

Merge r458 fix into trunk

3cb2f745 04/08/2015 04:01 PM Pierre-Loïc Garoche

Cleaning lusic when installing

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@442 041b043f-8d7c-46b2-b46e-ef0dd855326e

8958262e 04/08/2015 04:01 PM Pierre-Loïc Garoche

Cleaning lusic when installing

0b352b14 04/04/2015 03:59 PM Xavier Thirioux

corrected various bugs in the compilation/installation Makefile.in.

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@435 041b043f-8d7c-46b2-b46e-ef0dd855326e

e9350b02 04/04/2015 03:59 PM Xavier Thirioux

corrected various bugs in the compilation/installation Makefile.in.

2e6dfb46 03/12/2015 02:24 PM Eric Noulard

Install FindLustre.cmake as well

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@416 041b043f-8d7c-46b2-b46e-ef0dd855326e

89f551c9 03/12/2015 02:24 PM Eric Noulard

Install FindLustre.cmake as well

e8b6d5ca 12/09/2014 01:41 PM Pierre-Loïc Garoche

Moved Makefile into src folder

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@382 041b043f-8d7c-46b2-b46e-ef0dd855326e

bed8ea64 12/09/2014 01:41 PM Pierre-Loïc Garoche

Moved Makefile into src folder

ff580eb7 12/08/2014 09:06 PM Pierre-Loïc Garoche

Almost nothing

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@379 041b043f-8d7c-46b2-b46e-ef0dd855326e

a6208edd 12/08/2014 09:06 PM Pierre-Loïc Garoche

Almost nothing

1e48ef45 12/01/2014 11:32 PM Pierre-Loïc Garoche

- Dealt with compiling lusic from distant lusi files.
- Header now do not allow the generation of function previously declared as C prototype

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@375 041b043f-8d7c-46b2-b46e-ef0dd855326e

5ae8db15 12/01/2014 11:32 PM Pierre-Loïc Garoche

- Dealt with compiling lusic from distant lusi files.
- Header now do not allow the generation of function previously declared as C prototype