aboutsummaryrefslogtreecommitdiffstats
path: root/driver/Configuration.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/kvx-work' into merge_master_8.13.1Cyril SIX2021-06-011-0/+1
|\
| * Adding distinction between kvx-cos and kvx-mbr (for trapping loads)Cyril SIX2021-04-131-0/+1
* | Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-231-1/+1
|\ \ | |/ |/|
| * "macosx" is now called "macos"Xavier Leroy2021-01-181-1/+1
* | k1c -> kvx changesDavid Monniaux2020-05-261-1/+1
* | Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into mppa-work-upstrea...David Monniaux2019-09-201-1/+1
|\|
| * AArch64 portXavier Leroy2019-08-081-1/+1
* | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...David Monniaux2019-06-031-3/+3
|\|
| * Expand the responsefiles earlierBernhard Schommer2019-05-101-3/+3
* | Hook for MPPA_K1c (generates Risc-V code for now)Cyril SIX2018-04-041-1/+1
|/
* Removed struct passing/return from ConfigurationsBernhard Schommer2018-02-161-28/+0
* New support for inserting ais-annotations.Bernhard Schommer2017-10-191-0/+2
* RISC-V port and assorted changesXavier Leroy2017-04-281-1/+1
* Introduced configuration variable for gnu systems.Bernhard Schommer2017-02-131-15/+11
* remove unused file, update tests for arch-field of configuration filesMichael Schmidt2016-11-031-1/+1
* Support for 64-bit architectures: generic supportXavier Leroy2016-10-011-1/+1
* fix merge conflictsMichael Schmidt2016-08-171-0/+12
|\
| * Added support for quoting for diab backend.Bernhard Schommer2016-07-211-0/+2
| * Added simplified reader and printer for gnu @filesBernhard Schommer2016-07-201-0/+10
* | Implement support for big endian arm targets.Bernhard Schommer2016-08-051-0/+5
|/
* Activate advanced debug information for arm, ia32.Bernhard Schommer2016-06-281-7/+1
* Split up tools and options.Bernhard Schommer2016-02-251-3/+12
* Removed the open Filename.Bernhard Schommer2015-12-111-9/+8
* Add a target option.Bernhard Schommer2015-12-111-2/+5
* Allow relative paths for the tools.Bernhard Schommer2015-12-011-10/+21
* Allow relative library path.Bernhard Schommer2015-11-301-2/+11
* New option --conf.Bernhard Schommer2015-11-261-18/+30
* Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-201-6/+6
* Added the directory ../share/compcert to the search path for .ini files and r...Bernhard Schommer2015-08-231-9/+12
* Removed the version from the compcert.ini file and add it again in a separate...Bernhard Schommer2015-07-011-1/+0
* Provide and use compiler-dependent standard headers.Xavier Leroy2015-04-251-0/+5
* Merge branch 'master' into dwarfBernhard Schommer2015-03-311-0/+27
|\
| * Improvements in the StructReturn transformation (ABI conformance for passing ...Xavier Leroy2015-03-201-0/+27
* | Started implementing the printing functions for the debug info. Added a globa...Bernhard Schommer2015-03-161-0/+6
|/
* Use Unix.create_process instead of Sys.command (continued).Xavier Leroy2014-12-291-62/+63
* Stdlib path is ignored when the configuration has_runtime_lib is set to false.Bernhard Schommer2014-12-151-2/+7
* Removed unused variable and changed the search for the installation directory...Bernhard Schommer2014-12-041-1/+1
* Removed environment variable for the stdlib_path and added a new variable for...Bernhard Schommer2014-10-061-11/+15
* Change the way the tools like the linker, assembler, etc. are specified by in...Bernhard Schommer2014-09-301-0/+86
generated by cgit (git 2.34.1) at 2024-05-09 00:56:36 +0000