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 /.gitignore | |
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 '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 18700ef89b..52107195f3 100644 --- a/.gitignore +++ b/.gitignore @@ -84,6 +84,8 @@ _build /emacs/ocamltags /emacs/*.elc +/flexdll-sources + /lambda/runtimedef.ml /lex/parser.ml |