The latest library versions can cause problems when trying to build the
PURSS infrastructure.
1) GiNaC
GiNaC 1.3.7 works and is now on our FTP site.
ftp://ftp.cs.unipr.it/pub/infrastructure
GiNaC 1.3.6 apparently doesn't work due to a parsing problem.
GiNaC 1.4.x (the current series) should work but we need to modify
our configuration script in order to take into account
http://www.ginac.de/pipermail/ginac-devel/2007-March/001167.html
which dropped ginac-config for pkg-config.
Our configure script and test program should not locate/execute
ginac-config (which has been removed in 1.4.x) but
pkg-config --modversion ginac
(if you receive an error, just set PKG_CONFIG_PATH appropriately:
PKG_CONFIG_PATH=/usr/local/lib/pkgconfig/:$PKG_CONFIG_PATH
if GiNaC is in /usr/local/lib ).
Note: GiNaC is now dependent on pkg-config, but this shouldn't be
a major problem.
2) GIAC
GIAC 0.7.1 does not build without a patch we already happened to
have to apply. The patch, suggested by Roberto, is under this
message and a patched version og GIAC 0.7.1 is on our FTP site.
3) CGICC
CGICC 3.2.4 (the latest version) apparently has changed its
build scripts.
Since this is not a key component, we can continue using
CGICC 3.2.3, which is on our FTP site too.
Yours,
Andrea.
Patch for GIAC 0.7.1:
$ diff -c series.cc.~1~ series.cc
*** series.cc.~1~ 2007-09-18 13:29:28.000000000 +0200
--- series.cc 2007-09-28 20:48:35.000000000 +0200
***************
*** 1174,1180 ****
--- 1174,1182 ----
}
void inutile(sparse_poly1 & s){
+ #ifdef DEBUG_SUPPORT
s.dbgprint();
+ #endif
}
// ***********************
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: pescetti(a)cs.unipr.it 2008-01-24 00:41:17
Modified files:
tests : multivar_driver.cc
Log message:
We can now always restore the original arity after resolution of
the auxiliary recurrence.
Then we can apply initial conditions in a quite general fashion;
however, in the "constant difference" case, initial condition can't
always be replaced, since this would require a preliminary analysis
to prove well-definedness of initial conditions, as well as a smart
handling of the max() and min() operators.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/multivar_driver.cc.di…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: pescetti(a)cs.unipr.it 2008-01-22 11:23:09
Modified files:
tests : multivar_driver.cc
Log message:
New, more powerful method to insert initial conditions.
This is currently used in the "constant sum" case only.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/multivar_driver.cc.di…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: pescetti(a)cs.unipr.it 2008-01-21 23:16:48
Modified files:
tests : multivar_driver.cc
Log message:
An intermediate step towards a proper handling of initial
conditions: in the "constant sum" case, we can now (inefficiently)
recursively traverse subexpression and restore the original arity.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/multivar_driver.cc.di…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: pescetti(a)cs.unipr.it 2008-01-18 19:44:41
Modified files:
tests : simpl_tests
Log message:
Manipulation of expressions has slightly changed in newer libraries.
We are always correct, but in a couple of cases our result had
minor syntactic differences with respect to the expected result.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests.diff?cvsr…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: pescetti(a)cs.unipr.it 2008-01-18 19:19:23
Modified files:
infrastructure : depinst
Log message:
Specify newer version of dependencies (updated in FTP repository too).
Check that tarballs for compiling dependencies exist on disk.
Take advantage of pkgconfig.
We depend on readline too.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/depinst.diff…
