From 2d697b9b03b665eed03caa1d588a5ca36b213347 Mon Sep 17 00:00:00 2001 From: Nicola Ruaro Date: Thu, 28 Sep 2023 12:15:10 -0700 Subject: [PATCH] fix build --- setup.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/setup.sh b/setup.sh index db8ee58..c71cbbe 100755 --- a/setup.sh +++ b/setup.sh @@ -66,7 +66,7 @@ fi # We need libyices.so at build time, but pip will happily use an isolated build env unless we specify otherwise # (and take care of installing build dependencies) -pip install setuptools # build dependencies +pip install setuptools wheel # build dependencies pip install -e yices2_python_bindings --no-build-isolation yices_python_info