Bug#419892: cduce_0.4.1-1+b1(ia64/unstable): FTBFS: SEGV runing ./cduce
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
Bug#419892: cduce_0.4.1-1+b1(ia64/unstable): FTBFS: SEGV runing ./cduce
On Fri, Jul 27, 2007 at 07:21:29PM +0200, Julien Cristau wrote: Severity: serious There was an error while trying to autobuild your package: snip make[2]: Leaving directory `/build/buildd/cduce-0.4.1' ./cduce -I web/ --compile web/xhtml.cd make[1]: *** [web/xhtml.cdo] Segmentation fault make[1]: Leaving directory `/build/buildd/cduce-0.4.1' make: *** [build-stamp] Error 2 A full build log can be found at: http://buildd.debian.org/build.php?arch=ia64pkg=cducever=0.4.1-1+b1 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 ... Cheers. -- Stefano Zacchiroli -*- PhD in Computer Science ... now what? [EMAIL PROTECTED],debian.org,bononia.it} -%- http://www.bononia.it/zack/ (15:56:48) Zack: e la demo dema ?/\All one has to do is hit the (15:57:15) Bac: no, la demo scema\/right keys at the right time signature.asc Description: Digital signature
Bug#419892: cduce_0.4.1-1+b1(ia64/unstable): FTBFS: SEGV runing ./cduce
On Wed, Apr 18, 2007 at 08:27:40 -0600, [EMAIL PROTECTED] wrote: Package: cduce Version: 0.4.1-1+b1 Severity: serious There was an error while trying to autobuild your package: Automatic build of cduce_0.4.1-1+b1 on caballero by sbuild/ia64 98 Build started at 20070418-1208 [...] ** Using build dependencies supplied by package: Build-Depends: debhelper (= 4.0.0), ocaml-nox (= 3.09.2), ocaml-source (= 3.09.2), libpcre-ocaml-dev (= 5.11.1), libocamlnet-ocaml-dev (= 1.1), libexpat-ocaml-dev (= 0.9.1), libcurl-ocaml-dev (= 0.2.1), ocaml-ulex, dpatch, chrpath, bzip2 [...] ocamlc -for-pack Cduce_lib -pack -o caml_cduce.cmo config.cmo misc.cmo tbl.cmo clflags.cmo consistbl.cmo warnings.cmo terminfo.cmo location.cmo asttypes.cmo longident.cmo ident.cmo path.cmo primitive.cmo types.cmo btype.cmo oprint.cmo subst.cmo predef.cmo datarepr.cmo env.cmo ctype.cmo printtyp.cmo; \ cp caml_cduce.cmo caml_cduce.cmi ..) make[3]: Leaving directory `/build/buildd/cduce-0.4.1/ocamliface' Build ocamliface/mltypes.cmo Build ocamliface/mlstub.cmo Build parser/cduce_curl.cmo Build runtime/cduce_expat.cmo Build driver/run.cmo Pack cduce_lib.cmo Build cduce_lib.cma make[2]: Leaving directory `/build/buildd/cduce-0.4.1' ./cduce -I web/ --compile web/xhtml.cd make[1]: *** [web/xhtml.cdo] Segmentation fault make[1]: Leaving directory `/build/buildd/cduce-0.4.1' make: *** [build-stamp] Error 2 A full build log can be found at: http://buildd.debian.org/build.php?arch=ia64pkg=cducever=0.4.1-1+b1 Hi, 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. Cheers, Julien signature.asc Description: Digital signature
Bug#419892: cduce_0.4.1-1+b1(ia64/unstable): FTBFS: SEGV runing ./cduce
Package: cduce Version: 0.4.1-1+b1 Severity: serious There was an error while trying to autobuild your package: Automatic build of cduce_0.4.1-1+b1 on caballero by sbuild/ia64 98 Build started at 20070418-1208 [...] ** Using build dependencies supplied by package: Build-Depends: debhelper (= 4.0.0), ocaml-nox (= 3.09.2), ocaml-source (= 3.09.2), libpcre-ocaml-dev (= 5.11.1), libocamlnet-ocaml-dev (= 1.1), libexpat-ocaml-dev (= 0.9.1), libcurl-ocaml-dev (= 0.2.1), ocaml-ulex, dpatch, chrpath, bzip2 [...] ocamlc -for-pack Cduce_lib -pack -o caml_cduce.cmo config.cmo misc.cmo tbl.cmo clflags.cmo consistbl.cmo warnings.cmo terminfo.cmo location.cmo asttypes.cmo longident.cmo ident.cmo path.cmo primitive.cmo types.cmo btype.cmo oprint.cmo subst.cmo predef.cmo datarepr.cmo env.cmo ctype.cmo printtyp.cmo; \ cp caml_cduce.cmo caml_cduce.cmi ..) make[3]: Leaving directory `/build/buildd/cduce-0.4.1/ocamliface' Build ocamliface/mltypes.cmo Build ocamliface/mlstub.cmo Build parser/cduce_curl.cmo Build runtime/cduce_expat.cmo Build driver/run.cmo Pack cduce_lib.cmo Build cduce_lib.cma make[2]: Leaving directory `/build/buildd/cduce-0.4.1' ./cduce -I web/ --compile web/xhtml.cd make[1]: *** [web/xhtml.cdo] Segmentation fault make[1]: Leaving directory `/build/buildd/cduce-0.4.1' make: *** [build-stamp] Error 2 A full build log can be found at: http://buildd.debian.org/build.php?arch=ia64pkg=cducever=0.4.1-1+b1 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]