diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2011-07-20 09:17:07 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2011-07-20 09:17:07 +0000 |
| commit | c91db736b18c7ed0ec81596b76874f5423d5d331 (patch) | |
| tree | a967edfcd254aa6844c44e81ea33596a82b7bf87 /README.win32 | |
| parent | 46d5420ca9c695738f7a0baa527d3591d95f067a (diff) | |
| download | ocaml-c91db736b18c7ed0ec81596b76874f5423d5d331.tar.gz | |
merge changes from 3.12.0 to 3.12.1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'README.win32')
| -rw-r--r-- | README.win32 | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/README.win32 b/README.win32 index 768743ae37..9a493d96a1 100644 --- a/README.win32 +++ b/README.win32 @@ -37,7 +37,7 @@ the GPL. Thus, these .exe files can only be distributed under a license that is compatible with the GPL. Executables generated by MSVC or by MinGW have no such restrictions. -(**) The debugger is supported but the "replay" function of it are not enabled. +(**) The debugger is supported but the "replay" functions are not enabled. Other functions are available (step, goto, run...). The remainder of this document gives more information on each port. @@ -183,6 +183,10 @@ by Jacob Navia, then significantly improved by Christopher A. Watford. The native Win32 port built with Mingw -------------------------------------- +NOTE: Due to changes in cygwin's compilers, this port is not available +in OCaml 3.12.1. A patch will be made available soon after the release +of 3.12.1. + REQUIREMENTS: This port runs under MS Windows Vista, XP, and 2000. @@ -232,7 +236,7 @@ You will need the following software components to perform the recompilation: - Windows NT, 2000, XP, or Vista. - Cygwin: http://sourceware.cygnus.com/cygwin/ Install at least the following packages: binutils, diffutils, - gcc-core, gcc-mingw-core, make, mingw-runtime, ncurses, w32-api. + gcc-core, gcc-mingw-core, make, mingw-runtime, ncurses, w32api. - TCL/TK version 8.5 (see above). - The flexdll tool (see above). @@ -302,7 +306,9 @@ NOTES: The libraries available in this port are "num", "str", "threads", "unix" and "labltk". "graph" is not available. -The replay debugger is supported. +The replay debugger is fully supported. +When upgrading from 3.12.0 to 3.12.1, you will need to remove +/usr/local/bin/ocamlmktop.exe before typing "make install". ------------------------------------------------------------------------------ |