summaryrefslogtreecommitdiff
path: root/configure
Commit message (Expand)AuthorAge
* 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-23 13:58:09 +0000