Notes to myself for another day if I need to revisit this Repro: # enable sources for apt $ apt upgrade $ apt install dpkg-dev openjade docbook-dsssl $ apt source pgpool2 $ cd pgpool2-4.1.1/doc/src/sgml/ $ openjade -wall -wno-unused-param -wno-empty -wfully-tagged -c /usr/share/sgml/docbook/stylesheet/dsssl/modular/catalog -d stylesheet.dsl -t sgml -i output-html -V html-index pgpool.sgml
That confirms Ubuntu breaking while Debian works. Build openjade from the very same source (upstream is dead btw): $ apt install ubuntu-dev-tools $ apt build-dep openjade $ pull-debian-source openjade $ cd openjade-1.4devel1 $ ./debian/rules build Then test with this path to the binary-wrapper /root/openjade-1.4devel1/jade/openjade $ /root/openjade-1.4devel1/jade/openjade -wall -wno-unused-param -wno- empty -wfully-tagged -c /usr/share/sgml/docbook/stylesheet/dsssl/modular/catalog -d stylesheet.dsl -t sgml -i output-html -V html-index pgpool.sgml -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1869734 Title: openjade segfaults on arm (due to gcc optimization) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/openjade/+bug/1869734/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
