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

Bug #771014 reported by Matthias Klose on 2011-04-26
This bug affects 1 person
Affects Status Importance Assigned to Milestone
mcrl2 (Debian)
Fix Released
mcrl2 (Ubuntu)

Bug Description

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

Details about the rebuild:

Direct link to the build log:

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/ ../../libraries/utilities/ ../../libraries/utilities/ -ldl ../../libraries/core/ ../../3rd-party/aterm/ ../squadt/libraries/tipi/ -lboost_system-mt -lboost_signals-mt -lboost_filesystem-mt -lboost_thread-mt ../../3rd-party/ticpp/ -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

Matthias Klose (doko) on 2011-04-26
Changed in mcrl2 (Ubuntu):
importance: Undecided → High
Changed in mcrl2 (Ubuntu):
milestone: none → oneiric-alpha-3
Changed in mcrl2 (Ubuntu Oneiric):
milestone: oneiric-alpha-3 → none
status: New → Confirmed
tags: added: universe
Julian Taylor (jtaylor) wrote :

patch available in debian bug

tags: added: patch-forwarded-debian
Changed in mcrl2 (Ubuntu Oneiric):
status: Confirmed → Triaged
Julian Taylor (jtaylor) wrote :

this was fixed in mcrl2_201107-1

Changed in mcrl2 (Ubuntu Oneiric):
status: Triaged → Fix Released
Changed in mcrl2 (Debian):
status: Unknown → Fix Released
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.