Please test and stabilize dev-lang/swi-prolog-5.6.17-r1. It contains quite a few bug fixes from -5.6.8. Once this is stable, -5.6.8 will be punted. Thanks, Keri
Do the tests work on the maintainer arch? I'm getting 6 test failures on SPARC.
I've successfully ran the tests on x86, ppc and amd64. Which tests are failing on sparc?
I'm getting 3 errors in the gmp tests, 1 in the atom_handling tests, 1 in the attvar tests and 1 in the charset tests. All of them are bus errors, which typically on SPARC means there are alignment issues somewhere in the code being run (as opposed to x86 where it could indicate HW issues). The actual errors are posted below: Running test set "gmp" ................................. /var/tmp/portage/swi-prolog-5.6.17-r1/work/pl-5.6.17/src/test.pl:570: Test gmp(c mp-1): ERROR: fac/2: Caught signal 10 (bus) ... /var/tmp/portage/swi-prolog-5.6.17-r1/work/pl-5.6.17/src/test.pl:601: Test gmp(r ec-1): ERROR: ==/2: Caught signal 10 (bus) ...... /var/tmp/portage/swi-prolog-5.6.17-r1/work/pl-5.6.17/src/test.pl:635: Test gmp(f mtf-1): ERROR: ratp/3: Caught signal 10 (bus) . done. Running test set "atom_handling" ................ /var/tmp/portage/swi-prolog-5.6.17-r1/work/pl-5.6.17/src/test.pl:1003: Test atom_handling(number-5): ERROR: ==/2: Caught signal 10 (bus) ..... done. Running scripts from attvar . Script /var/tmp/portage/swi-prolog-5.6.17-r1/work/pl-5.6.17/src/Tests/attvar/sendmoney.pl failed: domain/3: Caught signal 10 (bus) done Running scripts from charset Script /var/tmp/portaScript /var/tmp/portage/swi-prolog-5.6.17-r1/work/pl-5.6.17/src/Tests/charset/utf8_test.pl failed: ==/2: Caught signal 10 (bus) done
1.) emerges fine on x86 2.) passes collision test 3.) passes test suite emerge --info Portage 2.1.1 (default-linux/x86/2006.1/desktop, gcc-4.1.1, glibc-2.4-r3, 2.6.17.13 i686) ================================================================= System uname: 2.6.17.13 i686 AMD Athlon(TM) XP1800+ Gentoo Base System version 1.12.5 Last Sync: Sat, 30 Sep 2006 22:50:01 +0000 ccache version 2.3 [enabled] app-admin/eselect-compiler: [Not Present] dev-java/java-config: 1.2.11-r1 dev-lang/python: 2.3.5-r3, 2.4.3-r4 dev-python/pycrypto: 2.0.1-r5 dev-util/ccache: 2.3 dev-util/confcache: [Not Present] sys-apps/sandbox: 1.2.17 sys-devel/autoconf: 2.13, 2.59-r7 sys-devel/automake: 1.4_p6, 1.5, 1.6.3, 1.7.9-r1, 1.8.5-r3, 1.9.6-r2 sys-devel/binutils: 2.16.1-r3 sys-devel/gcc-config: 1.3.13-r3 sys-devel/libtool: 1.5.22 virtual/os-headers: 2.6.17-r1 ACCEPT_KEYWORDS="x86" AUTOCLEAN="yes" CBUILD="i686-pc-linux-gnu" CFLAGS="-O2 -march=i686 -fomit-frame-pointer -pipe" CHOST="i686-pc-linux-gnu" CONFIG_PROTECT="/etc /usr/kde/3.5/env /usr/kde/3.5/share/config /usr/kde/3.5/shutdown /usr/share/X11/xkb /usr/share/config" CONFIG_PROTECT_MASK="/etc/env.d /etc/gconf /etc/revdep-rebuild /etc/terminfo /etc/texmf/web2c" CXXFLAGS="-O2 -march=i686 -fomit-frame-pointer -pipe" DISTDIR="/usr/portage/distfiles" FEATURES="autoconfig ccache collision-protect distlocks fixpackages metadata-transfer parallel-fetch sandbox sfperms strict test userfetch userpriv usersandbox" GENTOO_MIRRORS="http://mirror.switch.ch/mirror/gentoo/ http://gentoo.inode.at/" LANG="en_GB.utf8" LINGUAS="en de en_GB" PKGDIR="/usr/portage/packages" PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --compress --force --whole-file --delete --delete-after --stats --timeout=180 --exclude='/distfiles' --exclude='/local' --exclude='/packages'" PORTAGE_TMPDIR="/var/tmp" PORTDIR="/usr/portage" PORTDIR_OVERLAY="/usr/local/portage/normal /usr/local/portage/testing" SYNC="rsync://192.168.2.1/gentoo-portage" USE="x86 3dnow 3dnowext X a52 aac acpi alsa apache2 bash-completion berkdb bitmap-fonts bzip2 cairo cdr cli crypt css cups dbus divx4linux dlloader dri dts dvd dvdr dvdread elibc_glibc emboss exif fam ffmpeg firefox font-server fortran gdbm gif gnome gphoto2 gpm gstreamer gtk gtk2 gtkhtml hal input_devices_keyboard input_devices_mouse ipv6 isdnlog java jpeg kde kernel_linux ldap libclamav libg++ linguas_de linguas_en linguas_en_GB logitech-mouse mad mikmod mmx mmxext mono mozcalendar mozdevelop mozsvg mp3 mpeg ncurses network nls nptl nptlonly nvidia oav ogg opengl oss pam pcre perl png ppds pppd python qt qt3 qt4 quicktime readline reflection samba sdl seamonkey session spell spl ssl tcltk tcpd test tetex tiff truetype truetype-fonts type1-fonts udev unicode usb userland_GNU vcd video_cards_none video_cards_nv vorbis win32codecs xine xinerama xml xorg xorg-x11 xprint xv xvg xvid zlib" Unset: CTARGET, EMERGE_DEFAULT_OPTS, INSTALL_MASK, LC_ALL, LDFLAGS, MAKEOPTS, PORTAGE_RSYNC_EXTRA_OPTS
@sparc: I've fixed the alignment problems with rational arithmetic, and it now works ok on bender. However, I'd still like to run a few more tests. I'll give you an update when we can proceed with stabilization on sparc.
Keri: all tests passed except for an sgml test script. I did a hack to fix the missing procedure and then the sgml tests passed as well. I'll post the error here FYI, but not going to hold off on marking stable since it's just test code. gmake[1]: Entering directory `/var/tmp/portage/swi-prolog-5.6.17-r1/work/pl-5.6.17/packages/sgml' ../pl.sh -f Test/test.pl -g test,halt % library(sgml) compiled into sgml 0.05 sec, 102,876 bytes % /var/tmp/portage/swi-prolog-5.6.17-r1/work/pl-5.6.17/packages/sgml/Test/test.pl compiled into sgml_test 0.06 sec, 111,932 bytes Test ./amp.sgml ... ok [Different errors] OK: ERROR: Prolog initialisation failed: ERROR: sgml_test:test/1: Undefined procedure: sgml_test:pp/1 gmake[1]: *** [check] Error 1
1) emerges fine 2) passes collision test 3) fails test suite a) Running scripts from Tests /var/tmp/portage/swi-prolog-5.6.17-r1/work/pl-5.6.17/packages/chr/Tests/fibonacci.chr . /var/tmp/portage/swi-prolog-5.6.17-r1/work/pl-5.6.17/packages/chr/Tests/leq.chr . /var/tmp/portage/swi-prolog-5.6.17-r1/work/pl-5.6.17/packages/chr/Tests/passive_check.chr . /var/tmp/portage/swi-prolog-5.6.17-r1/work/pl-5.6.17/packages/chr/Tests/passive_check2.chr . /var/tmp/portage/swi-prolog-5.6.17-r1/work/pl-5.6.17/packages/chr/Tests/primes.chr ================================================================================ CHR compiler WARNING: `--> Heads will never match in rule number 4. This rule will never fire! ================================================================================ ================================================================================ CHR compiler WARNING: `--> All heads passive in rule number 4. This rule never fires. Please check your program. ================================================================================ b) % library(sgml) compiled into sgml 0.02 sec, 102,876 bytes % /var/tmp/portage/swi-prolog-5.6.17-r1/work/pl-5.6.17/packages/sgml/Test/test.pl compiled into sgml_test 0.02 sec, 111,932 bytes Test ./amp.sgml ... ok [Different errors] OK: ERROR: Prolog initialisation failed: ERROR: sgml_test:test/1: Undefined procedure: sgml_test:pp/1 gmake[1]: *** [check] Error 1 gmake[1]: Leaving directory `/var/tmp/portage/swi-prolog-5.6.17-r1/work/pl-5.6.17/packages/sgml' make: *** [check] Error 1 !!! ERROR: dev-lang/swi-prolog-5.6.17-r1 failed. Call stack: ebuild.sh, line 1546: Called dyn_test ebuild.sh, line 986: Called src_test swi-prolog-5.6.17-r1.ebuild, line 140: Called die 4) seems to work Portage 2.1.1 (default-linux/x86/2006.1/desktop, gcc-4.1.1, glibc-2.4-r3, 2.6.17-gentoo-r8 i686) ================================================================= System uname: 2.6.17-gentoo-r8 i686 AMD Athlon(tm) XP 2500+ Gentoo Base System version 1.12.5 Last Sync: Wed, 04 Oct 2006 05:20:01 +0000 app-admin/eselect-compiler: [Not Present] dev-java/java-config: 1.3.7, 2.0.30 dev-lang/python: 2.4.3-r4 dev-python/pycrypto: 2.0.1-r5 dev-util/ccache: [Not Present] dev-util/confcache: [Not Present] sys-apps/sandbox: 1.2.17 sys-devel/autoconf: 2.13, 2.59-r7 sys-devel/automake: 1.4_p6, 1.5, 1.6.3, 1.7.9-r1, 1.8.5-r3, 1.9.6-r2 sys-devel/binutils: 2.16.1-r3 sys-devel/gcc-config: 1.3.13-r4 sys-devel/libtool: 1.5.22 virtual/os-headers: 2.6.17-r1 ACCEPT_KEYWORDS="x86" AUTOCLEAN="yes" CBUILD="i686-pc-linux-gnu" CFLAGS="-O2" CHOST="i686-pc-linux-gnu" CONFIG_PROTECT="/etc /usr/kde/3.5/env /usr/kde/3.5/share/config /usr/kde/3.5/shutdown /usr/share/X11/xkb /usr/share/config /usr/share/texmf/dvipdfm/config/ /usr/share/texmf/dvips/config/ /usr/share/texmf/tex/generic/config/ /usr/share/texmf/tex/platex/config/ /usr/share/texmf/xdvi/" CONFIG_PROTECT_MASK="/etc/env.d /etc/env.d/java/ /etc/gconf /etc/java-config/vms/ /etc/revdep-rebuild /etc/splash /etc/terminfo" CXXFLAGS="-O2" DISTDIR="/usr/portage/distfiles" FEATURES="autoconfig ccache collision-protect distlocks metadata-transfer parallel-fetch sandbox sfperms strict test" GENTOO_MIRRORS="ftp://sunsite.informatik.rwth-aachen.de/pub/Linux/gentoo/" LANG="de_DE@euro" LC_ALL="de_DE@euro" LINGUAS="de" MAKEOPTS="-j2" PKGDIR="/usr/portage/packages" PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --compress --force --whole-file --delete --delete-after --stats --timeout=180 --exclude='/distfiles' --exclude='/local' --exclude='/packages'" PORTAGE_TMPDIR="/var/tmp" PORTDIR="/usr/portage" PORTDIR_OVERLAY="/usr/local/portage" SYNC="rsync://rsync.informatik.rwth-aachen.de/gentoo-portage" USE="x86 3dnow 3dnowext X Xaw3d a52 alsa artworkextra asf audiofile bash-completion beagle berkdb bidi bitmap-fonts bootsplash branding bzip2 cairo cdda cddb cdparanoia cdr cli cracklib crypt css cups curl custom-cflags dbus dga directfb divx4linux dlloader dri dts dvd dvdr dvdread dvi eds elibc_glibc emacs emboss encode esd evo exif expat fam fat fbcon ffmpeg firefox fortran ftp gb gcj gdbm gif gnome gpm gstreamer gtk gtk2 gtkhtml hal icq idn imagemagick imap input_devices_keyboard input_devices_mouse ipv6 isdnlog java javascript jikes jpeg jpeg2k kde kernel_linux ldap leim libg++ linguas_de lm_sensors mad maildir matroska mbox mhash mikmod mime mmx mmxext mng mono mp3 mpeg mpeg2 mule nautilus ncurses nforce2 nls nocardbus nptl nptlonly nsplugin nvidia objc ogg opengl pam pcre pdf perl plotutils pmu png ppds pppd preview-latex print python qt3 qt4 quicktime readline reflection reiserfs samba sdk session slang spell spl sse ssl svg svga t1lib tcltk tcpd tetex theora thunderbird tiff truetype truetype-fonts type1-fonts udev usb userland_GNU vcd video_cards_fbdev video_cards_radeon video_cards_vesa videos vorbis win32codecs wmf wxwindows xine xml xorg xosd xv xvid zlib" Unset: CTARGET, EMERGE_DEFAULT_OPTS, INSTALL_MASK, LDFLAGS, PORTAGE_RSYNC_EXTRA_OPTS
Created attachment 98829 [details, diff] sgml_test.pl.patch Christian, I'm interested in having a look at the sgml test failures; I'm unable to reproduce them here. Can you apply the attached patch to pl-5.6.17/packages/sgml/Test/test.pl and rerun the sgml tests? It'll allow us to see why the 'compare_errors/2' predicate is failing. Thanks, Keri
(In reply to comment #8) > Created an attachment (id=98829) [edit] > sgml_test.pl.patch > > Christian, I'm interested in having a look at the sgml test failures; I'm > unable to reproduce them here. Can you apply the attached patch to > pl-5.6.17/packages/sgml/Test/test.pl and rerun the sgml tests? It'll allow us > to see why the 'compare_errors/2' predicate is failing. The output around sgml test is: Test ./amp.sgml ... ok [Different errors] OK: [] ANSWER: [sgml(sgml_parser(268060), ./amp.sgml, 7, catalogue file "/etc/sgml/sgml-lite.cat" does not exist), sgml(sgml_parser(268060), ./amp.sgml, 7, catalogue file "/etc/sgml/sgml-docbook-4.3.cat" does not exist), sgml(sgml_parser(268060), ./amp.sgml, 7, catalogue file "/etc/sgml/sgml-docbook-4.2.cat" does not exist), sgml(sgml_parser(268060), ./amp.sgml, 7, catalogue file "/etc/sgml/sgml-docbook-4.1.cat" does not exist), sgml(sgml_parser(268060), ./amp.sgml, 7, catalogue file "/etc/sgml/sgml-docbook-4.0.cat" does not exist), sgml(sgml_parser(268060), ./amp.sgml, 7, catalogue file "/etc/sgml/sgml-docbook-3.1.cat" does not exist), sgml(sgml_parser(268060), ./amp.sgml, 7, catalogue file "/etc/sgml/xml-simple-docbook-4.1.2.4.cat" does not exist), sgml(sgml_parser(268060), ./amp.sgml, 7, catalogue file "/etc/sgml/xml-simple-docbook-1.0.cat" does not exist), sgml(sgml_parser(268060), ./amp.sgml, 7, catalogue file "/etc/sgml/html401.cat" does not exist), sgml(sgml_parser(268060), ./amp.sgml, 7, catalogue file "/etc/sgml/openjade-1.3.2.cat" does not exist)] And I have output as the following: Running test set "typed" .... Warning: SGML2PL(xmlns): /var/tmp/portage/swi-prolog-5.6.17-r1/temp/pl_rdf_22481_1:6: catalogue file "/etc/sgml/sgml-lite.cat" does not exist Warning: SGML2PL(xmlns): /var/tmp/portage/swi-prolog-5.6.17-r1/temp/pl_rdf_22481_1:6: catalogue file "/etc/sgml/sgml-docbook-4.3.cat" does not exist Warning: SGML2PL(xmlns): /var/tmp/portage/swi-prolog-5.6.17-r1/temp/pl_rdf_22481_1:6: catalogue file "/etc/sgml/sgml-docbook-4.2.cat" does not exist Warning: SGML2PL(xmlns): /var/tmp/portage/swi-prolog-5.6.17-r1/temp/pl_rdf_22481_1:6: catalogue file "/etc/sgml/sgml-docbook-4.1.cat" does not exist Warning: SGML2PL(xmlns): /var/tmp/portage/swi-prolog-5.6.17-r1/temp/pl_rdf_22481_1:6: catalogue file "/etc/sgml/sgml-docbook-4.0.cat" does not exist Warning: SGML2PL(xmlns): /var/tmp/portage/swi-prolog-5.6.17-r1/temp/pl_rdf_22481_1:6: catalogue file "/etc/sgml/sgml-docbook-3.1.cat" does not exist Warning: SGML2PL(xmlns): /var/tmp/portage/swi-prolog-5.6.17-r1/temp/pl_rdf_22481_1:6: catalogue file "/etc/sgml/xml-simple-docbook-4.1.2.4.cat" does not exist Warning: SGML2PL(xmlns): /var/tmp/portage/swi-prolog-5.6.17-r1/temp/pl_rdf_22481_1:6: catalogue file "/etc/sgml/xml-simple-docbook-1.0.cat" does not exist Warning: SGML2PL(xmlns): /var/tmp/portage/swi-prolog-5.6.17-r1/temp/pl_rdf_22481_1:6: catalogue file "/etc/sgml/html401.cat" does not exist Warning: SGML2PL(xmlns): /var/tmp/portage/swi-prolog-5.6.17-r1/temp/pl_rdf_22481_1:6: catalogue file "/etc/sgml/openjade-1.3.2.cat" does not exist . done.
Created attachment 98966 [details, diff] swi-prolog-sgml-test.patch Thanks for the dump of the sgml test Christian. It looks like the errors are caused by having the SGML_CATALOG_FILES environment variable point to non-existant catalog files. Can you confirm this? I've attached another patch for the sgml test-suite that explicitely unsets this environment variable. Can you see if this works for you? Thanks, Keri
(In reply to comment #10) > I've attached another patch for the sgml test-suite that explicitely unsets > this environment variable. Can you see if this works for you? It does for sgml. But other tests show: % /var/tmp/portage/swi-prolog-5.6.17-r1/work/pl-5.6.17/packages/sgml/RDF/rdf_test.pl compiled into rdf_test 0.08 sec, 278,012 bytes Tests from "suite" [load_rdf]: . Warning: SGML2PL(xmlns): suite/ex_19.rdf:2: catalogue file "/etc/sgml/sgml-lite.cat" does not exist Warning: SGML2PL(xmlns): suite/ex_19.rdf:2: catalogue file "/etc/sgml/sgml-docbook-4.3.cat" does not exist Warning: SGML2PL(xmlns): suite/ex_19.rdf:2: catalogue file "/etc/sgml/sgml-docbook-4.2.cat" does not exist Warning: SGML2PL(xmlns): suite/ex_19.rdf:2: catalogue file "/etc/sgml/sgml-docbook-4.1.cat" does not exist Warning: SGML2PL(xmlns): suite/ex_19.rdf:2: catalogue file "/etc/sgml/sgml-docbook-4.0.cat" does not exist Warning: SGML2PL(xmlns): suite/ex_19.rdf:2: catalogue file "/etc/sgml/sgml-docbook-3.1.cat" does not exist Warning: SGML2PL(xmlns): suite/ex_19.rdf:2: catalogue file "/etc/sgml/xml-simple-docbook-4.1.2.4.cat" does not exist Warning: SGML2PL(xmlns): suite/ex_19.rdf:2: catalogue file "/etc/sgml/xml-simple-docbook-1.0.cat" does not exist Warning: SGML2PL(xmlns): suite/ex_19.rdf:2: catalogue file "/etc/sgml/html401.cat" does not exist Warning: SGML2PL(xmlns): suite/ex_19.rdf:2: catalogue file "/etc/sgml/openjade-1.3.2.cat" does not exist Running test set "typed" .... Warning: SGML2PL(xmlns): /var/tmp/portage/swi-prolog-5.6.17-r1/temp/pl_rdf_15335_1:6: catalogue file "/etc/sgml/sgml-lite.cat" does not exist Warning: SGML2PL(xmlns): /var/tmp/portage/swi-prolog-5.6.17-r1/temp/pl_rdf_15335_1:6: catalogue file "/etc/sgml/sgml-docbook-4.3.cat" does not exist Warning: SGML2PL(xmlns): /var/tmp/portage/swi-prolog-5.6.17-r1/temp/pl_rdf_15335_1:6: catalogue file "/etc/sgml/sgml-docbook-4.2.cat" does not exist Warning: SGML2PL(xmlns): /var/tmp/portage/swi-prolog-5.6.17-r1/temp/pl_rdf_15335_1:6: catalogue file "/etc/sgml/sgml-docbook-4.1.cat" does not exist Warning: SGML2PL(xmlns): /var/tmp/portage/swi-prolog-5.6.17-r1/temp/pl_rdf_15335_1:6: catalogue file "/etc/sgml/sgml-docbook-4.0.cat" does not exist Warning: SGML2PL(xmlns): /var/tmp/portage/swi-prolog-5.6.17-r1/temp/pl_rdf_15335_1:6: catalogue file "/etc/sgml/sgml-docbook-3.1.cat" does not exist Warning: SGML2PL(xmlns): /var/tmp/portage/swi-prolog-5.6.17-r1/temp/pl_rdf_15335_1:6: catalogue file "/etc/sgml/xml-simple-docbook-4.1.2.4.cat" does not exist Warning: SGML2PL(xmlns): /var/tmp/portage/swi-prolog-5.6.17-r1/temp/pl_rdf_15335_1:6: catalogue file "/etc/sgml/xml-simple-docbook-1.0.cat" does not exist Warning: SGML2PL(xmlns): /var/tmp/portage/swi-prolog-5.6.17-r1/temp/pl_rdf_15335_1:6: catalogue file "/etc/sgml/html401.cat" does not exist Warning: SGML2PL(xmlns): /var/tmp/portage/swi-prolog-5.6.17-r1/temp/pl_rdf_15335_1:6: catalogue file "/etc/sgml/openjade-1.3.2.cat" does not exist And still: /var/tmp/portage/swi-prolog-5.6.17-r1/work/pl-5.6.17/packages/chr/Tests/primes.chr ================================================================================ CHR compiler WARNING: `--> Heads will never match in rule number 4. This rule will never fire! ================================================================================ ================================================================================ CHR compiler WARNING: `--> All heads passive in rule number 4. This rule never fires. Please check your program. ================================================================================
Thanks for the update Christian. I've patched the sgml, sgml/RDF and semweb tests to handle an errant SGML_CATALOG_FILES environment variable. The CHR test warnings are expected behaviour. :) Keri.
(In reply to comment #12) > Thanks for the update Christian. I've patched the sgml, sgml/RDF and semweb > tests to handle an errant SGML_CATALOG_FILES environment variable. Thumbs up here for x86. > The CHR test warnings are expected behaviour. :) So I must believe you...:-P
amd64/x86 done
kloeri marked it as alpha stable.
FEATURES=test now runs all tests successfully. Sparc stable.
Stable on all arches. Closing.
