Re: [PPL-devel] Parma Polyhedra Library 0.10.1
Peter O'Gorman wrote:
Jack Howarth wrote:
However if you look in ppl-0.10.1/src/Makefile.am, you will find...
# PPL release -version-info # 0.1 ----- # 0.2 ----- # 0.3 0:0:0 # 0.4 1:0:1 # 0.5 2:0:0 # 0.6 3:0:0 # 0.7 4:0:0 # 0.8 5:0:0 # 0.9 6:0:0 # 0.10 7:0:0 # 0.10.1 8:0:1
So either Roberto meant to bump the soversion and forgot or changed his mind and didn't revert all of the soversion changes out before release.
I assume that there was some added API that caused the CURRENT version number to increase. Since the soname did not change (AGE was also bumped), anything that was built against version 0.10 will continue to work with 0.10.1 without being rebuilt.
Yes, this is what happened.
[...]
http://www.gnu.org/software/libtool/manual/libtool.html#Updating-version-inf...
This is the algorithm we followed. However, I realize now that we forgot to update the C interface using the same algorithm. So in interfaces/C/Makefile.am we have
... # 0.10 2:0:0
LIBPPL_C_LT_CURRENT = 2 LIBPPL_C_LT_REVISION = 0 LIBPPL_C_LT_AGE = 0
whereas we should have
... # 0.10 2:0:0 # 0.10.1 3:0:1
LIBPPL_C_LT_CURRENT = 3 LIBPPL_C_LT_REVISION = 0 LIBPPL_C_LT_AGE = 1
Last but not least, GMP 4.3.0 was released a few hours after PPL 0.10.1 with a change that is not backward compatible and that affects the PPL. Summing up, I think the only solution is to release PPL 0.10.2 during the weekend. All the best,
Roberto
On Wed, Apr 15, 2009 at 5:28 PM, Roberto Bagnara bagnara@cs.unipr.it wrote:
Peter O'Gorman wrote:
Jack Howarth wrote:
However if you look in ppl-0.10.1/src/Makefile.am, you will find...
# PPL release -version-info # 0.1 ----- # 0.2 ----- # 0.3 0:0:0 # 0.4 1:0:1 # 0.5 2:0:0 # 0.6 3:0:0 # 0.7 4:0:0 # 0.8 5:0:0 # 0.9 6:0:0 # 0.10 7:0:0 # 0.10.1 8:0:1
So either Roberto meant to bump the soversion and forgot or changed his mind and didn't revert all of the soversion changes out before release.
I assume that there was some added API that caused the CURRENT version number to increase. Since the soname did not change (AGE was also bumped), anything that was built against version 0.10 will continue to work with 0.10.1 without being rebuilt.
Yes, this is what happened.
[...]
http://www.gnu.org/software/libtool/manual/libtool.html#Updating-version-inf...
This is the algorithm we followed. However, I realize now that we forgot to update the C interface using the same algorithm. So in interfaces/C/Makefile.am we have
... # 0.10 2:0:0
LIBPPL_C_LT_CURRENT = 2 LIBPPL_C_LT_REVISION = 0 LIBPPL_C_LT_AGE = 0
whereas we should have
... # 0.10 2:0:0 # 0.10.1 3:0:1
LIBPPL_C_LT_CURRENT = 3 LIBPPL_C_LT_REVISION = 0 LIBPPL_C_LT_AGE = 1
Last but not least, GMP 4.3.0 was released a few hours after PPL 0.10.1 with a change that is not backward compatible and that affects the PPL. Summing up, I think the only solution is to release PPL 0.10.2 during the weekend.
You mean the inability to verify the version requirement?
hecking for the GMP library version 4.1.3 or above... no configure: error: Cannot find GMP version 4.1.3 or higher. GMP is the GNU Multi-Precision library: see http://www.swox.com/gmp/ for more information. When compiling the GMP library, do not forget to enable the C++ interface: add --enable-cxx to the configuration options.
which is what I get after updating to GMP 4.3.0.
Richard.
Richard Guenther wrote:
On Wed, Apr 15, 2009 at 5:28 PM, Roberto Bagnara bagnara@cs.unipr.it wrote:
Last but not least, GMP 4.3.0 was released a few hours after PPL 0.10.1 with a change that is not backward compatible and that affects the PPL. Summing up, I think the only solution is to release PPL 0.10.2 during the weekend.
You mean the inability to verify the version requirement?
hecking for the GMP library version 4.1.3 or above... no configure: error: Cannot find GMP version 4.1.3 or higher. GMP is the GNU Multi-Precision library: see http://www.swox.com/gmp/ for more information. When compiling the GMP library, do not forget to enable the C++ interface: add --enable-cxx to the configuration options.
which is what I get after updating to GMP 4.3.0.
Precisely. This is due to the fact that, starting from GMP version 4.3.0 the `gmp_version' variable always contains three parts (major, minor, patchlevel). In previous versions the patchlevel was omitted if it was 0. This change broke our GMP detection procedure.
All the problems of PPL 0.10.1 we are aware of have been fixed in the snapshot of PPL 0.10.2 available at
ftp://ftp.cs.unipr.it/pub/ppl/snapshots/
In particular here is what has changed:
- Correctly detect GMP 4.3.0.
- Fixed the C interface library version information.
- Test program tests/Polyhedron/memory1 disabled on the zSeries s390x platform.
- Makefiles fixed so as to avoid failure of `make -n check'.
If no further issues are reported, that snapshot will be relabeled PPL 0.10.2 and released on Saturday, April 18, 2009. Thanks to all who provided feedback. All the best,
Roberto
On Thu, Apr 16, 2009 at 2:08 PM, Roberto Bagnara bagnara@cs.unipr.it wrote:
All the problems of PPL 0.10.1 we are aware of have been fixed in the snapshot of PPL 0.10.2 available at
ftp://ftp.cs.unipr.it/pub/ppl/snapshots/
In particular here is what has changed:
Correctly detect GMP 4.3.0.
Fixed the C interface library version information.
Test program tests/Polyhedron/memory1 disabled on the zSeries s390x
platform.
Huh. It looks like the test only randomly fails. Thus I didn't notice that the preprocessor define is __s390x__ instead of __s390x.
Otherwise it works all fine now.
Thanks, Richard.
On Thu, Apr 16, 2009 at 02:08:32PM +0200, Roberto Bagnara wrote:
All the problems of PPL 0.10.1 we are aware of have been fixed in the snapshot of PPL 0.10.2 available at
ftp://ftp.cs.unipr.it/pub/ppl/snapshots/In particular here is what has changed:
Correctly detect GMP 4.3.0.
Fixed the C interface library version information.
Test program tests/Polyhedron/memory1 disabled on the zSeries s390x platform.
Makefiles fixed so as to avoid failure of `make -n check'.
If no further issues are reported, that snapshot will be relabeled PPL 0.10.2 and released on Saturday, April 18, 2009. Thanks to all who provided feedback. All the best,
Roberto-- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
The 0.10.2pre1 snapshot builds fine and passes the testsuite on x86_64-apple-darwin10. FYI. Jack
On Thu, 16 Apr 2009 14:08:32 +0200 Roberto Bagnara bagnara@cs.unipr.it wrote:
All the problems of PPL 0.10.1 we are aware of have been fixed in the snapshot of PPL 0.10.2 available at
ftp://ftp.cs.unipr.it/pub/ppl/snapshots/In particular here is what has changed:
Correctly detect GMP 4.3.0.
Fixed the C interface library version information.
Test program tests/Polyhedron/memory1 disabled on the zSeries s390x platform.
Makefiles fixed so as to avoid failure of `make -n check'.
If no further issues are reported, that snapshot will be relabeled PPL 0.10.2 and released on Saturday, April 18, 2009. Thanks to all who provided feedback. All the best,
Everything is working here as well. Thanks for your quick response.
participants (4)
-
Jack Howarth -
Richard Guenther -
Roberto Bagnara -
Ryan Hill