diff options
author | David Allsopp <david.allsopp@metastack.com> | 2021-01-04 17:28:27 +0000 |
---|---|---|
committer | David Allsopp <david.allsopp@metastack.com> | 2021-05-11 13:54:02 +0100 |
commit | 474255bb0e1265067bdd81bbf107f0027295be04 (patch) | |
tree | 6463eb35572d48567fc5b4a175b5e9a01138a93f /README.win32.adoc | |
parent | c555a5bd6e72b0d4c15a74b6f1b93ac445ed22bd (diff) | |
download | ocaml-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.adoc | 4 |
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 |