From a2c6763d802b2a4723d9d7b4867fe0d8b2a56db1 Mon Sep 17 00:00:00 2001
From: rudy <rudy.sicard@gmail.com>
Date: Thu, 22 Dec 2022 10:09:12 +0100
Subject: [PATCH] fix: make all builds rust-bindings

---
 compiler/Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/compiler/Makefile b/compiler/Makefile
index 052dd614b..40471d412 100644
--- a/compiler/Makefile
+++ b/compiler/Makefile
@@ -86,6 +86,10 @@ else
 endif
 
 all: concretecompiler python-bindings build-tests build-benchmarks build-mlbench doc
+ifeq ($(OS), linux)
+# rust-bindings only compiles on Linux
+all: rust-bindings
+endif
 
 # concrete-core-ffi #######################################