Your message dated Tue, 11 Oct 2011 17:48:11 +0000
with message-id <[email protected]>
and subject line Bug#555879: fixed in otter 3.3f-1.1
has caused the Debian Bug report #555879,
regarding FTBFS with binutils-gold
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
555879: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=555879
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: otter
Version: 3.3f-1
Severity: minor
User: [email protected]
Usertags: no-add-needed
Tried to build your package and it fails to build with GNU binutils-gold. The
important difference is that --no-add-needed is the default behavior of of GNU
binutils-gold. Please provide all needed libraries to the linker when building
your executables.
More informations can be found at
http://wiki.debian.org/qa.debian.org/FTBFS#A2009-11-02Packagesfailingbecausebinutils-gold.2BAC8-indirectlinking
cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 formed.o display.o
callback.o \
../libotter.a -L/usr/X11R6/lib -lXaw -o formed
/usr/bin/ld: formed.o: in function draw_inverted_operators:formed.c:1084:
error: undefined reference to 'XCopyArea'
/usr/bin/ld: formed.o: in function draw_inverted_operators:formed.c:1088:
error: undefined reference to 'XCopyArea'
/usr/bin/ld: formed.o: in function draw_inverted_operators:formed.c:1096:
error: undefined reference to 'XCopyArea'
/usr/bin/ld: formed.o: in function draw_inverted_operators:formed.c:1092:
error: undefined reference to 'XCopyArea'
/usr/bin/ld: formed.o: in function draw_formula_box:formed.c:1047: error:
undefined reference to 'XDrawRectangle'
/usr/bin/ld: formed.o: in function draw_formula_box:formed.c:1040: error:
undefined reference to 'XDrawImageString'
/usr/bin/ld: formed.o: in function arrange_box_atom:formed.c:694: error:
undefined reference to 'XTextWidth'
/usr/bin/ld: formed.o: in function arrange_box_term:formed.c:606: error:
undefined reference to 'XTextWidth'
/usr/bin/ld: formed.o: in function arrange_box:formed.c:720: error: undefined
reference to 'XTextWidth'
/usr/bin/ld: formed.o: in function display_formula:formed.c:469: error:
undefined reference to 'XClearWindow'
/usr/bin/ld: formed.o: in function draw_formula_box_inverted:formed.c:430:
error: undefined reference to 'XFillRectangle'
/usr/bin/ld: formed.o: in function draw_formula_box_inverted:formed.c:432:
error: undefined reference to 'XSetForeground'
/usr/bin/ld: formed.o: in function draw_formula_box_inverted:formed.c:433:
error: undefined reference to 'XSetBackground'
/usr/bin/ld: formed.o: in function draw_formula_box_inverted:formed.c:437:
error: undefined reference to 'XSetForeground'
/usr/bin/ld: formed.o: in function draw_formula_box_inverted:formed.c:438:
error: undefined reference to 'XSetBackground'
/usr/bin/ld: formed.o: in function select_area:formed.c:393: error: undefined
reference to 'XSetForeground'
/usr/bin/ld: formed.o: in function select_area:formed.c:394: error: undefined
reference to 'XFillRectangle'
/usr/bin/ld: formed.o: in function select_area:formed.c:396: error: undefined
reference to 'XSetForeground'
/usr/bin/ld: formed.o: in function main:formed.c:54: error: undefined reference
to 'XtAppMainLoop'
/usr/bin/ld: display.o: in function accum_size:display.c:842: error: undefined
reference to 'XtStrings'
/usr/bin/ld: display.o: in function accum_size:display.c:843: error: undefined
reference to 'XtStrings'
/usr/bin/ld: display.o: in function accum_size:display.c:844: error: undefined
reference to 'XtGetValues'
/usr/bin/ld: display.o: in function kill_message:display.c:819: error:
undefined reference to 'XtDestroyWidget'
/usr/bin/ld: display.o: in function user_error:display.c:736: error: undefined
reference to 'XtStrings'
/usr/bin/ld: display.o: in function user_error:display.c:737: error: undefined
reference to 'XtStrings'
/usr/bin/ld: display.o: in function user_error:display.c:738: error: undefined
reference to 'XtGetValues'
/usr/bin/ld: display.o: in function user_error:display.c:739: error: undefined
reference to 'XtTranslateCoords'
/usr/bin/ld: display.o: in function user_error:display.c:746: error: undefined
reference to 'transientShellWidgetClass'
/usr/bin/ld: display.o: in function user_error:display.c:746: error: undefined
reference to 'XtCreatePopupShell'
/usr/bin/ld: display.o: in function user_error:display.c:751: error: undefined
reference to 'XtCreateManagedWidget'
/usr/bin/ld: display.o: in function user_error:display.c:759: error: undefined
reference to 'XtCreateManagedWidget'
/usr/bin/ld: display.o: in function user_error:display.c:770: error: undefined
reference to 'XtCreateManagedWidget'
/usr/bin/ld: display.o: in function user_error:display.c:775: error: undefined
reference to 'XtPopup'
/usr/bin/ld: display.o: in function convert_color:display.c:702: error:
undefined reference to 'XAllocNamedColor'
/usr/bin/ld: display.o: in function setup_operator_pixmaps:display.c:644:
error: undefined reference to 'XCreatePixmapFromBitmapData'
/usr/bin/ld: display.o: in function setup_operator_pixmaps:display.c:647:
error: undefined reference to 'XCreatePixmapFromBitmapData'
/usr/bin/ld: display.o: in function setup_operator_pixmaps:display.c:650:
error: undefined reference to 'XCreatePixmapFromBitmapData'
/usr/bin/ld: display.o: in function setup_operator_pixmaps:display.c:653:
error: undefined reference to 'XCreatePixmapFromBitmapData'
/usr/bin/ld: display.o: in function setup_font:display.c:792: error: undefined
reference to 'XLoadFont'
/usr/bin/ld: display.o: in function setup_font:display.c:795: error: undefined
reference to 'XQueryFont'
/usr/bin/ld: display.o: in function setup_font:display.c:803: error: undefined
reference to 'XSetFont'
/usr/bin/ld: display.o: in function setup_display:display.c:60: error:
undefined reference to 'XtAppInitialize'
/usr/bin/ld: display.o: in function setup_display:display.c:64: error:
undefined reference to 'XtDisplay'
/usr/bin/ld: display.o: in function setup_display:display.c:89: error:
undefined reference to 'XtCreateManagedWidget'
/usr/bin/ld: display.o: in function setup_display:display.c:94: error:
undefined reference to 'XLoadQueryFont'
/usr/bin/ld: display.o: in function setup_display:display.c:121: error:
undefined reference to 'XtMalloc'
/usr/bin/ld: display.o: in function setup_display:display.c:128: error:
undefined reference to 'XLoadQueryFont'
/usr/bin/ld: display.o: in function setup_display:display.c:131: error:
undefined reference to 'XtCreateWidget'
/usr/bin/ld: display.o: in function setup_display:display.c:133: error:
undefined reference to 'XtAddCallback'
/usr/bin/ld: display.o: in function setup_display:display.c:140: error:
undefined reference to 'XLoadQueryFont'
/usr/bin/ld: display.o: in function setup_display:display.c:143: error:
undefined reference to 'XtCreateWidget'
/usr/bin/ld: display.o: in function setup_display:display.c:145: error:
undefined reference to 'XtAddCallback'
/usr/bin/ld: display.o: in function setup_display:display.c:152: error:
undefined reference to 'XLoadQueryFont'
/usr/bin/ld: display.o: in function setup_display:display.c:155: error:
undefined reference to 'XtCreateWidget'
/usr/bin/ld: display.o: in function setup_display:display.c:157: error:
undefined reference to 'XtAddCallback'
/usr/bin/ld: display.o: in function setup_display:display.c:168: error:
undefined reference to 'XtCreateWidget'
/usr/bin/ld: display.o: in function setup_display:display.c:170: error:
undefined reference to 'XtAddCallback'
/usr/bin/ld: display.o: in function setup_display:display.c:247: error:
undefined reference to 'XtMalloc'
/usr/bin/ld: display.o: in function setup_display:display.c:545: error:
undefined reference to 'compositeWidgetClass'
/usr/bin/ld: display.o: in function setup_display:display.c:547: error:
undefined reference to 'XtRealizeWidget'
/usr/bin/ld: display.o: in function setup_display:display.c:551: error:
undefined reference to 'XtWindow'
/usr/bin/ld: display.o: in function setup_display:display.c:554: error:
undefined reference to 'XCreateGC'
/usr/bin/ld: display.o: in function setup_display:display.c:556: error:
undefined reference to 'XSetBackground'
/usr/bin/ld: display.o: in function setup_display:display.c:572: error:
undefined reference to 'XChangeWindowAttributes'
/usr/bin/ld: display.o: in function setup_display:display.c:576: error:
undefined reference to 'XtAddEventHandler'
/usr/bin/ld: callback.o: in function create_menu_popup:callback.c:2135: error:
undefined reference to 'XtGetValues'
/usr/bin/ld: callback.o: in function create_menu_popup:callback.c:2136: error:
undefined reference to 'XtTranslateCoords'
/usr/bin/ld: callback.o: in function create_menu_popup:callback.c:2143: error:
undefined reference to 'transientShellWidgetClass'
/usr/bin/ld: callback.o: in function create_menu_popup:callback.c:2143: error:
undefined reference to 'XtCreatePopupShell'
/usr/bin/ld: callback.o: in function create_edit_popup:callback.c:2169: error:
undefined reference to 'XtGetValues'
/usr/bin/ld: callback.o: in function create_edit_popup:callback.c:2170: error:
undefined reference to 'XtTranslateCoords'
/usr/bin/ld: callback.o: in function create_edit_popup:callback.c:2176: error:
undefined reference to 'transientShellWidgetClass'
/usr/bin/ld: callback.o: in function create_edit_popup:callback.c:2176: error:
undefined reference to 'XtCreatePopupShell'
/usr/bin/ld: callback.o: in function create_edit_popup:callback.c:2226: error:
undefined reference to 'XtPopup'
/usr/bin/ld: callback.o: in function font_menu_callback:callback.c:2111: error:
undefined reference to 'XtPopup'
/usr/bin/ld: callback.o: in function load_callback:callback.c:614: error:
undefined reference to 'XtPopup'
/usr/bin/ld: callback.o: in function destroy_popup:callback.c:547: error:
undefined reference to 'XtDestroyWidget'
/usr/bin/ld: callback.o: in function clear_text_callback:callback.c:1602:
error: undefined reference to 'XtSetValues'
/usr/bin/ld: callback.o: in function return_help_menu:callback.c:473: error:
undefined reference to 'XtSetValues'
/usr/bin/ld: callback.o: in function return_help_menu:callback.c:476: error:
undefined reference to 'XtSetValues'
/usr/bin/ld: callback.o: in function return_help_menu:callback.c:479: error:
undefined reference to 'XtSetValues'
/usr/bin/ld: callback.o: in function return_help_menu:callback.c:491: error:
undefined reference to 'XtDestroyWidget'
/usr/bin/ld: callback.o: in function insert_formula_callback:callback.c:1917:
error: undefined reference to 'XtDestroyWidget'
/usr/bin/ld: callback.o: in function delete_formula_callback:callback.c:1967:
error: undefined reference to 'XClearWindow'
/usr/bin/ld: callback.o: in function help_info_callback:callback.c:370: error:
undefined reference to 'XtTranslateCoords'
/usr/bin/ld: callback.o: in function help_info_callback:callback.c:376: error:
undefined reference to 'transientShellWidgetClass'
/usr/bin/ld: callback.o: in function help_info_callback:callback.c:376: error:
undefined reference to 'XtCreatePopupShell'
/usr/bin/ld: callback.o: in function logic_menu_callback:callback.c:74: error:
undefined reference to 'XtUnmanageChild'
/usr/bin/ld: callback.o: in function logic_menu_callback:callback.c:86: error:
undefined reference to 'XtManageChildren'
/usr/bin/ld: callback.o: in function logic_menu_callback:callback.c:81: error:
undefined reference to 'XtUnmanageChildren'
/usr/bin/ld: callback.o: in function edit_menu_callback:callback.c:37: error:
undefined reference to 'XtUnmanageChild'
/usr/bin/ld: callback.o: in function edit_menu_callback:callback.c:49: error:
undefined reference to 'XtManageChildren'
/usr/bin/ld: callback.o: in function edit_menu_callback:callback.c:44: error:
undefined reference to 'XtUnmanageChildren'
collect2: ld returned 1 exit status
make[2]: *** [formed] Error 1
--- End Message ---
--- Begin Message ---
Source: otter
Source-Version: 3.3f-1.1
We believe that the bug you reported is fixed in the latest version of
otter, which is due to be installed in the Debian FTP archive:
formed_3.3f-1.1_amd64.deb
to main/o/otter/formed_3.3f-1.1_amd64.deb
mace2_3.3f-1.1_amd64.deb
to main/o/otter/mace2_3.3f-1.1_amd64.deb
otter_3.3f-1.1.diff.gz
to main/o/otter/otter_3.3f-1.1.diff.gz
otter_3.3f-1.1.dsc
to main/o/otter/otter_3.3f-1.1.dsc
otter_3.3f-1.1_amd64.deb
to main/o/otter/otter_3.3f-1.1_amd64.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Bart Martens <[email protected]> (supplier of updated otter package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 11 Oct 2011 19:12:10 +0200
Source: otter
Binary: otter mace2 formed
Architecture: source amd64
Version: 3.3f-1.1
Distribution: unstable
Urgency: low
Maintainer: Peter Collingbourne <[email protected]>
Changed-By: Bart Martens <[email protected]>
Description:
formed - formula editor for first-order logic formulae
mace2 - program that searches for finite models of first-order statements
otter - resolution-style theorem prover
Closes: 555879
Changes:
otter (3.3f-1.1) unstable; urgency=low
.
* Non-maintainer upload.
* source/formed/Makefile: Added -lX11 -lXt. Closes: #555879.
* Fixed debhelper-but-no-misc-depends.
* Fixed debian-rules-ignores-make-clean-error.
Checksums-Sha1:
89a6be284d373d7b446d18d551a671335c0dac9a 1703 otter_3.3f-1.1.dsc
591feb6ca422f932b67e073058fed8a798611d5a 7248 otter_3.3f-1.1.diff.gz
af55b7f320ec75d31cb9b939e5c801d21fa21ef6 785362 otter_3.3f-1.1_amd64.deb
938ce4d51df16402394d17099c2dee40c0ecb0ef 563846 mace2_3.3f-1.1_amd64.deb
d97c65a90057d27c983883af9a1e96d7791d04b7 185652 formed_3.3f-1.1_amd64.deb
Checksums-Sha256:
2e4130efb6c5dce04b3c21c79b4a673dedfea43feffb04c5ed9eea3314af33fb 1703
otter_3.3f-1.1.dsc
1ececab9c99a5356183bba32d6f8f22c21a5e1366ed0cff032bc830515c31478 7248
otter_3.3f-1.1.diff.gz
e93557cc2bf8e895f483e3585776cca13c510b393c4f2ed8cba1d1dd8f8f18f1 785362
otter_3.3f-1.1_amd64.deb
4fb69d996665006ab2f4496ea11e8785019a2290c0801476472431981079adfd 563846
mace2_3.3f-1.1_amd64.deb
e72481f0973f943ecfcd3dc1e5ff5094d4743127569a6a9d763cccd8b3106ecd 185652
formed_3.3f-1.1_amd64.deb
Files:
42be2fcd39cb7b7291e4320fa9bae862 1703 math optional otter_3.3f-1.1.dsc
ee42d1cd2f6d1a8bcde108c955d58582 7248 math optional otter_3.3f-1.1.diff.gz
2dbebfc4172b694a7ab3cd1b9f814f0c 785362 math optional otter_3.3f-1.1_amd64.deb
88b8afb30c1046ad1c1d7d53b88ecc2d 563846 math optional mace2_3.3f-1.1_amd64.deb
5b0746941911d3cbc6ff66d259547bff 185652 math optional formed_3.3f-1.1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCAAGBQJOlH3zAAoJEDNV9NY7WCHMnt4QAISi/fSY1f2LeSWxaLDUH0uI
hIy7Brd8dDNvzOEs7M8mDmDCqza6OitmNixqo5lxCNarZ24W8y52hsY/rIBGBngR
gPvp5p752VEryvs4oUaJyePeMZbUA9v+JmPuhxTMxqsog0BvSsF75DFtQpIlJPXW
wfBZbrttF3UhIwOo6wQ1mERvyaFH7J2j706rzQ2OmqD7C4GDsQSyCIvXg0OdcRU+
U/HnwTo96fHl6QdwwDRIKYmcjfZ/EyGN/v9eTPkza6629rGFjbFmI9rlUsuOm3Eg
icDDwfqKjELj5RS4/qw+LOnE0uHU5PyjE6KyLHrH6STMPx1aAm3/j/OAwdzrN558
h8qis/zzN8h2UOXEsJOioPcUwjBF9d4P7mGAGzyT+iRLC7COPVyAifjmMKI3PjLh
PQ+43MTtnQtLl419OMJ9LQeX5TSuVyqObI2fWSgNB8ChZNrcy7sne2b0VIVIcRmV
QdjYK0QqH5NGxYFYtjfdIdzHrDSLA6wDhCD0zbHP36JVhkxWLQVeQOCeYeTgfjVn
sMEfkXxJcAQwlvDSC0QkyHlt0ePylMDRTRlH4ccN00xiFFJHDdU/+JxebV5gRLFT
TfLuyf4ORGdDCAKvKKHHhL3QX3oFyduwwcYcxXK3BNWRbHVkHoO0Ey3H9K2EsZXa
WGj1WYxX8U5x50IZ0Hxx
=g4H/
-----END PGP SIGNATURE-----
--- End Message ---
