From 9bc186c6d59d2f98752e0f9165af20c20fca7634 Mon Sep 17 00:00:00 2001 From: rudy Date: Wed, 20 Sep 2023 13:28:32 +0200 Subject: [PATCH] fix(frontend-python): Makefile, default value for COMPILER_BUILD_DIRECTORY --- frontends/concrete-python/Makefile | 1 + 1 file changed, 1 insertion(+) 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