summaryrefslogtreecommitdiff
path: root/configure
Commit message (Expand)AuthorAge
* Better validation of target for ARMGravatar xleroy2014-08-20
* Rename "-fthumb" option into "-mthumb" for GCC compatibility.Gravatar xleroy2014-08-19
* configure: distinguish between ABI and processor model.Gravatar xleroy2014-07-29
* New sub-target: arm-hardfloatGravatar xleroy2014-05-02
* Check availability of toolsGravatar xleroy2014-05-02
* Integration of Jacques-Henri Jourdan's verified parser.Gravatar xleroy2014-04-29
* Better prepro options for XCode 5.0Gravatar xleroy2013-10-28
* Revert commit r2349 because it triggers a bug in GNU as.Gravatar xleroy2013-10-24
* Use register names under Linux.Gravatar xleroy2013-10-24
* MacOS X linker option galoreGravatar xleroy2013-09-26
* Add option -no-runtime-lib.Gravatar xleroy2013-07-08
* Prettier outputGravatar xleroy2013-05-19
* Preliminary support for debugging info (-g).Gravatar xleroy2013-05-17
* MacOS: try to add link option -Wl,-no-pie when needed e.g. 10.8 and up.Gravatar xleroy2013-05-13
* Rename arm/linux into arm/eabi, more descriptive.Gravatar xleroy2013-04-20
* Configuring the assembler used for the runtime libGravatar xleroy2013-04-20
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:Gravatar xleroy2013-04-20
* Remove the PowerPC/MacOS X port, as MacOS no longer supports PowerPC.Gravatar xleroy2012-07-14
* Support for indirect symbols under MacOS X (final).Gravatar xleroy2012-07-14
* Configuration, build and install for cchecklink. Clean-ups in myocamlbuild.ml.Gravatar xleroy2012-04-04
* Add -toolprefixGravatar xleroy2012-03-06
* Initializers: handle By_copy accesses (e.g. for &(glob.field))Gravatar xleroy2012-02-07
* Merge of the "volatile" branch:Gravatar xleroy2012-02-04
* ARM codegen ported to new ABI + VFD floatsGravatar xleroy2011-07-30
* Revised signed/unsigned char handling.Gravatar xleroy2011-03-10
* Treat "char" as unsigned OR signed depending on the configuration.Gravatar xleroy2011-03-09
* Updates for IA32-Cygwin.Gravatar xleroy2010-09-08
* Simplified stdlib wrapper; use it only under MacOS XGravatar xleroy2010-09-04
* Merge of the reuse-temps branch:Gravatar xleroy2010-09-02
* Prettier printing of configurationGravatar xleroy2010-03-28
* Handling of volatile accesses through builtin functions.Gravatar xleroy2010-03-08
* Getting rid of CILGravatar xleroy2010-03-03
* Backtracking on commit 1220Gravatar xleroy2010-01-13
* Problem with MacOS X 10.6Gravatar xleroy2009-10-25
* Cleaned up configure script.Gravatar xleroy2009-03-29
* Reorganized the development, modularizing away machine-dependent parts.Gravatar xleroy2008-12-30
* Compilo C, preprocesseur, assembleur sont determines par configure et mis dan...Gravatar xleroy2008-04-19
* Ajout license, README, copyright noticesGravatar xleroy2008-01-27
* Ajout et utilisation de caml/Driver.ml. Ajout ./configure. Revu MakefilesGravatar xleroy2007-08-06