Author: Andreas Tille <tille@debian.org>
Last-Update: 30 Nov 2023
Forwarded: not-needed
Description: use Debian packaged picosat

--- a/setup.py
+++ b/setup.py
@@ -11,10 +11,9 @@
 
 ext_kwds = dict(name="pycosat", sources=["pycosat.c"], define_macros=[])
 
-if "--inplace" in sys.argv:
-    ext_kwds["define_macros"].append(("DONT_INCLUDE_PICOSAT", 1))
-    ext_kwds["library_dirs"] = ["."]
-    ext_kwds["libraries"] = ["picosat"]
+ext_kwds['define_macros'].append(('DONT_INCLUDE_PICOSAT', 1))
+ext_kwds['include_dirs'] = ['/usr/include/picosat']
+ext_kwds['libraries'] = ['picosat']
 
 
 setup(