Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / configure.ac @ master

History | View | Annotate | Download (6.33 KB)

# Date Author Comment
95b507a8 11/17/2018 07:18 AM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec

a7ce880f 11/17/2018 07:17 AM Pierre-Loïc Garoche

Initiating nwew version 1.7 Xia/Huai

531c07e4 11/17/2018 06:46 AM Pierre-Loïc Garoche

Cleaning git references for release

690eb3a5 11/17/2018 06:30 AM Pierre-Loïc Garoche

Preparing release 1.6 Xia/Zhui

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.

6de6bcf4 11/13/2018 04:16 PM Pierre-Loïc Garoche

Improved configure.ac

1cc047f9 11/10/2018 02:07 PM Pierre-Loïc Garoche

Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable

987fa573 09/25/2018 10:16 AM Pierre-Loïc Garoche

Merge branch 'git-configure' into cocospec

3471cb4d 09/25/2018 10:12 AM Pierre-Loïc Garoche

Better management of git branch in configure.ac

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

Improving connection with CDash

de041ec0 07/13/2018 08:21 PM Pierre-Loïc Garoche

Update the configure to prepare the next release 1.6 Xia/Zhu

c1c4263c 07/13/2018 07:44 PM Pierre-Loïc Garoche

Preparing release of 1.5 Xia/Shao Kang

c2db548b 05/17/2018 03:15 PM Christophe Garion

install of yojson depends on lustresf in configure now

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

Solved issues with configure and ocaml libs dependencies

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

d21f00de 10/06/2017 02:47 PM Christophe Garion

json-parser: add check for librairies in configure.ac

bad7b67a 09/22/2017 05:20 PM Christophe Garion

parser-json: first steps to integrate JSON parser

bd1bb668 06/26/2017 10:29 PM Pierre-Loïc Garoche

Moved to 1.5 dev

72b80590 06/26/2017 08:20 PM Pierre-Loïc Garoche

Preparing relaease LustreC 1.4 Xia/Xiang

9205fd1a 06/26/2017 08:11 PM Pierre-Loïc Garoche

Print branch in configure.ac

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

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

1954d776 04/27/2017 01:38 PM Pierre-Loïc Garoche

Cleaner configure autoconf script

09121c1a 04/27/2017 12:19 AM Pierre-Loïc Garoche

Merge branch 'testgen' into merging_unstable_testgen

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

bde99c3f 04/06/2017 04:27 PM Xavier Thirioux

This is the first merge that does compile. Not tested yet.

dcafc99b 01/11/2017 12:28 AM Pierre-Loïc Garoche

Merge branch 'github_master' into integ_github_jan10
Intregrate all modifs by Teme et al

ec4fe7f7 01/04/2017 12:25 AM Pierre-Loïc Garoche

removed myocamlbuild.ml. Seems unused

59ac5058 12/21/2016 05:06 PM Frederic Boniol

Post 1.3 dev

bf930280 12/21/2016 04:34 PM Frederic Boniol

Prepare 1.3 release

3b2bd83d 12/08/2016 05:37 PM Teme Kahsai

updating to onera version 30f766a:2016-12-04

30f766ab 12/04/2016 03:35 PM Eric NOULARD

Suppress -nowarn argument to find command line.
This is not needed on Linux and it is not supported on Darwin (Mac OS)

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

3e38100a 09/01/2016 04:02 PM Eric NOULARD

Back to post 1.2 dev now going on for possible 1.3

a837b379 09/01/2016 03:54 PM Eric NOULARD

Release lustrec 1.2 Xia-Tai-Kang

41e48ef3 09/01/2016 11:18 AM Eric NOULARD

Add codename to version handling. This should ease making release.
Development codename is "dev"

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

full merge of salsa/mpfr and master

a1daa793 02/23/2016 10:47 PM Teme Kahsai

Updated to onera_git commit version 9421e24

f0bff3e5 01/08/2016 01:41 PM Pierre-Loïc Garoche

Merge branch 'salsa' into merge_salsa_horn_2
Postponed conflicts to be solved
Conflicts:
src/_tags
src/backends/Horn/horn_backend.ml
src/machine_code.ml
src/main_lustre_compiler.ml
src/myocamlbuild.ml.in
src/optimize_machine.ml

6ff6d24c 01/07/2016 04:40 PM Pierre-Loïc Garoche

Removed myocamlbuild.ml. Not used anymore

f6acf47b 11/26/2015 06:17 PM Pierre-Loïc Garoche

Plugin based framework

cf44e810 11/26/2015 04:50 PM Pierre-Loïc Garoche

Import bug

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

major branche merging salsa/mpfr with trunk

a53a28cb 08/18/2015 11:51 AM Eric Noulard

Post 1.1 release.
Back to dev version

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

9b04601c 08/18/2015 11:51 AM Eric Noulard

Post 1.1 release.
Back to dev version

b2e2b4d8 08/13/2015 04:58 PM Eric Noulard

prepare lustrec 1.1

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

3fb19815 08/13/2015 04:58 PM Eric Noulard

prepare lustrec 1.1

e2068500 05/05/2015 01:54 AM Teme Kahsai

first commit

302eeebe 04/08/2015 08:53 AM Pierre-Loïc Garoche

Post Xia dev

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

00b2c9f8 04/08/2015 08:53 AM Pierre-Loïc Garoche

Post Xia dev

2bd3b8cd 04/08/2015 08:50 AM Pierre-Loïc Garoche

Prepare for tagging : Xia version 1.0

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

ba2f9fa1 04/08/2015 08:50 AM Pierre-Loïc Garoche

Prepare for tagging : Xia version 1.0

53a9b564 03/16/2015 08:30 PM Teme Kahsai

Changed configuration and update the horn_backend.ml

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

545772c4 03/16/2015 08:30 PM Teme Kahsai

Changed configuration and update the horn_backend.ml

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

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