summaryrefslogtreecommitdiff
path: root/config/auto-aux
Commit message (Expand)AuthorAgeFilesLines
* Support for xlc and bytecode shared libs on AIX.Konstantin Romanov2017-03-311-0/+2
* Configure helper scripts enhancementSébastien Hinderer2017-03-295-5/+5
* A bit of code refactoring in the scripts under config/auto-auxSébastien Hinderer2017-03-294-12/+20
* configure system fixupSébastien Hinderer2017-03-295-20/+20
* Improve the detection of hashbang support in the configure scriptArmaël Guéneau2016-11-181-0/+2
* Spacetime: a new memory profiler (#585)Mark Shinwell2016-07-291-0/+1
* Call the '#' sign hash rather than sharp.Sébastien Hinderer2016-05-092-0/+0
* Update headers for the new license.Damien Doligez2016-02-1825-300/+350
* GC latency improvementsDamien Doligez2015-12-211-0/+49
* NetBSD doesn't have gethostbyname_r or gethostbyaddr_r, yet gets configured asRich Neswold2015-12-052-0/+8
* configure: typo in detection of clang version.Xavier Leroy2015-11-261-1/+1
* simplify .gitignore; remove .ignore files and tools/setignore; adjust tools/c...Damien Doligez2015-11-061-1/+0
* Remove autoconf tests that are no longer used.Xavier Leroy2015-08-048-271/+0
* Modernize the C style of those autoconf tests.Xavier Leroy2015-08-046-20/+24
* When compiling with gcc or clang, use optimization level -O3 with some optimi...Xavier Leroy2015-08-042-0/+32
* merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16...Damien Doligez2015-07-171-1/+10
* use the official name of Jane Street in headersDamien Doligez2015-04-071-1/+1
* PR#6285: add support for nanosecond precision in Unix.stat()Jérémie Dimino2015-03-051-0/+28
* PR#6517: use ISO C99 types {,u}int{32,64}_t in preference to our homegrownXavier Leroy2014-08-271-7/+7
* PR#6075: avoid using unsafe C library functions (strcpy, strcat, sprintf).Xavier Leroy2014-04-152-6/+17
* Remove labltk from the distribution (will be available as a third-party libra...Xavier Clerc2013-09-091-24/+0
* remove all $Id keywordsDamien Doligez2012-10-1523-46/+0
* add some missing copyright headersDamien Doligez2012-08-021-0/+14
* merge changes from 4.00 branching to 4.00.0 (part 1)Damien Doligez2012-07-261-3/+6
* PR#5643: issues with .cfi and .loc directives generated by ocamlopt -gXavier Leroy2012-06-171-0/+10
* PR#5487: forgot to add two new filesXavier Leroy2012-02-242-0/+10
* PR#5504: Fix. Patch proposed by Stephane Glondu, thanks.Wojciech Meyer2012-02-191-1/+1
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-2730-27/+127
* Forgot to add this auxiliary script for configure.Xavier Leroy2011-07-201-0/+29
* uniform .ignore systemDamien Doligez2011-07-201-0/+0
* merge changes from 3.12.0 to 3.12.1Damien Doligez2011-07-201-0/+26
* clean up spaces and tabsDamien Doligez2010-01-224-4/+2
* PR#3047: added Unix.setgroups, Unix.initgroups.Xavier Leroy2009-04-012-0/+54
* merge changes 3.10.0 -> 3.10.1Damien Doligez2008-01-111-1/+1
* ajoutDamien Doligez2006-09-121-0/+1
* fusion des changements jusqu'a 3.08.3Damien Doligez2005-03-241-0/+2
* Permettre de tester l'existence d'une struct ou d'une unionXavier Leroy2004-04-091-1/+2
* Remplacement de la couche basse BigNumXavier Leroy2003-10-241-0/+22
* pour trouver la bonne version de TCL quand il y en a plusieursDamien Doligez2003-08-201-0/+1
* Revu configuration de STACK_OVERFLOW_DETECTIONXavier Leroy2003-07-231-9/+5
* PR#1407Damien Doligez2003-07-161-0/+2
* Tester les I/O asynchrones avec une socket et non pas avec un pipe (PR#1531)Xavier Leroy2003-02-111-1/+3
* add MacOSX specific options (-F and -framework) to configure, hasgot and ocam...Jacques Garrigue2002-05-291-1/+2
* Revu detection int64. Nettoyages divers.Xavier Leroy2002-05-251-3/+9
* Revu detection de gethostby{name,addr}_r (PR#1144)Xavier Leroy2002-05-062-15/+12
* Utilisation des versions reentrantes de gethostbyname et gethostbyaddr si pos...Xavier Leroy2002-05-043-0/+102
* MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy2001-12-0717-17/+34
* Garantir la semantique 'arrondi vers zero' pour / et modXavier Leroy2001-11-271-0/+46
* passage aux labels strictsJacques Garrigue2001-09-061-1/+3
* Chargement dynamique de primitives CXavier Leroy2001-08-281-0/+7