summaryrefslogtreecommitdiff
path: root/README.win32.adoc
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2021-01-04 17:28:27 +0000
committerDavid Allsopp <david.allsopp@metastack.com>2021-05-11 13:54:02 +0100
commit474255bb0e1265067bdd81bbf107f0027295be04 (patch)
tree6463eb35572d48567fc5b4a175b5e9a01138a93f /README.win32.adoc
parentc555a5bd6e72b0d4c15a74b6f1b93ac445ed22bd (diff)
downloadocaml-474255bb0e1265067bdd81bbf107f0027295be04.tar.gz
Control the flexdll bootstrap with configure
On Windows and Cygwin, if the submodule is initialised, configure will pick it up (this can be disabled by passing --without-flexdll to configure). --with-flexdll can also be used to specify a different location for the FlexDLL sources (e.g. when building using opam) and sources specified this way are first copied to flexdll-sources/
Diffstat (limited to 'README.win32.adoc')
-rw-r--r--README.win32.adoc4
1 files changed, 2 insertions, 2 deletions
diff --git a/README.win32.adoc b/README.win32.adoc
index 98552dce4e..8dea01d620 100644
--- a/README.win32.adoc
+++ b/README.win32.adoc
@@ -76,7 +76,7 @@ bootstrap FlexDLL, you will need to ensure that the directory to which you
install FlexDLL is included in your `PATH` environment variable. Note: binary
distributions of FlexDLL are compatible only with Visual Studio 2013 and
earlier; for Visual Studio 2015 and later, you will need to compile the C
-objects from source, or bootstrap FlexDLL (see below).
+objects from source, or configure ocaml with the `--with-flexdll` option.
The base bytecode system (ocamlc, ocaml, ocamllex, ocamlyacc, ...) of all three
ports runs without any additional tools.
@@ -246,7 +246,7 @@ C code (`ocamlc -custom`) require the appropriate Mingw-w64 gcc and the
`mingw64-i686-gcc-core` package for 32-bit and the `mingw64-x86_64-gcc-core`
package for 64-bit.
- - Do not try to use the Cygwin version of flexdll for this port.
+ - The Cygwin version of flexdll does not work with this port.
- The standalone mingw toolchain from the Mingw-w64 project
(http://mingw-w64.org/) is not supported. Please use the version packaged in