diff options
| author | Wojciech Meyer <wojciech.meyer@gmail.com> | 2013-07-28 15:52:17 +0000 |
|---|---|---|
| committer | Wojciech Meyer <wojciech.meyer@gmail.com> | 2013-07-28 15:52:17 +0000 |
| commit | dda5f84f7c47de4cb1225de77ec723bacb06e905 (patch) | |
| tree | 2f57d16e01317fb7d8bbe553c364ba42cc354186 /config/Makefile.mingw64 | |
| parent | 6549fe701946e70fc7ee2d08a12810400601eb4f (diff) | |
| download | ocaml-dda5f84f7c47de4cb1225de77ec723bacb06e905.tar.gz | |
build: allow disabling ocamldoc and ocamlbuild.
(Patch by Adrien Nader!)
This doesn't touch the build system in build/ since it's obsolete and
unmaintained as far as I know (I'll try to remove it in a further
commit).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13943 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'config/Makefile.mingw64')
| -rw-r--r-- | config/Makefile.mingw64 | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config/Makefile.mingw64 b/config/Makefile.mingw64 index 9e588e57f5..ec128fe4aa 100644 --- a/config/Makefile.mingw64 +++ b/config/Makefile.mingw64 @@ -23,6 +23,12 @@ WITH_CAMLP4=camlp4 ### Remove this to disable compiling ocamldebug WITH_DEBUGGER=ocamldebugger +### Remove this to disable compiling ocamlbuild; camlp4 requires ocamlbuild +WITH_OCAMLBUILD=ocamlbuild + +### Remove this to disable compiling ocamldoc +WITH_OCAMLDOC=ocamldoc + ### Where to install the binaries BINDIR=$(PREFIX)/bin |