1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
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(
|
