Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / Makefile.in @ master

History | View | Annotate | Download (3.5 KB)

# Date Author Comment
fb716d2c 11/17/2018 06:07 AM Pierre-Loïc Garoche

Some autoconf update

5c3b45a0 11/15/2018 08:23 PM Pierre-Loïc Garoche

Lustre test gen mutation: bug solved. The path to the installation was hardcoded.

27446b88 09/14/2018 06:02 PM Pierre-Loïc Garoche

Improving connection with CDash

8446bf03 03/30/2018 05:54 PM Pierre-Loïc Garoche

- Makefile: solved dependency problem when compiling include lusi
- Renamed type declarations as lustre_types and machine_code_types

a1230f68 01/31/2018 07:17 AM Pierre-Loïc Garoche

Solved issues with configure and ocaml libs dependencies

76bed200 01/17/2018 05:08 PM Pierre-Loïc Garoche

Added cmake basic functions
Improved the Cmake Lustre_Compile function

0179e76f 12/14/2017 09:50 AM Christophe Garion

add uninstall target in Makefile

6b2f1b5d 12/13/2017 05:08 PM Christophe Garion

correct install target in Makefile

3b4b7a2e 12/12/2017 04:25 PM Christophe Garion

[lustresf] lustresf targets are optional in Makefiles (see configure.ac)

50ae9ab8 12/12/2017 12:10 PM Christophe Garion

simple conflict when merging unstable and json-parser

c80e92d1 11/09/2017 10:58 PM Pierre-Loïc Garoche

Solving a warning with ocaml 4.04 and uppercase_ascii. Provides backward compatibility for 4.02

2511454c 10/10/2017 05:30 PM Christophe Garion

json-parser: prepare tests in Makefiles and _tags.in

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