summaryrefslogtreecommitdiff
path: root/config
Commit message (Expand)AuthorAgeFilesLines
* config/Makefile.*: remove DBM-related variables.Wojciech Meyer2012-12-304-8/+0
* remove all $Id keywordsDamien Doligez2012-10-1531-62/+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
* removed bogus $Id linesDamien Doligez2012-07-171-2/+0
* PR#5676: add ipv6 support on Windows.Jonathan Protzenko2012-07-131-0/+1
* PR#5643: issues with .cfi and .loc directives generated by ocamlopt -gXavier Leroy2012-06-171-0/+10
* ASM_CFI_SUPPORTED=false for other Windows ports.Alain Frisch2012-05-154-2/+2
* Don't disable Camlp4 by default for msvc64 and mingw64.Alain Frisch2012-05-152-0/+11
* CFI directives are not supported on Windows.Jonathan Protzenko2012-04-041-1/+1
* Update the Makefiles on Windows to reflect the fact that compiling camlp4 is ...Jonathan Protzenko2012-04-041-0/+4
* Use new -stack option from flexdll 0.28 (#5465).Alain Frisch2012-03-234-6/+6
* 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
* PR#5159: better documentation of type "position"Damien Doligez2012-02-101-0/+7
* Fix #5439: Upgrade to latest config.guess and config.sub.Jonathan Protzenko2012-01-182-585/+876
* PR#4688: (Windows) special floating-point values aren't converted to strings ...Alain Frisch2012-01-161-0/+1
* Bad cut and paste.Alain Frisch2012-01-161-117/+0
* #5478: makes it possible to specify a custom 'ar' command.Alain Frisch2012-01-165-0/+132
* PR#5179: giant steps towards a Mingw64 port.Xavier Leroy2011-12-211-0/+161
* Removed the obsolete native-code generators for Alpha, HPPA, IA64 and MIPS,Xavier Leroy2011-12-171-47/+6
* The "DBM" library (interface with Unix DBM key-value stores) is noXavier Leroy2011-12-171-7/+0
* Merged proc_nt.ml into proc.ml in directories asmcomp/i386 and asmcomp/amd64.Xavier Leroy2011-12-163-0/+3
* #5179: the 'official' 32-bit mingw compiler is now the one from the mingw-w64...Alain Frisch2011-12-121-7/+11
* Jonathan's updates to the Windows/Mingw portXavier Leroy2011-09-151-0/+1
* configuration step: inconsistency between 'Makefile-templ' and generated Make...Xavier Clerc2011-08-011-3/+3
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-2738-35/+135
* Forgot to add this auxiliary script for configure.Xavier Leroy2011-07-201-0/+29
* uniform .ignore systemDamien Doligez2011-07-202-0/+0
* merge changes from 3.12.0 to 3.12.1Damien Doligez2011-07-201-0/+26
* PR#3806, 4752, 5246: added "hypot" and "copysign" to Pervasives.Xavier Leroy2011-06-041-3/+3
* merge changes from branching of 3.12 to release/3.12.0Damien Doligez2010-08-022-2/+2
* Decide at config time if natdynlink is supported or not, but always compile/i...Alain Frisch2010-05-253-0/+3
* Updated Windows makefilesXavier Leroy2010-04-281-1/+2
* clean up spaces and tabsDamien Doligez2010-01-2211-14/+10
* merge changes from release/3.11.1 to release/3.11.2Damien Doligez2010-01-204-12/+16
* PR#3047: added Unix.setgroups, Unix.initgroups.Xavier Leroy2009-04-013-0/+62
* PR#4638: added expm1 and log1p.Xavier Leroy2009-04-011-0/+5
* merge changes from 3.10.2merged to 3.11.0Damien Doligez2008-12-032-6/+4
* ocamldebug under Win32 (S. Le Gall, Lexifi)Xavier Leroy2008-07-293-14/+14
* Do not merge manifest under mingw (mt.exe is not available).Alain Frisch2008-04-091-1/+1
* Need wsock32 for tk.Alain Frisch2008-03-072-5/+5
* merge changes 3.10.0 -> 3.10.1Damien Doligez2008-01-113-5/+5
* Same in native code.Alain Frisch2007-11-153-4/+1
* Improve -output-obj: can now build directly a dynamic library (with all the c...Alain Frisch2007-11-153-0/+3
* Cleanup and factorization of linker-related code.Alain Frisch2007-11-153-33/+18
* Make it work under Win64.Alain Frisch2007-11-081-13/+14
* Merge the natdynlink branch into HEAD.Alain Frisch2007-11-062-24/+28
* Can select which assembler to use at configuration time (PR#4171)Xavier Leroy2007-10-304-20/+10
* fusion de la version 3.10.0Damien Doligez2007-10-081-7/+11
View Lorry Controller Status