summaryrefslogtreecommitdiff
path: root/configure
Commit message (Expand)AuthorAge
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-28 23:37:24 +0000