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



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to