From: Stéphane Glondu <glondu@debian.org>
Date: Wed, 19 Jun 2024 12:57:39 +0000 (+0200)
Subject: Do no longer call "make bootstrap"
X-Git-Tag: archive/raspbian/5.2.0-2+rpi1^2~38
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=6efd625825088a0f5645dab29787d8ae7cc48001;p=ocaml.git

Do no longer call "make bootstrap"

This implied building everything twice.

Bootstrap is tested in upstream CI nowadays, and we don't make changes
in the Debian package needing bootstrap. Even if we did, the procedure
is rather complex and it is probably more reasonable to do it outside
of the Debian package build process.
---

diff --git a/debian/rules b/debian/rules
index 90759125..c18dc457 100755
--- a/debian/rules
+++ b/debian/rules
@@ -143,7 +143,6 @@ build-stamp: config-stamp
 	fi
 ifeq ($(BUILDCACHE),)
 	$(MAKE) world
-	$(MAKE) bootstrap
 	$(MAKE) -C tools dumpobj
 ifneq (,$(OCAML_OPT_ARCH))
 	@echo "Building native compilers"