| Commit message (Expand) | Author | Age | Files | Lines |
... | |
| * | | Only for options with value. | Bernhard Schommer | 2015-03-28 | 1 | -2/+2 |
| |/ |
|
* / | Started implementing the printing functions for the debug info. Added a globa... | Bernhard Schommer | 2015-03-16 | 1 | -1/+4 |
|/ |
|
* | Added missing $ for build_checklink | Bernhard Schommer | 2015-01-15 | 1 | -2/+2 |
* | Added variable to the Makefile to specify additional linker commands and chan... | Bernhard Schommer | 2015-01-15 | 1 | -2/+5 |
* | One more cleanup in configure. | Xavier Leroy | 2014-12-18 | 1 | -1/+1 |
* | No longer include a pre-generated Parser.v in the distribution. | Xavier Leroy | 2014-12-18 | 1 | -10/+9 |
* | Minor bug fixes in configure and Makefile.extr | Xavier Leroy | 2014-12-17 | 1 | -3/+3 |
* | Merge branch 'master' into pure-makefiles | Xavier Leroy | 2014-12-17 | 1 | -1/+1 |
|\ |
|
| * | Update the IA32/MacOS X port. | Xavier Leroy | 2014-12-11 | 1 | -1/+1 |
* | | Use OCaml's .opt compilers when available. | Xavier Leroy | 2014-12-17 | 1 | -9/+24 |
* | | Replace ocamlbuild by a second-stage makefile to compile the OCaml code and p... | Xavier Leroy | 2014-11-22 | 1 | -0/+18 |
|/ |
|
* | Change the way the tools like the linker, assembler, etc. are specified by in... | Bernhard Schommer | 2014-09-30 | 1 | -0/+3 |
* | Better validation of target for ARM | xleroy | 2014-08-20 | 1 | -1/+5 |
* | Rename "-fthumb" option into "-mthumb" for GCC compatibility. | xleroy | 2014-08-19 | 1 | -4/+4 |
* | configure: distinguish between ABI and processor model. | xleroy | 2014-07-29 | 1 | -27/+55 |
* | New sub-target: arm-hardfloat | xleroy | 2014-05-02 | 1 | -0/+11 |
* | Check availability of tools | xleroy | 2014-05-02 | 1 | -0/+50 |
* | Integration of Jacques-Henri Jourdan's verified parser. | xleroy | 2014-04-29 | 1 | -0/+3 |
* | Better prepro options for XCode 5.0 | xleroy | 2013-10-28 | 1 | -1/+1 |
* | Revert commit r2349 because it triggers a bug in GNU as. | xleroy | 2013-10-24 | 1 | -1/+2 |
* | Use register names under Linux. | xleroy | 2013-10-24 | 1 | -2/+1 |
* | MacOS X linker option galore | xleroy | 2013-09-26 | 1 | -1/+1 |
* | Add option -no-runtime-lib. | xleroy | 2013-07-08 | 1 | -1/+4 |
* | Prettier output | xleroy | 2013-05-19 | 1 | -4/+7 |
* | Preliminary support for debugging info (-g). | xleroy | 2013-05-17 | 1 | -0/+32 |
* | MacOS: try to add link option -Wl,-no-pie when needed e.g. 10.8 and up. | xleroy | 2013-05-13 | 1 | -1/+6 |
* | Rename arm/linux into arm/eabi, more descriptive. | xleroy | 2013-04-20 | 1 | -3/+4 |
* | Configuring the assembler used for the runtime lib | xleroy | 2013-04-20 | 1 | -1/+9 |
* | Big merge of the newregalloc-int64 branch. Lots of changes in two directions: | xleroy | 2013-04-20 | 1 | -3/+3 |
* | Remove the PowerPC/MacOS X port, as MacOS no longer supports PowerPC. | xleroy | 2012-07-14 | 1 | -11/+0 |
* | Support for indirect symbols under MacOS X (final). | xleroy | 2012-07-14 | 1 | -21/+11 |
* | Configuration, build and install for cchecklink. Clean-ups in myocamlbuild.ml. | xleroy | 2012-04-04 | 1 | -2/+19 |
* | Add -toolprefix | xleroy | 2012-03-06 | 1 | -37/+41 |
* | Initializers: handle By_copy accesses (e.g. for &(glob.field)) | xleroy | 2012-02-07 | 1 | -10/+0 |
* | Merge of the "volatile" branch: | xleroy | 2012-02-04 | 1 | -2/+16 |
* | ARM codegen ported to new ABI + VFD floats | xleroy | 2011-07-30 | 1 | -2/+2 |
* | Revised signed/unsigned char handling. | xleroy | 2011-03-10 | 1 | -14/+0 |
* | Treat "char" as unsigned OR signed depending on the configuration. | xleroy | 2011-03-09 | 1 | -0/+14 |
* | Updates for IA32-Cygwin. | xleroy | 2010-09-08 | 1 | -0/+11 |
* | Simplified stdlib wrapper; use it only under MacOS X | xleroy | 2010-09-04 | 1 | -8/+27 |
* | Merge of the reuse-temps branch: | xleroy | 2010-09-02 | 1 | -0/+30 |
* | Prettier printing of configuration | xleroy | 2010-03-28 | 1 | -1/+2 |
* | Handling of volatile accesses through builtin functions. | xleroy | 2010-03-08 | 1 | -2/+2 |
* | Getting rid of CIL | xleroy | 2010-03-03 | 1 | -8/+0 |
* | Backtracking on commit 1220v1.6 | xleroy | 2010-01-13 | 1 | -1/+6 |
* | Problem with MacOS X 10.6 | xleroy | 2009-10-25 | 1 | -1/+1 |
* | Cleaned up configure script. | xleroy | 2009-03-29 | 1 | -29/+83 |
* | Reorganized the development, modularizing away machine-dependent parts. | xleroy | 2008-12-30 | 1 | -6/+91 |
* | Compilo C, preprocesseur, assembleur sont determines par configure et mis dan... | xleroy | 2008-04-19 | 1 | -0/+5 |
* | Ajout license, README, copyright notices | xleroy | 2008-01-27 | 1 | -0/+12 |