fix(frontend-python): Makefile, default value for COMPILER_BUILD_DIRE…

…CTORY
zama-ai · Sep 20, 2023 · 9bc186c · 9bc186c
1 parent e6f5eab
commit 9bc186c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/frontends/concrete-python/Makefile b/frontends/concrete-python/Makefile
@@ -1,6 +1,7 @@
 PYTHON=python
 PIP=$(PYTHON) -m pip
 
+COMPILER_BUILD_DIRECTORY ?= $(PWD)/../../compilers/concrete-compiler/compiler/build
 BINDINGS_DIRECTORY=${COMPILER_BUILD_DIRECTORY}/tools/concretelang/python_packages/concretelang_core/
 RUNTIME_LIBRARY=${COMPILER_BUILD_DIRECTORY}/lib/libConcretelangRuntime.so