diff --git a/frontends/concrete-python/Makefile b/frontends/concrete-python/Makefile index a9e3b00197..b66c80d102 100644 --- 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