summaryrefslogtreecommitdiffstats
path: root/config
AgeCommit message (Expand)Author
2012-05-15ASM_CFI_SUPPORTED=false for other Windows ports.Alain Frisch
2012-05-15Don't disable Camlp4 by default for msvc64 and mingw64.Alain Frisch
2012-04-04CFI directives are not supported on Windows.Jonathan Protzenko
2012-04-04Update the Makefiles on Windows to reflect the fact that compiling camlp4 is ...Jonathan Protzenko
2012-03-23Use new -stack option from flexdll 0.28 (#5465).Alain Frisch
2012-02-24PR#5487: forgot to add two new filesXavier Leroy
2012-02-19PR#5504: Fix. Patch proposed by Stephane Glondu, thanks.Wojciech Meyer
2012-02-10PR#5159: better documentation of type "position"Damien Doligez
2012-01-18Fix #5439: Upgrade to latest config.guess and config.sub.Jonathan Protzenko
2012-01-16PR#4688: (Windows) special floating-point values aren't converted to strings ...Alain Frisch
2012-01-16Bad cut and paste.Alain Frisch
2012-01-16#5478: makes it possible to specify a custom 'ar' command.Alain Frisch
2011-12-21PR#5179: giant steps towards a Mingw64 port.Xavier Leroy
2011-12-17Removed the obsolete native-code generators for Alpha, HPPA, IA64 and MIPS,Xavier Leroy
2011-12-17The "DBM" library (interface with Unix DBM key-value stores) is noXavier Leroy
2011-12-16Merged proc_nt.ml into proc.ml in directories asmcomp/i386 and asmcomp/amd64.Xavier Leroy
2011-12-12#5179: the 'official' 32-bit mingw compiler is now the one from the mingw-w64...Alain Frisch
2011-09-15Jonathan's updates to the Windows/Mingw portXavier Leroy
2011-08-01configuration step: inconsistency between 'Makefile-templ' and generated Make...Xavier Clerc
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2011-07-20Forgot to add this auxiliary script for configure.Xavier Leroy
2011-07-20uniform .ignore systemDamien Doligez
2011-07-20merge changes from 3.12.0 to 3.12.1Damien Doligez
2011-06-04PR#3806, 4752, 5246: added "hypot" and "copysign" to Pervasives.Xavier Leroy
2010-08-02merge changes from branching of 3.12 to release/3.12.0Damien Doligez
2010-05-25Decide at config time if natdynlink is supported or not, but always compile/i...Alain Frisch
2010-04-28Updated Windows makefilesXavier Leroy
2010-01-22clean up spaces and tabsDamien Doligez
2010-01-20merge changes from release/3.11.1 to release/3.11.2Damien Doligez
2009-04-01PR#3047: added Unix.setgroups, Unix.initgroups.Xavier Leroy
2009-04-01PR#4638: added expm1 and log1p.Xavier Leroy
2008-12-03merge changes from 3.10.2merged to 3.11.0Damien Doligez
2008-07-29ocamldebug under Win32 (S. Le Gall, Lexifi)Xavier Leroy
2008-04-09Do not merge manifest under mingw (mt.exe is not available).Alain Frisch
2008-03-07Need wsock32 for tk.Alain Frisch
2008-01-11merge changes 3.10.0 -> 3.10.1Damien Doligez
2007-11-15Same in native code.Alain Frisch
2007-11-15Improve -output-obj: can now build directly a dynamic library (with all the c...Alain Frisch
2007-11-15Cleanup and factorization of linker-related code.Alain Frisch
2007-11-08Make it work under Win64.Alain Frisch
2007-11-06Merge the natdynlink branch into HEAD.Alain Frisch
2007-10-30Can select which assembler to use at configuration time (PR#4171)Xavier Leroy
2007-10-08fusion de la version 3.10.0Damien Doligez
2007-03-01Use TCL/TK 8.4 instead of 8.3Xavier Leroy
2007-03-01Use TCL/TK 8.4 instead of 8.3Xavier Leroy
2007-03-01Adaptation nouvelle configXavier Leroy
2007-02-23Add MANDIR to config/Makefile.*Nicolas Pouillard
2007-02-09cvsignore les nouveaux fichiersDamien Doligez
2007-02-07Some changes to the build systemNicolas Pouillard
2006-10-18Utiliser link /lib comme partial linker sous Windows/MSVC; adapter versions U...Xavier Leroy