zyppe/sagemath
1
0
Fork 0
mirror of https://src.fedoraproject.org/rpms/sagemath.git synced 2025-04-23 04:05:55 -04:00
Code Issues Projects Releases Packages Wiki Activity

Update to sagemath 5.9

Browse source
This commit is contained in:
pcpa 2013-05-09 11:45:42 -03:00
parent eac7c8fec1
commit fbc0e8d055
33 changed files with 597 additions and 578 deletions
Download patch file Download diff file Expand all files Collapse all files

19
sagemath-cryptominisat.patch
View file

@ -1,7 +1,7 @@
diff -up sage-5.8/spkg/build/sage-5.8/module_list.py.orig sage-5.8/spkg/build/sage-5.8/module_list.py
--- sage-5.8/spkg/build/sage-5.8/module_list.py.orig 2013-03-20 12:35:59.851109864 -0300
+++ sage-5.8/spkg/build/sage-5.8/module_list.py 2013-03-20 12:36:15.993110482 -0300
@@ -2039,16 +2039,16 @@ if is_package_installed('cbc'):
diff -up sage-5.9/spkg/build/sage-5.9/module_list.py.orig sage-5.9/spkg/build/sage-5.9/module_list.py
--- sage-5.9/spkg/build/sage-5.9/module_list.py.orig 2013-05-06 16:47:00.734155214 -0300
+++ sage-5.9/spkg/build/sage-5.9/module_list.py 2013-05-06 16:47:19.820155945 -0300
@@ -2031,7 +2031,7 @@ if is_package_installed('cbc'):
)
@ -10,14 +10,3 @@ diff -up sage-5.8/spkg/build/sage-5.8/module_list.py.orig sage-5.8/spkg/build/sa
ext_modules.extend([
Extension("sage.sat.solvers.cryptominisat.cryptominisat",
["sage/sat/solvers/cryptominisat/cryptominisat.pyx"],
- include_dirs = [SAGE_INC, SAGE_INC+"/cmsat"],
+ include_dirs = [SAGE_INC, SAGE_INC+"cmsat"],
language = "c++",
libraries = ['cryptominisat', 'z']),
Extension("sage.sat.solvers.cryptominisat.solverconf",
["sage/sat/solvers/cryptominisat/solverconf.pyx", "sage/sat/solvers/cryptominisat/solverconf_helper.cpp"],
- include_dirs = [SAGE_INC, SAGE_INC+"/cmsat"],
+ include_dirs = [SAGE_INC, SAGE_INC+"cmsat"],
language = "c++",
libraries = ['cryptominisat', 'z'])
])