aboutsummaryrefslogtreecommitdiffstats
path: root/driver/Configuration.ml
Commit message (Collapse)AuthorAgeFilesLines
* Split up tools and options.Bernhard Schommer2016-02-251-3/+12
| | | | | | Added additional configuration entries to seperate tools from options in the .ini files. Internally they are just concatenated in Configuration.ml which allows it to still use old .ini files.
* Removed the open Filename.Bernhard Schommer2015-12-111-9/+8
|
* Add a target option.Bernhard Schommer2015-12-111-2/+5
| | | | | | This option allows it to specify a .ini file that is in the usual search path. Bug 17431
* Allow relative paths for the tools.Bernhard Schommer2015-12-011-10/+21
| | | | | | | | The tools now can be specified by 3 ways: -Relative to the compcert.ini file -With absolute path to the location -As a simple filename which lies on the PATH variable. Bug 17431
* Allow relative library path.Bernhard Schommer2015-11-301-2/+11
| | | | | | The path to the libcompert folder can be specified relative to the location of the compcert.ini file. Bug 17431
* New option --conf.Bernhard Schommer2015-11-261-18/+30
| | | | | The option --conf allows it to overwrite the compcert.ini file. Bug 17431.
* 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 ↵Bernhard Schommer2015-08-231-9/+12
| | | | replaced the if else for the different possibilities by a List.find.
* Removed the version from the compcert.ini file and add it again in a ↵Bernhard Schommer2015-07-011-1/+0
| | | | separate file.
* Provide and use compiler-dependent standard headers.Xavier Leroy2015-04-251-0/+5
| | | | | | | | | | | | This branch provides implementations of the following standard headers: <float.h> <stdarg.h> <stdbool.h> <stddef.h> <varargs.h> These are the headers that are provided by GCC and Clang, as opposed to being provided by Glibc and similar C standard libraries. Configuration flag "-no-standard-headers" deactivates the installation and use of these headers. Lightly tested so far (IA32 Linux).
* Merge branch 'master' into dwarfBernhard Schommer2015-03-311-0/+27
|\ | | | | | | | | | | Conflicts: Makefile driver/Driver.ml
| * Improvements in the StructReturn transformation (ABI conformance for passing ↵Xavier Leroy2015-03-201-0/+27
| | | | | | | | | | | | | | | | composites). - Implement the "1/2/4/8" composite return policy, used by IA32/MacOS X and IA32/BSD. - Move the default passing conventions from Machine.ml to compcert.ini, making it easier to test the various conventions. - More comprehensive interoperability test in regression/interop1.c.
* | Started implementing the printing functions for the debug info. Added a ↵Bernhard Schommer2015-03-161-0/+6
|/ | | | global target dependend option to activate the printing only for targets wher it works.
* 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 ↵Bernhard Schommer2014-12-041-1/+1
| | | | directory. Use Sys.executable_name instead of Sys.argv.(0).
* Removed environment variable for the stdlib_path and added a new variable ↵Bernhard Schommer2014-10-061-11/+15
| | | | for the configuration file.
* Change the way the tools like the linker, assembler, etc. are specified by ↵Bernhard Schommer2014-09-301-0/+86
including an .ini file parser. The .ini file is generated in the Makefile instead of the Configuration.ml file and parsed on start.
generated by cgit (git 2.34.1) at 2024-07-01 09:12:46 +0000