Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 641974 Details for
Bug 725556
sci-mathematics/psmt2-frontend does not respect CFLAGS
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
build.log
build.log (text/plain), 14.96 KB, created by
Agostino Sarubbo
on 2020-05-26 21:01:12 UTC
(
hide
)
Description:
build.log
Filename:
MIME Type:
Creator:
Agostino Sarubbo
Created:
2020-05-26 21:01:12 UTC
Size:
14.96 KB
patch
obsolete
> * Package: sci-mathematics/psmt2-frontend-0.2 > * Repository: gentoo > * Maintainer: tupone@gentoo.org > * USE: abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU > * FEATURES: network-sandbox preserve-libs sandbox userpriv usersandbox >>>> Unpacking source... >>>> Unpacking psmt2-frontend-0.2.tar.gz to /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/work >>>> Source unpacked in /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/work >>>> Preparing source in /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/work/psmt2-frontend-0.2 ... > * Applying psmt2-frontend-0.2-gentoo.patch ... > [ ok ] > * Running eautoreconf in '/var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/work/psmt2-frontend-0.2' ... > * Running aclocal ... > [ ok ] > * Running autoconf --force ... > [ ok ] > * Running elibtoolize in: psmt2-frontend-0.2/ >>>> Source prepared. >>>> Configuring source in /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/work/psmt2-frontend-0.2 ... >./configure --prefix=/usr --build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu --mandir=/usr/share/man --infodir=/usr/share/info --datadir=/usr/share --sysconfdir=/etc --localstatedir=/var/lib --docdir=/usr/share/doc/psmt2-frontend-0.2 --htmldir=/usr/share/doc/psmt2-frontend-0.2/html --libdir=/usr/lib64 >checking for ocamlc... ocamlc >ocaml version is 4.09.0 >ocaml library path is /usr/lib64/ocaml >checking for ocamlfind... yes >checking for ocamlopt... ocamlopt >checking ocamlopt version... ok >checking for ocamlc.opt... ocamlc.opt >checking ocamlc.opt version... ok >checking for ocamlopt.opt... ocamlopt.opt >checking ocamlopt.opt version... ok >checking for ocamldep... ocamldep >checking platform... checking for ocamllex... ocamllex >checking for ocamllex.opt... ocamllex.opt >checking for menhir... menhir >configure: creating ./config.status >config.status: creating Makefile >config.status: WARNING: 'Makefile.in' seems to ignore the --datarootdir setting >>>> Source configured. >>>> Compiling source in /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/work/psmt2-frontend-0.2 ... >make -j4 depend >menhir -v src/smtlib_parser.mly >menhir -v src/smtlib_parser.mly >ocamllex.opt src/smtlib_lexer.mll > /dev/null >Note: the nonterminal symbol option (from src/smtlib_parser.mly) is renamed src_smtlib_parser_option. >Warning: 22 states have an end-of-stream conflict. >File "<standard.mly>", line 209, characters 16-16: >Warning: production list(term) -> is never reduced. >Warning: in total, 1 production is never reduced. >Note: the nonterminal symbol option (from src/smtlib_parser.mly) is renamed src_smtlib_parser_option. >Warning: 22 states have an end-of-stream conflict. >File "<standard.mly>", line 209, characters 16-16: >Warning: production list(term) -> is never reduced. >Warning: in total, 1 production is never reduced. >ocamldep -I src src/*.ml* > .depend >ocamldep -I src src/*.ml* > .depend >make -j4 >ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/version.mli >ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/options.mli >ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_error.ml >ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_error.ml >ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/version.ml >ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/version.ml >ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/options.ml >ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/options.ml >ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_ty.ml >ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_ty.ml >ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_syntax.ml >ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_parser.mli >ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_typed_env.ml >ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_parser.ml >ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_lexer.ml >ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_syntax.ml >ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_parser.ml >ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_typed_env.ml >ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_typed_logic.ml >ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_printer.ml >ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_typing.ml >ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_typed_logic.ml >ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_printer.ml >ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_typing.ml >ocamlc.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -pack -o src/psmt2Frontend.cmo src/version.cmo src/options.cmo src/smtlib_error.cmo src/smtlib_ty.cmo src/smtlib_syntax.cmo src/smtlib_parser.cmo src/smtlib_lexer.cmo src/smtlib_typed_env.cmo src/smtlib_typed_logic.cmo src/smtlib_printer.cmo src/smtlib_typing.cmo >ocamlc.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -o src/psmt2Frontend.cma src/psmt2Frontend.cmo >ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_lexer.ml >ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -pack -o src/psmt2Frontend.cmx src/version.cmx src/options.cmx src/smtlib_error.cmx src/smtlib_ty.cmx src/smtlib_syntax.cmx src/smtlib_parser.cmx src/smtlib_lexer.cmx src/smtlib_typed_env.cmx src/smtlib_typed_logic.cmx src/smtlib_printer.cmx src/smtlib_typing.cmx >ocamlopt.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -o src/psmt2Frontend.cmxa src/psmt2Frontend.cmx >ocamlopt.opt -shared -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -o src/psmt2Frontend.cmxs src/psmt2Frontend.cmx >>>> Source compiled. >>>> Test phase [not enabled]: sci-mathematics/psmt2-frontend-0.2 > >>>> Install sci-mathematics/psmt2-frontend-0.2 into /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/image >make -j4 DESTDIR=/var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/image install >mkdir -p /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/image/usr/lib64/ocaml >OCAMLFIND_DESTDIR=/var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/image/usr/lib64/ocaml \ > ocamlfind install psmt2-frontend src/psmt2Frontend.* src/*.mli META >Installed /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/image/usr/lib64/ocaml/psmt2-frontend/version.mli >Installed /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/image/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli >Installed /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/image/usr/lib64/ocaml/psmt2-frontend/options.mli >Installed /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/image/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.o >Installed /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/image/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs >Installed /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/image/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxa >Installed /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/image/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmx >Installed /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/image/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmt >Installed /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/image/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmo >Installed /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/image/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmi >Installed /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/image/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cma >Installed /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/image/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a >Installed /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/image/usr/lib64/ocaml/psmt2-frontend/META >>>> Completed installing sci-mathematics/psmt2-frontend-0.2 into /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/image > > * Final size of build directory: 28300 KiB (27.6 MiB) > * Final size of installed tree: 10460 KiB (10.2 MiB) > > > * QA Notice: Files built without respecting CFLAGS have been detected > * Please include the following list of files in your report: > * /usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs > >strip: x86_64-pc-linux-gnu-strip --strip-unneeded -N __gentoo_check_ldflags__ -R .comment -R .GCC.command.line -R .note.gnu.gold-version > /usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs > /usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.o > /usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a >>>> Done. > > > >emerge --info: >Portage 2.3.100 (python 3.7.7-final-0, default/linux/amd64/17.1, gcc-10.1.0, glibc-2.31-r3, 5.4.0-1009-aws x86_64) >================================================================= >System uname: Linux-5.4.0-1009-aws-x86_64-AMD_EPYC_7571-with-gentoo-2.7 >KiB Mem: 16011344 total, 4108420 free >KiB Swap: 0 total, 0 free >Timestamp of repository gentoo: Tue, 26 May 2020 19:05:33 +0000 >sh bash 5.0_p17 >ld GNU ld (Gentoo 2.34 p4) 2.34.0 >app-shells/bash: 5.0_p17::gentoo >dev-lang/perl: 5.30.2-r2::gentoo >dev-lang/python: 2.7.18::gentoo, 3.7.7-r2::gentoo, 3.8.3::gentoo >dev-util/cmake: 3.17.2::gentoo >sys-apps/baselayout: 2.7::gentoo >sys-apps/openrc: 0.42.1::gentoo >sys-apps/sandbox: 2.18::gentoo >sys-devel/autoconf: 2.69-r5::gentoo >sys-devel/automake: 1.16.2::gentoo >sys-devel/binutils: 2.34-r1::gentoo >sys-devel/gcc: 10.1.0::gentoo >sys-devel/gcc-config: 2.3::gentoo >sys-devel/libtool: 2.4.6-r6::gentoo >sys-devel/make: 4.3::gentoo >sys-kernel/linux-headers: 5.6::gentoo (virtual/os-headers) >sys-libs/glibc: 2.31-r3::gentoo >Repositories: > >gentoo > location: /usr/portage > sync-type: rsync > sync-uri: rsync://rsync.gentoo.org/gentoo-portage > priority: -1000 > sync-rsync-verify-jobs: 1 > sync-rsync-verify-max-age: 24 > sync-rsync-extra-opts: > sync-rsync-verify-metamanifest: yes > >ACCEPT_KEYWORDS="amd64 ~amd64" >ACCEPT_LICENSE="*" >CBUILD="x86_64-pc-linux-gnu" >CC="x86_64-pc-linux-gnu-gcc" >CFLAGS="-O2 -pipe -march=native -frecord-gcc-switches" >CHOST="x86_64-pc-linux-gnu" >CONFIG_PROTECT="/etc /usr/share/gnupg/qualified.txt" >CONFIG_PROTECT_MASK="/etc/ca-certificates.conf /etc/env.d /etc/gconf /etc/gentoo-release /etc/revdep-rebuild /etc/sandbox.d /etc/terminfo" >CXX="x86_64-pc-linux-gnu-g++" >CXXFLAGS="-O2 -pipe -march=native -frecord-gcc-switches" >DISTDIR="/usr/portage/distfiles" >EMERGE_DEFAULT_OPTS="--with-bdeps=y --binpkg-respect-use=y -1 -b -k" >ENV_UNSET="DBUS_SESSION_BUS_ADDRESS DISPLAY GOBIN PERL5LIB PERL5OPT PERLPREFIX PERL_CORE PERL_MB_OPT PERL_MM_OPT XAUTHORITY XDG_CACHE_HOME XDG_CONFIG_HOME XDG_DATA_HOME XDG_RUNTIME_DIR" >FCFLAGS="-O2 -pipe -march=native -frecord-gcc-switches" >FEATURES="assume-digests binpkg-docompress binpkg-dostrip binpkg-logs buildpkg collision-protect config-protect-if-modified distlocks ebuild-locks fixlafiles ipc-sandbox merge-sync multilib-strict network-sandbox news parallel-fetch pid-sandbox preserve-libs protect-owned qa-unresolved-soname-deps sandbox sfperms sign split-log strict unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox usersync xattr" >FFLAGS="-O2 -pipe -march=native -frecord-gcc-switches" >GENTOO_MIRRORS="http://distfiles.gentoo.org" >LANG="C.UTF-8" >LDFLAGS="-Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0" >MAKEOPTS="-j4" >PKGDIR="/root/.packages" >PORTAGE_CONFIGROOT="/" >PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --omit-dir-times --compress --force --whole-file --delete --stats --human-readable --timeout=180 --exclude=/distfiles --exclude=/local --exclude=/packages --exclude=/.git" >PORTAGE_TMPDIR="/var/tmp" >USE="acl amd64 berkdb bzip2 cli crypt dri fortran gdbm iconv ipv6 libtirpc multilib ncurses nls nptl openmp pam pcre readline seccomp split-usr ssl tcpd unicode xattr zlib" ABI_X86="64" ADA_TARGET="gnat_2018" ALSA_CARDS="ali5451 als4000 atiixp atiixp-modem bt87x ca0106 cmipci emu10k1x ens1370 ens1371 es1938 es1968 fm801 hda-intel intel8x0 intel8x0m maestro3 trident usb-audio via82xx via82xx-modem ymfpci" APACHE2_MODULES="authn_core authz_core socache_shmcb unixd actions alias auth_basic authn_alias authn_anon authn_dbm authn_default authn_file authz_dbm authz_default authz_groupfile authz_host authz_owner authz_user autoindex cache cgi cgid dav dav_fs dav_lock deflate dir disk_cache env expires ext_filter file_cache filter headers include info log_config logio mem_cache mime mime_magic negotiation rewrite setenvif speling status unique_id userdir usertrack vhost_alias" CALLIGRA_FEATURES="karbon sheets words" COLLECTD_PLUGINS="df interface irq load memory rrdtool swap syslog" CPU_FLAGS_X86="mmx mmxext sse sse2" ELIBC="glibc" GPSD_PROTOCOLS="ashtech aivdm earthmate evermore fv18 garmin garmintxt gpsclock greis isync itrax mtk3301 nmea ntrip navcom oceanserver oldstyle oncore rtcm104v2 rtcm104v3 sirf skytraq superstar2 timing tsip tripmate tnt ublox ubx" INPUT_DEVICES="libinput" KERNEL="linux" LCD_DEVICES="bayrad cfontz cfontz633 glk hd44780 lb216 lcdm001 mtxorb ncurses text" LIBREOFFICE_EXTENSIONS="presenter-console presenter-minimizer" OFFICE_IMPLEMENTATION="libreoffice" PHP_TARGETS="php7-2" POSTGRES_TARGETS="postgres10 postgres11" PYTHON_SINGLE_TARGET="python3_7" PYTHON_TARGETS="python2_7 python3_7" RUBY_TARGETS="ruby24 ruby25" USERLAND="GNU" VIDEO_CARDS="amdgpu fbdev intel nouveau radeon radeonsi vesa dummy v4l" XTABLES_ADDONS="quota2 psd pknock lscan length2 ipv4options ipset ipp2p iface geoip fuzzy condition tee tarpit sysrq steal rawnat logmark ipmark dhcpmac delude chaos account" >Unset: CPPFLAGS, CTARGET, INSTALL_MASK, LC_ALL, LINGUAS, PORTAGE_BINHOST, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS >
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 725556
: 641974