From: Ximin Luo <infinity0@debian.org>
Date: Tue, 4 Jul 2017 18:49:51 +0000 (+0200)
Subject: Try ccache
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~69
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=b775a26770a05a2e2d7f8e4aa9557e8bb55d8dad;p=ocaml.git

Try ccache
---

diff --git a/debian/rules b/debian/rules
index 369fb6d1..362d475e 100755
--- a/debian/rules
+++ b/debian/rules
@@ -9,6 +9,15 @@ ALL_PACKAGES := $(shell dh_listpackages)
 OCAMLMAJOR := 4.04
 OCAMLMINOR := 0
 
+# Use ccache if pkg.ocaml.ccache build-profile is active.
+# Your rebuilds will be *much quicker*.
+ifneq (,$(filter pkg.ocaml.ccache,$(DEB_BUILD_PROFILES)))
+export PATH := /usr/lib/ccache:$(PATH)
+export CCACHE_DIR := $(CURDIR)/debian/ccache
+#export CCACHE_BASEDIR := $(CURDIR)/debian/build
+$(shell mkdir -p "$(CCACHE_DIR)")
+endif
+
 # Build cache (for Debian debugging)
 BUILDCACHE := $(wildcard ../ocaml.cache)