Your message dated Mon, 19 Sep 2011 19:24:46 +0200
with message-id <[email protected]>
and subject line Fixed
has caused the Debian Bug report #623759,
regarding spark: FTBFS on mips
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.)
--
623759: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=623759
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: spark
Version: 2010.0.deb-1
Severity: normal
The log was:
gcc-4.4 -c -O2 -g -gnatwae -gnat05 -gnatwl -gnaty3abefhiklnprt
-I/build/buildd2-spark_2010.0.deb-1-mips-yTpA4o/spark-2010.0.deb/examiner//../lib/spark/current
-I/build/buildd2-spark_2010.0.deb-1-mips-yTpA4o/spark-2010.0.deb/examiner//../common/versioning
-gnatf -fstack-check -I- -gnatA
/build/buildd2-spark_2010.0.deb-1-mips-yTpA4o/spark-2010.0.deb/examiner/structures.adb
gnatbind
-I/build/buildd2-spark_2010.0.deb-1-mips-yTpA4o/spark-2010.0.deb/examiner//../lib/spark/current
-I/build/buildd2-spark_2010.0.deb-1-mips-yTpA4o/spark-2010.0.deb/examiner//../common/versioning
-E -I- -x
/build/buildd2-spark_2010.0.deb-1-mips-yTpA4o/spark-2010.0.deb/examiner/examiner.ali
gnatlink
/build/buildd2-spark_2010.0.deb-1-mips-yTpA4o/spark-2010.0.deb/examiner/examiner.ali
-g -o
/build/buildd2-spark_2010.0.deb-1-mips-yTpA4o/spark-2010.0.deb/examiner/spark
/usr/lib/gcc/mips-linux-gnu/4.4.5/../../../../lib/libgnarl-4.4.so: undefined
reference to `__gnat_alternate_stack'
collect2: ld returned 1 exit status
gnatlink: error when calling /usr/bin/gcc-4.4
gnatmake: *** link failed.
make[3]: *** [spark] Error 4
make[3]: Leaving directory
`/build/buildd2-spark_2010.0.deb-1-mips-yTpA4o/spark-2010.0.deb/examiner'
make[2]: *** [makeall] Error 2
make[2]: Leaving directory
`/build/buildd2-spark_2010.0.deb-1-mips-yTpA4o/spark-2010.0.deb'
dh_auto_build: make -j1 returned exit code 2
make[1]: *** [override_dh_auto_build] Error 2
make[1]: Leaving directory
`/build/buildd2-spark_2010.0.deb-1-mips-yTpA4o/spark-2010.0.deb'
make: *** [build] Error 2
-- System Information:
Debian Release: wheezy/sid
APT prefers unstable
APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.38 (SMP w/2 CPU cores; PREEMPT)
Locale: LANG=uk_UA.UTF-8, LC_CTYPE=uk_UA.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages spark depends on:
ii libc6 2.11.2-13 Embedded GNU C Library: Shared lib
ii libgcc1 1:4.6.0-5 GCC support library
ii libgmp10 2:5.0.1+dfsg-7 Multiprecision arithmetic library
ii libgnat-4.4 4.4.5-4 Runtime library for GNU Ada applic
ii libncurses5 5.9-1 shared libraries for terminal hand
ii libreadline6 6.1-3 GNU readline and history libraries
ii libstdc++6 4.6.0-5 The GNU Standard C++ Library v3
spark recommends no packages.
Versions of packages spark suggests:
ii alt-ergo 0.93-3 Automatic theorem prover dedicated
ii gnat 4.4+1.1 The GNU Ada compiler
-- no debconf information
--- End Message ---
--- Begin Message ---
Version: 2011.0.deb-2
mips build was successful with the newest gnat-4.6.
signature.asc
Description: Digital signature
--- End Message ---
