optional coin spkg

28 views
Skip to first unread message

William Stein

unread,
May 2, 2013, 4:03:11 PM5/2/13
to sage-devel, Nathann Cohen
Hi,

I installed the optional coin spkg, and suddenly I can no longer do
"sage -br". It fails with this:



Installing c_lib
scons: `install' is up to date.
Updating Cython code....
Compiling sage/numerical/backends/coin_backend.pyx because it changed.
Compiling sage/sat/solvers/cryptominisat/cryptominisat.pyx because it
changed.
Compiling sage/sat/solvers/cryptominisat/solverconf.pyx because it
changed.
Cythonizing sage/numerical/backends/coin_backend.pyx

Error compiling Cython file:
------------------------------------------------------------
...
if self.prob_name != None:
return self.prob_name
else:
return ""
else:
self.prob_name = name
^
------------------------------------------------------------

sage/numerical/backends/coin_backend.pyx:1090:33: default encoding
required for conversion from 'char *'
to 'str object'
Cythonizing sage/sat/solvers/cryptominisat/cryptominisat.pyx
Traceback (most recent call last):
File "setup.py", line 531, in <module>
force=force)
File "/usr/local/sage/sage-5.9/local/lib/python2.7/site-packages/Cython/Build/Dependencies.py",
line 70
7, in cythonize
pool.map(cythonize_one_helper, to_compile)
File "/usr/local/sage/sage-5.9/local/lib/python/multiprocessing/pool.py",
line 227, in map
return self.map_async(func, iterable, chunksize).get()
File "/usr/local/sage/sage-5.9/local/lib/python/multiprocessing/pool.py",
line 528, i

--
William Stein
Professor of Mathematics
University of Washington
http://wstein.org

Nathann Cohen

unread,
May 2, 2013, 4:30:17 PM5/2/13
to sage-devel
Hello !

> I installed the optional coin spkg, and suddenly I can no longer do
> "sage -br". It fails with this:

Hmmm... If it does, then it is almost sure that you found a bug in Sage !

Nathann

Nathann Cohen

unread,
May 3, 2013, 4:08:47 AM5/3/13
to William Stein, sage-devel
Reply all
Reply to author
Forward
0 new messages