mcrl2 version 201007~rc1-1 failed to build on amd64 with GCC-4.6/oneiric

[Matthias Klose]

mcrl2 version 201007~rc1-1 failed to build on amd64 with GCC-4.6/oneiric
Link to failed build: https://launchpad.net/ubuntu/+archive/test-rebuild-20110413/+buildjob/2461834

Details about the rebuild:
https://lists.ubuntu.com/archives/ubuntu-devel/2011-April/033042.html

Direct link to the build log: https://launchpad.net/ubuntu/+archive/test-rebuild-20110413/+buildjob/2461834/+files/buildlog_ubuntu-natty-amd64.mcrl2_201007%7Erc1-1_FAILEDTOBUILD.txt.gz

This log snippet might be of interest, since it triggered the matcher 'Purging chroot-autobuild'.
Excerpt 1616 lines into the build log:

make[3]: *** [tools/lysa2mcrl2/lysa2mcrl2] Error 1
make[3]: Leaving directory `/build/buildd/mcrl2-201007~rc1/debian/build'
make[2]: *** [tools/lysa2mcrl2/CMakeFiles/lysa2mcrl2.dir/all] Error 2
make[2]: *** Waiting for unfinished jobs....
Linking CXX executable pbes2bool
cd "/build/buildd/mcrl2-201007~rc1/debian/build/tools/pbes2bool" && /usr/bin/cmake -E cmake_link_script CMakeFiles/pbes2bool.dir/link.txt --verbose=1
/usr/bin/c++ -g -O2 -pthread -O3 -DNDEBUG -Wl,-Bsymbolic-functions CMakeFiles/pbes2bool.dir/pbes2bool.cpp.o -o pbes2bool -rdynamic ../../libraries/data/libmcrl2_data.so ../../libraries/utilities/libmcrl2_utilities_command_line.so ../../libraries/utilities/libmcrl2_utilities_squadt.so -ldl ../../libraries/core/libmcrl2_core.so ../../3rd-party/aterm/libaterm.so ../squadt/libraries/tipi/libsquadt_tipi.so -lboost_system-mt -lboost_signals-mt -lboost_filesystem-mt -lboost_thread-mt ../../3rd-party/ticpp/libticpp.so -Wl,-rpath,"/build/buildd/mcrl2-201007~rc1/debian/build/libraries/data:/build/buildd/mcrl2-201007~rc1/debian/build/libraries/utilities:/build/buildd/mcrl2-201007~rc1/debian/build/libraries/core:/build/buildd/mcrl2-201007~rc1/debian/build/3rd-party/aterm:/build/buildd/mcrl2-201007~rc1/debian/build/tools/squadt/libraries/tipi:/build/buildd/mcrl2-201007~rc1/debian/build/3rd-party/ticpp:"
make[3]: Leaving directory `/build/buildd/mcrl2-201007~rc1/debian/build'
/usr/bin/cmake -E cmake_progress_report "/build/buildd/mcrl2-201007~rc1/debian/build/CMakeFiles"
[ 47%] Built target pbes2bool
make[2]: Leaving directory `/build/buildd/mcrl2-201007~rc1/debian/build'
make[1]: *** [all] Error 2
make[1]: Leaving directory `/build/buildd/mcrl2-201007~rc1/debian/build'
make: *** [build-stamp] Error 2
dpkg-buildpackage: error: debian/rules build gave error exit status 2
******************************************************************************
Build finished at 20110424-1513
FAILED [dpkg-buildpackage died]
Purging chroot-autobuild/build/buildd/mcrl2-201007~rc1

[Julian Taylor (jtaylor)]

patch available in debian bug

[Julian Taylor (jtaylor)]

this was fixed in mcrl2_201107-1