Hi, I downloaded Sage to build on a MacBook Pro running Ubuntu 12.04 LTS
64bit. A real partitioned OS, not a VM. Anyways, I used
http://www.cecm.sfu.ca/sage/src/index.html
and downloaded "sage-5.12.tar".
I made sure all my prerequisites (including dpkg-dev) were installed (via
apt-get) and then I just ran;
make
It finished with errors and I followed it back until it said;
Successfully installed ppl-1.1pre9.p0
But when it ran the test suite it failed a little later around
make cotree1
So I just played around by implementing,
cd '/home/sbh/SW/Sage/sage-5.12/spkg/build/ppl-1.1pre9.p0' &&
'/home/sbh/SW/Sage/sage-5.12/sage' --sh
and started from the "successful install of ppl....."
The complaint about the libstdc++.so.6 being the wrong version makes me
think that a LD_LIBRARY_PATH is pointing to this library, from a Matlab
install, before /usr/lib - actually my libstdc++.so is in
/usr/lib/x86_64-linux-gnu/ instead of /usr/lib/. So I checked these
libraries;
sbh@sbh-MacBookPro:/usr/local/MATLAB/MATLAB_Compiler_Runtime/v81/sys/os/glnxa64$
/sbin/ldconfig -p | grep stdc++
libstdc++.so.6 (libc6,x86-64) =>
/usr/lib/x86_64-linux-gnu/libstdc++.so.6
libstdc++.so.6 (libc6) => /usr/lib/i386-linux-gnu/libstdc++.so.6
libstdc++.so.6 (libc6) => /usr/lib32/libstdc++.so.6
libstdc++.so.6 (libc6) =>
/home/sbh/QtSDK/Madde/sysroots/harmattan_sysroot_10.2011.34-1_slim/usr/lib/libstdc++.so.6
libstdc++.so.5 (libc6) => /usr/lib/i386-linux-gnu/libstdc++.so.5
sbh@sbh-MacBookPro:/usr/local/MATLAB/MATLAB_Compiler_Runtime/v81/sys/os/glnxa64$
strings /usr/lib/libstdc++.so.6 | grep LIBCXX
strings: '/usr/lib/libstdc++.so.6': No such file
sbh@sbh-MacBookPro:/usr/local/MATLAB/MATLAB_Compiler_Runtime/v81/sys/os/glnxa64$
strings /usr/lib/x86_64-linux-gnu/libstdc++.so.6 | grep LIBCXX
GLIBCXX_3.4
GLIBCXX_3.4.1
GLIBCXX_3.4.2
GLIBCXX_3.4.3
GLIBCXX_3.4.4
GLIBCXX_3.4.5
GLIBCXX_3.4.6
GLIBCXX_3.4.7
GLIBCXX_3.4.8
GLIBCXX_3.4.9
GLIBCXX_3.4.10
GLIBCXX_3.4.11
GLIBCXX_3.4.12
GLIBCXX_3.4.13
GLIBCXX_3.4.14
GLIBCXX_3.4.15
GLIBCXX_3.4.16
GLIBCXX_DEBUG_MESSAGE_LENGTH
I tried copying some around, symbolic links, etc. Seems it is requesting an
older one than the one above, that I had copied to the matlab folder just
to see if it would work.
Anyway, long story short, I've attached the ppl log file, though I will say
that while I was in the subshell I did have a problem with one make process
complaining of no header file;
g++ cotree1.cc -o cotree1
cotree1.cc:24:23: fatal error: ppl_test.hh: No such file or directory
compilation terminated.
Anyways, I've built a lot of software (OpenFOAM, MPI, Tor, etc.) on this
machine successfully so I'm not really sure what is the problem, and was
hoping you could help me figure it out.
Thank you!
Brett
The core development team is very pleased to announce the availability
of PPL 1.1, a new release of the Parma Polyhedra Library.
This release includes support for "positive time elapse," a new operator
on polyhedra, improvements to the Java interface, several portability
improvements and a few bug fixes.
The precise list of user-visible changes is below.
For more information, please come and visit the new PPL web site at
http://bugseng.com/products/ppl
On behalf of all the past and present developers listed at
http://bugseng.com/products/ppl/credits and in the file CREDITS,
Roberto Bagnara Patricia M. Hill Enea Zaffanella Abramo Bagnara
BUGSENG srl
(http://bugseng.com)
--------------------------------------------------------------------------
NEWS for version 1.1 (released on October 28, 2013)
--------------------------------------------------------------------------
New and Changed Features
========================
o Added a new operator on polyhedra: the positive time elapse.
o In the Java language interface:
- The constraint/generator/... system classes now extend the ArrayList
generic container (rather than Vector);
- Variable objects are now built from a long (rather than int) value,
thereby matching the type used elsewhere for space dimensions;
- added new static method to Variable class
void setStringifier(Variable_Stringifier)
where Variable_Stringifier is an interface allowing for
customization of the output routine for variable's names
(see example in interfaces/Java/tests/Variable_Output_test1.java);
- added value NOT_EQUAL to enumeration Relation_Symbol.
Bugfixes
========
o Portability improved.
o Fixed a precision regression in Polyhedron method
void drop_some_non_integer_points(const Variables_Set&,
Complexity_Class);
o In the Java language interface, fixed a C++/Java conversion error
whereby the construction of a valid Variable object in JNI code
was leading to an exception being thrown. The bug has only been
observed on 32-bit builds.
o In the Java interface, fixed declaration of methods
void drop_some_non_integer_points(...);
so as to accept a Complexity_Class enum value.
o Fixed an issue in method MIP_Problem::OK() whereby the method
was trying to enforce a non-invariant condition.
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara@cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto.bagnara@bugseng.com