Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / Makefile.in @ 430dc9ee

History | View | Annotate | Download (3.13 KB)

# Date Author Comment
921230e6 10/06/2017 02:33 PM Christophe Garion

json-parser: clean files names and directories
bad7b67a 09/22/2017 05:20 PM Christophe Garion

parser-json: first steps to integrate JSON parser
93119c3f 09/21/2017 01:48 PM Pierre-Loïc Garoche

Moved stateflow tool in src/tool
Updated the makefile to compile lustresf
Not working yet
30f46c0c 07/14/2017 06:30 AM Pierre-Loïc Garoche

Renamed math lib into lustrec_math to avoid conflicting calls to <math.h>
fa880262 07/04/2017 01:21 AM Pierre-Loïc Garoche

Bug solved: lusic dependency of mpfr
7629d67b 07/03/2017 08:45 PM Pierre-Loïc Garoche

Bug solved in include dependencies in install target
3a4cc4d5 06/26/2017 07:38 PM Pierre-Loïc Garoche

More tests in default test target: main focus on C backend
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