From b775a26770a05a2e2d7f8e4aa9557e8bb55d8dad Mon Sep 17 00:00:00 2001
From: Ximin Luo <infinity0@debian.org>
Date: Tue, 4 Jul 2017 20:49:51 +0200
Subject: [PATCH] Try ccache

---
 debian/rules | 9 +++++++++
 1 file changed, 9 insertions(+)

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)
 
-- 
2.30.2