Author: Andreas Tille <tille@debian.org>
Last-Update: Wed, 28 Nov 2018 16:59:12 +0100
Description: use Debian packaged picosat

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