summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2013-07-28 21:08:13 +0000
committerGabriel Scherer <gabriel.scherer@gmail.com>2013-07-28 21:08:13 +0000
commit27b357ead2ee7c794f80b2bb427084c202f73a4b (patch)
tree9f99bd006c4026d9e1405b707ca72d77b05b1da3 /Makefile
parent9ba35ffaed10807d9070f3133ce20e64ec2e0ddd (diff)
downloadocaml-27b357ead2ee7c794f80b2bb427084c202f73a4b.tar.gz
build: fix build on Windows (patch and commit message by Adrien Nader).
CI failures and further testing made me find four more issues: - forgot to rename a variable from "OCAMLDOC" to "WITH_OCAMLDOC" (this issue was also in the non-.nt Makefile) - syntax error in the installopt rule: missing "fi" - testsuite doesn't have Makefile.nt so don't use -f Makefile.nt for the "clean" rule - had put an extra call to make "ocamltoolsopt" which in turn built the "opt" rule in tools/ but which isn't buildable because it is used to build profiling.cmx which, afaiu, is not available on windows (iirc it uses posix signals to "sample" the running application). That issue was only triggered when building "opt" and not "world.opt" and this is why I hadn't noticed it. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13947 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index b37d39f485..dae697a09c 100644
--- a/Makefile
+++ b/Makefile
@@ -341,7 +341,7 @@ installopt:
cd stdlib; $(MAKE) installopt
cp asmcomp/*.cmi $(COMPLIBDIR)
cp compilerlibs/ocamloptcomp.cma $(OPTSTART) $(COMPLIBDIR)
- if test -n "$(OCAMLDOC)"; then (cd ocamldoc; $(MAKE) installopt); \
+ if test -n "$(WITH_OCAMLDOC)"; then (cd ocamldoc; $(MAKE) installopt); \
else :; fi
for i in $(OTHERLIBRARIES); \
do (cd otherlibs/$$i; $(MAKE) installopt) || exit $$?; done