From ec8614f2ea8c8a8f6e714a87363383e7b8210ce9 Mon Sep 17 00:00:00 2001
From: "Mayeul@Zama" <mayeul.debellabre@zama.ai>
Date: Fri, 3 Dec 2021 09:52:42 +0100
Subject: [PATCH] chore(compiler): use ccache if available

---
 compiler/Makefile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/compiler/Makefile b/compiler/Makefile
index 8fd5c9daa..c9535b645 100644
--- a/compiler/Makefile
+++ b/compiler/Makefile
@@ -1,7 +1,12 @@
 BUILD_DIR=./build
 Python3_EXECUTABLE=
 BINDINGS_PYTHON_ENABLED=ON
-CCACHE=OFF
+
+ifeq ($(shell which ccache),)
+	CCACHE=OFF
+else
+	CCACHE=ON
+endif
 
 ifeq ($(CCACHE),ON)
         CMAKE_CCACHE_OPTIONS=-DCMAKE_CXX_COMPILER_LAUNCHER=ccache