On Sat, Jul 28, 2007 at 09:44:47 +0200, Stefano Zacchiroli wrote: > On Fri, Jul 27, 2007 at 07:21:29PM +0200, Julien Cristau wrote: > > Has anyone tried to find out what's going on here (or workaround it)? > > It looks like cduce is being built with ocamlopt, which has a code > > generation bug on ia64, so hopefully building cduce with ocamlc would > > fix it. > > Thomas, are you still around? It seems the cduce package need some care > ... > Maybe something like this (untested) would help:
diff -u cduce-0.4.1/debian/changelog cduce-0.4.1/debian/changelog --- cduce-0.4.1/debian/changelog +++ cduce-0.4.1/debian/changelog @@ -1,3 +1,10 @@ +cduce (0.4.1-1.1) unstable; urgency=low + + * Non-maintainer upload. + * Build with ocamlc on ia64 (closes: #419892). + + -- Julien Cristau <[EMAIL PROTECTED]> Sun, 29 Jul 2007 13:41:36 +0200 + cduce (0.4.1-1) unstable; urgency=low * New upstream release 0.4.1 diff -u cduce-0.4.1/debian/rules cduce-0.4.1/debian/rules --- cduce-0.4.1/debian/rules +++ cduce-0.4.1/debian/rules @@ -4,7 +4,13 @@ #export DH_VERBOSE=1 +DEB_HOST_ARCH ?= $(shell dpkg-architecture -qDEB_HOST_ARCH) + +ifeq ($(DEB_HOST_ARCH), ia64) +MAKE_OPTS := NATIVE=false +else MAKE_OPTS := $(shell if [ -x /usr/bin/ocamlopt ]; then echo "NATIVE=true"; else echo "NATIVE=false"; fi) +endif OCAMLLIBDIR=`ocamlc -where` LIBDIR=$(CURDIR)/debian/cduce/$(OCAMLLIBDIR)
signature.asc
Description: Digital signature
