From 9f5dc0ea1151dac4571049b793ca322b8dadd205 Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Sat, 20 Jul 2024 00:47:24 +0200
Subject: [PATCH] Trying tp fix dependency issue

---
 setup.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/setup.py b/setup.py
index 55ee4bc96..629aa3edf 100644
--- a/setup.py
+++ b/setup.py
@@ -108,6 +108,7 @@ def gen_modules(version):
         depends = [
             "python/cadiback/cadiback.h",
         ],
+        libraries = ['/usr/lib/libcadiback.so'], #, 'libgmpxx.so', 'libgmp.so'
         extra_compile_args = extra_compile_args_val,
         define_macros=define_macros_val,
         language = "c++",
@@ -118,6 +119,7 @@ def gen_modules(version):
     pyproject_path = pathlib.Path('pyproject.toml')
     version = _parse_toml(pyproject_path)
     modules = gen_modules(version)
+    # package_data = {'pycryptosat': ['*.so', '*.dll', '*.dylib']}
     setup(
         ext_modules =  [modules],
         libraries = [picosatlib],