diff --git a/Makefile b/Makefile index 9ba7c088aa3..8696e9e833f 100644 --- a/Makefile +++ b/Makefile @@ -273,8 +273,8 @@ src_ext/secondary/ocaml/bin/ocaml: env MAKE=$(MAKE) BOOTSTRAP_EXTRA_OPTS="--disable-ocamldoc --disable-debug-runtime --disable-debugger" BOOTSTRAP_TARGETS="world opt" BOOTSTRAP_ROOT=../.. BOOTSTRAP_DIR=src_ext/secondary ./shell/bootstrap-ocaml.sh $(OCAML_PORT) cold: compiler - env PATH="`pwd`/bootstrap/ocaml/bin:$$PATH" CAML_LD_LIBRARY_PATH= ./configure --with-vendored-deps --without-dune --enable-cold-check $(CONFIGURE_ARGS) - env PATH="`pwd`/bootstrap/ocaml/bin:$$PATH" CAML_LD_LIBRARY_PATH= $(MAKE) + env PATH="`pwd`/bootstrap/ocaml/bin:$$PATH" CAML_LD_LIBRARY_PATH= OPAM_SWITCH_PREFIX= ./configure --with-vendored-deps --without-dune --enable-cold-check $(CONFIGURE_ARGS) + env PATH="`pwd`/bootstrap/ocaml/bin:$$PATH" CAML_LD_LIBRARY_PATH= OPAM_SWITCH_PREFIX= $(MAKE) cold-%: env PATH="`pwd`/bootstrap/ocaml/bin:$$PATH" CAML_LD_LIBRARY_PATH= $(MAKE) $* diff --git a/master_changes.md b/master_changes.md index 342b8cc201a..c2ae3499d36 100644 --- a/master_changes.md +++ b/master_changes.md @@ -78,6 +78,7 @@ users) ## Build * Synchronise opam-core.opam with opam-repository changes [#6043 @dra27] + * Unset OPAM_SWITCH_PREFIX when using make cold [#5534 @kit-ty-kate] ## Infrastructure