Polybori needs to be built. In Fedora 16, essentially, this is
required to build
with current cudd-devel
polybori-0.8.1/libpolybori/include/polybori/ring/CCuddInterface.h
--- polybori-0.8.1/libpolybori/include/polybori/ring/CCuddInterface.h.orig
2012-04-24 23:17:47.328677842 -0300
+++ polybori-0.8.1/libpolybori/include/polybori/ring/CCuddInterface.h
2012-04-24 23:17:53.406678079 -0300
@@ -54,8 +54,6 @@ inline const char* error_text(PBORI_PREF
return("Invalid argument.");
case CUDD_INTERNAL_ERROR:
return("Internal error.");
- case CUDD_TIMEOUT_EXPIRED:
- return("Timed out.");
case CUDD_NO_ERROR:
return("No error. (Should not reach here!)");
}
too bad cudd.h version identifier is only a string
#define CUDD_VERSION "2.4.2"
so, probably need to write a check in
polybori-0.8.1/SConstruct
It is also required a patch similar to this one to be able to build
sagemath with it:
http://svn.mandriva.com/viewvc/packages/cooker/polybori/current/SPECS/pol...
[...]
I am still too noob with fedora, so, I could not finish the build,
because, while I know
how to git clone a fedora package, do not know how to fetch sources.
For example,
I see easily how to clone
http://pkgs.fedoraproject.org/gitweb/?p=polybori.git
but failed to finish build (did download upstream tarball) due to missing
+ tar xJf /home/pcpa/rpmbuild/SOURCES/polybori-logos.tar.xz -C
/home/pcpa/rpmbuild/BUILDROOT/polybori-0.8.1-2.fc16.x86_64/usr/share/icons/hicolor
tar (child): /home/pcpa/rpmbuild/SOURCES/polybori-logos.tar.xz: Cannot
open: No such file or directory
tar (child): Error is not recoverable: exiting now
and my guess to what to do failed also :-) Need to read more wiki
pages and check
fedpkg options for a readonly checkout, and if it can also be used to
fetch sources.
$ fedpkg clone polybori
Cloning into 'polybori'...
The authenticity of host 'pkgs.fedoraproject.org (209.132.181.4)'
can't be established.
RSA key fingerprint is fe:2e:6a:86:f3:41:e7:03:95:ea:9c:7f:75:9c:ce:9d.
Are you sure you want to continue connecting (yes/no)? yes
Warning: Permanently added 'pkgs.fedoraproject.org,209.132.181.4'
(RSA) to the list of known hosts.
Permission denied (publickey).
fatal: The remote end hung up unexpectedly
Could not execute clone: Command '['git', 'clone',
'ssh://pcpa@pkgs.fedoraproject.org/polybori']' returned non-zero exit
status 128
but as stated above, it would still fail to build sagemath anyway:
Traceback (most recent call last):
File "./setup.py", line 18, in <module>
from module_list import ext_modules
File "/home/pcpa/rpmbuild/BUILD/sage-4.8/spkg/build/sage-4.8/module_list.py",
line 80, in <module>
for line in open(SAGE_LOCAL + "/share/polybori/flags.conf"):
IOError: [Errno 2] No such file or directory:
'/home/pcpa/rpmbuild/BUILDROOT/sagemath-4.8-0.1.x86_64/usr/share/sagemath/local/share/polybori/flags.conf'
[...]
Just so that it should be easy to reproduce what I did tonight in a
quick check of "how deep the water is", and initial adaptation of my
Mandriva sagemath spec, I will attach the spec and patches.
So far, mpir is not packaged in Mandriva, and besides sagemath, I also patched
Macaulay2 to not hardcode mpir dependency also, and use gmp5.
The patch to use unpatched ntl should have a nasty side effect in the notebook
because it will miss the error message, if in the terminal, it will
print the error message
to stderr anyway before calling abort. But really, it should have been sagemath
to convince upstream NTL for the need of a more complete api.
Thanks,
Paulo