From 12f5120ab5476c20aa3bb1205a0c32981bf4a873 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