[package - head-i386-default][lang/maude] Failed for maude-2.6_1 in build
pkg-fallout at FreeBSD.org
pkg-fallout at FreeBSD.org
Thu Feb 8 18:15:40 UTC 2018
You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.
Maintainer: ports at FreeBSD.org
Last committer: amdmi3 at FreeBSD.org
Ident: $FreeBSD: head/lang/maude/Makefile 431248 2017-01-12 11:28:49Z amdmi3 $
Log URL: http://beefy11.nyi.freebsd.org/data/head-i386-default/p461193_s329007/logs/maude-2.6_1.log
Build URL: http://beefy11.nyi.freebsd.org/build.html?mastername=head-i386-default&build=p461193_s329007
Log:
=>> Building lang/maude
build started at Thu Feb 8 18:14:01 UTC 2018
port directory: /usr/ports/lang/maude
package name: maude-2.6_1
building for: FreeBSD head-i386-default-job-16 12.0-CURRENT FreeBSD 12.0-CURRENT 1200056 i386
maintained by: ports at FreeBSD.org
Makefile ident: $FreeBSD: head/lang/maude/Makefile 431248 2017-01-12 11:28:49Z amdmi3 $
Poudriere version: 3.2.4-48-gf881e389
Host OSVERSION: 1200054
Jail OSVERSION: 1200056
Job Id: 16
!!! Jail is newer than host. (Jail: 1200056, Host: 1200054) !!!
!!! This is not supported. !!!
!!! Host kernel must be same or newer than jail. !!!
!!! Expect build failures. !!!
---Begin Environment---
SHELL=/bin/csh
UNAME_p=i386
UNAME_m=i386
OSVERSION=1200056
UNAME_v=FreeBSD 12.0-CURRENT 1200056
UNAME_r=12.0-CURRENT
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
SAVED_TERM=
MASTERMNT=/usr/local/poudriere/data/.m/head-i386-default/ref
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin
POUDRIERE_BUILD_TYPE=bulk
OLDPWD=/usr/local/poudriere/data/.m/head-i386-default/ref/.p
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
PWD=/usr/local/poudriere/data/.m/head-i386-default/ref/.p/pool
MASTERNAME=head-i386-default
SCRIPTPREFIX=/usr/local/share/poudriere
USER=root
HOME=/root
POUDRIERE_VERSION=3.2.4-48-gf881e389
SCRIPTPATH=/usr/local/share/poudriere/bulk.sh
LIBEXECPREFIX=/usr/local/libexec/poudriere
LOCALBASE=/usr/local
PACKAGE_BUILDING=yes
POUDRIEREPATH=/usr/local/bin/poudriere
---End Environment---
---Begin Poudriere Port Flags/Env---
PORT_FLAGS=
PKGENV=
FLAVOR=
DEPENDS_ARGS=
MAKE_ARGS=
---End Poudriere Port Flags/Env---
---Begin OPTIONS List---
===> The following configuration options are available for maude-2.6_1:
DOCS=on: Build and/or install documentation
FULL_MAUDE=on: Install full-maude26b
===> Use 'make config' to modify these settings
---End OPTIONS List---
--MAINTAINER--
ports at FreeBSD.org
--End MAINTAINER--
--CONFIGURE_ARGS--
--datadir=/usr/local/share/maude --prefix=/usr/local ${_LATE_CONFIGURE_ARGS}
--End CONFIGURE_ARGS--
--CONFIGURE_ENV--
XDG_DATA_HOME=/wrkdirs/usr/ports/lang/maude/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/lang/maude/work HOME=/wrkdirs/usr/ports/lang/maude/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/lang/maude/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CONFIG_SITE=/usr/ports/Templates/config.site lt_cv_sys_max_cmd_len=262144
--End CONFIGURE_ENV--
--MAKE_ENV--
XDG_DATA_HOME=/wrkdirs/usr/ports/lang/maude/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/lang/maude/work HOME=/wrkdirs/usr/ports/lang/maude/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/lang/maude/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local LOCALBASE=/usr/local LIBDIR="/usr/lib" CC="cc" CFLAGS="-O2 -pipe -fstack-protector -fno-strict-aliasing" CPP="cpp" CPPFLAGS="-I/usr/include -I/usr/local/include" LDFLAGS=" -L/usr/lib -L/usr/local/lib -fstack-protector" LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector -fno-strict-aliasing " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444"
--End MAKE_ENV--
--PLIST_SUB--
PORTDOCS="" PORTEXAMPLES="" FULL_MAUDE="" FULL_MAUDE_VER="26b" OSREL=12.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/maude" EXAMPLESDIR="share/examples/maude" DATADIR="share/maude" WWWDIR="www/maude" ETCDIR="etc/maude"
--End PLIST_SUB--
--SUB_LIST--
PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/maude DOCSDIR=/usr/local/share/doc/maude EXAMPLESDIR=/usr/local/share/examples/maude WWWDIR=/usr/local/www/maude ETCDIR=/usr/local/etc/maude
--End SUB_LIST--
---Begin make.conf---
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
PACKAGE_BUILDING=yes
PACKAGE_BUILDING_FLAVORS=yes
MACHINE=i386
MACHINE_ARCH=i386
ARCH=${MACHINE_ARCH}
#### /usr/local/etc/poudriere.d/make.conf ####
# XXX: We really need this but cannot use it while 'make checksum' does not
# try the next mirror on checksum failure. It currently retries the same
# failed mirror and then fails rather then trying another. It *does*
# try the next if the size is mismatched though.
#MASTER_SITE_FREEBSD=yes
# Build ALLOW_MAKE_JOBS_PACKAGES with 2 jobs
MAKE_JOBS_NUMBER=2
#### /usr/ports/Mk/Scripts/ports_env.sh ####
ARCH=i386
CONFIGURE_MAX_CMD_LEN=262144
OPSYS=FreeBSD
OSREL=12.0
OSVERSION=1200056
PYTHONBASE=/usr/local
UID=0
_OSRELEASE=12.0-CURRENT
#### Misc Poudriere ####
GID=0
DISABLE_MAKE_JOBS=poudriere
---End make.conf---
--Resource limits--
cpu time (seconds, -t) unlimited
file size (512-blocks, -f) unlimited
data seg size (kbytes, -d) 524288
stack size (kbytes, -s) 65536
core file size (512-blocks, -c) unlimited
max memory size (kbytes, -m) unlimited
locked memory (kbytes, -l) unlimited
max user processes (-u) 89999
open files (-n) 1024
virtual mem size (kbytes, -v) unlimited
swap limit (kbytes, -w) unlimited
socket buffer size (bytes, -b) unlimited
pseudo-terminals (-p) unlimited
kqueues (-k) unlimited
umtx shared locks (-o) unlimited
--End resource limits--
=======================<phase: check-sanity >============================
===> NOTICE:
The maude port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:
https://bugs.freebsd.org/bugzilla
More information about port maintainership is available at:
https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port
===> License GPLv2 accepted by the user
===========================================================================
=======================<phase: pkg-depends >============================
===> maude-2.6_1 depends on file: /usr/local/sbin/pkg - not found
===> Installing existing package /packages/All/pkg-1.10.4.txz
[head-i386-default-job-16] Installing pkg-1.10.4...
[head-i386-default-job-16] Extracting pkg-1.10.4: .......... done
===> maude-2.6_1 depends on file: /usr/local/sbin/pkg - found
===> Returning to build of maude-2.6_1
===========================================================================
=======================<phase: fetch-depends >============================
===========================================================================
=======================<phase: fetch >============================
===> NOTICE:
The maude port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:
https://bugs.freebsd.org/bugzilla
More information about port maintainership is available at:
https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port
===> License GPLv2 accepted by the user
===> Fetching all distfiles required by maude-2.6_1 for building
===========================================================================
=======================<phase: checksum >============================
===> NOTICE:
The maude port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:
https://bugs.freebsd.org/bugzilla
More information about port maintainership is available at:
https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port
===> License GPLv2 accepted by the user
===> Fetching all distfiles required by maude-2.6_1 for building
=> SHA256 Checksum OK for Maude-2.6.tar.gz.
=> SHA256 Checksum OK for full-maude.maude.zip.
===========================================================================
<snip>
checking for suffix of executables...
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether cc accepts -g... yes
checking for cc option to accept ISO C89... none needed
checking whether cc understands -c and -o together... yes
checking for style of include used by make... GNU
checking dependency style of cc... gcc3
checking whether we are using the GNU C++ compiler... yes
checking whether c++ accepts -g... yes
checking dependency style of c++... gcc3
checking g++ compiler version... 4.2.1
checking for ranlib... ranlib
checking for inet_addr in -lnsl... no
checking for socket in -lsocket... no
checking whether time.h and sys/time.h may both be included... yes
checking how to run the C++ preprocessor... c++ -E
checking for grep that handles long lines and -e... (cached) /usr/bin/grep
checking for egrep... (cached) /usr/bin/egrep
checking for ANSI C header files... (cached) yes
checking for sys/types.h... (cached) yes
checking for sys/stat.h... (cached) yes
checking for stdlib.h... (cached) yes
checking for string.h... (cached) yes
checking for memory.h... (cached) yes
checking for strings.h... (cached) yes
checking for inttypes.h... (cached) yes
checking for stdint.h... (cached) yes
checking for unistd.h... (cached) yes
checking for sys/time.h... (cached) yes
checking for math.h... (cached) yes
checking ieeefp.h usability... yes
checking ieeefp.h presence... yes
checking for ieeefp.h... yes
checking sys/termios.h usability... yes
checking sys/termios.h presence... yes
checking for sys/termios.h... yes
checking for stddef.h... (cached) yes
checking for limits.h... (cached) yes
checking for stdlib.h... (cached) yes
checking for stdio.h... (cached) yes
checking for ctype.h... (cached) yes
checking for unistd.h... (cached) yes
checking ostream usability... yes
checking ostream presence... yes
checking for ostream... yes
checking ostream.h usability... no
checking ostream.h presence... no
checking for ostream.h... no
checking size of short... 2
checking size of int... 4
checking size of long... 4
checking size of unsigned long... 4
checking size of void *... 4
checking that generated files are newer than configure... done
configure: creating ./config.status
config.status: creating Makefile
config.status: creating src/Makefile
config.status: creating src/3rdParty/Makefile
config.status: creating src/Utility/Makefile
config.status: creating src/Temporal/Makefile
config.status: creating src/Interface/Makefile
config.status: creating src/Core/Makefile
config.status: creating src/Variable/Makefile
config.status: creating src/NA_Theory/Makefile
config.status: creating src/ACU_Persistent/Makefile
config.status: creating src/ACU_Theory/Makefile
config.status: creating src/AU_Persistent/Makefile
config.status: creating src/AU_Theory/Makefile
config.status: creating src/CUI_Theory/Makefile
config.status: creating src/S_Theory/Makefile
config.status: creating src/FreeTheory/Makefile
config.status: creating src/Higher/Makefile
config.status: creating src/BuiltIn/Makefile
config.status: creating src/IO_Stuff/Makefile
config.status: creating src/ObjectSystem/Makefile
config.status: creating src/Meta/Makefile
config.status: creating src/FullCompiler/Makefile
config.status: creating src/MSCP10/Makefile
config.status: creating src/StrategyLanguage/Makefile
config.status: creating src/Mixfix/Makefile
config.status: creating src/Main/Makefile
config.status: creating tests/Makefile
config.status: creating tests/BuiltIn/Makefile
config.status: creating tests/Meta/Makefile
config.status: creating tests/Misc/Makefile
config.status: creating tests/ResolvedBugs/Makefile
config.status: creating config.h
config.status: executing depfiles commands
===========================================================================
=======================<phase: build >============================
===> Building for maude-2.6_1
/usr/bin/make all-recursive
Making all in src
Making all in 3rdParty
cc -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT malloc.o -MD -MP -MF .deps/malloc.Tpo -c -o malloc.o malloc.c
mv -f .deps/malloc.Tpo .deps/malloc.Po
rm -f libdlmalloc.a
ar cru libdlmalloc.a malloc.o
ranlib libdlmalloc.a
Making all in Utility
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT macros.o -MD -MP -MF .deps/macros.Tpo -c -o macros.o macros.cc
mv -f .deps/macros.Tpo .deps/macros.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT preVector.o -MD -MP -MF .deps/preVector.Tpo -c -o preVector.o preVector.cc
mv -f .deps/preVector.Tpo .deps/preVector.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT intSet.o -MD -MP -MF .deps/intSet.Tpo -c -o intSet.o intSet.cc
mv -f .deps/intSet.Tpo .deps/intSet.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT pointerSet.o -MD -MP -MF .deps/pointerSet.Tpo -c -o pointerSet.o pointerSet.cc
mv -f .deps/pointerSet.Tpo .deps/pointerSet.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT stringTable.o -MD -MP -MF .deps/stringTable.Tpo -c -o stringTable.o stringTable.cc
mv -f .deps/stringTable.Tpo .deps/stringTable.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT graph.o -MD -MP -MF .deps/graph.Tpo -c -o graph.o graph.cc
mv -f .deps/graph.Tpo .deps/graph.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT digraph.o -MD -MP -MF .deps/digraph.Tpo -c -o digraph.o digraph.cc
mv -f .deps/digraph.Tpo .deps/digraph.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT unionFind.o -MD -MP -MF .deps/unionFind.Tpo -c -o unionFind.o unionFind.cc
mv -f .deps/unionFind.Tpo .deps/unionFind.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT diophantineSystem.o -MD -MP -MF .deps/diophantineSystem.Tpo -c -o diophantineSystem.o diophantineSystem.cc
mv -f .deps/diophantineSystem.Tpo .deps/diophantineSystem.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT natSet.o -MD -MP -MF .deps/natSet.Tpo -c -o natSet.o natSet.cc
mv -f .deps/natSet.Tpo .deps/natSet.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT pointerMap.o -MD -MP -MF .deps/pointerMap.Tpo -c -o pointerMap.o pointerMap.cc
mv -f .deps/pointerMap.Tpo .deps/pointerMap.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT sequencePartition.o -MD -MP -MF .deps/sequencePartition.Tpo -c -o sequencePartition.o sequencePartition.cc
mv -f .deps/sequencePartition.Tpo .deps/sequencePartition.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT indent.o -MD -MP -MF .deps/indent.Tpo -c -o indent.o indent.cc
mv -f .deps/indent.Tpo .deps/indent.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT binBuf.o -MD -MP -MF .deps/binBuf.Tpo -c -o binBuf.o binBuf.cc
mv -f .deps/binBuf.Tpo .deps/binBuf.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT decBuf.o -MD -MP -MF .deps/decBuf.Tpo -c -o decBuf.o decBuf.cc
mv -f .deps/decBuf.Tpo .deps/decBuf.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT bddUser.o -MD -MP -MF .deps/bddUser.Tpo -c -o bddUser.o bddUser.cc
mv -f .deps/bddUser.Tpo .deps/bddUser.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT tty.o -MD -MP -MF .deps/tty.Tpo -c -o tty.o tty.cc
mv -f .deps/tty.Tpo .deps/tty.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT bdd.o -MD -MP -MF .deps/bdd.Tpo -c -o bdd.o bdd.cc
mv -f .deps/bdd.Tpo .deps/bdd.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT timer.o -MD -MP -MF .deps/timer.Tpo -c -o timer.o timer.cc
mv -f .deps/timer.Tpo .deps/timer.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT mpzSystem.o -MD -MP -MF .deps/mpzSystem.Tpo -c -o mpzSystem.o mpzSystem.cc
mv -f .deps/mpzSystem.Tpo .deps/mpzSystem.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT intSystem.o -MD -MP -MF .deps/intSystem.Tpo -c -o intSystem.o intSystem.cc
mv -f .deps/intSystem.Tpo .deps/intSystem.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT allSat.o -MD -MP -MF .deps/allSat.Tpo -c -o allSat.o allSat.cc
mv -f .deps/allSat.Tpo .deps/allSat.Po
rm -f libutility.a
ar cru libutility.a macros.o preVector.o intSet.o pointerSet.o stringTable.o graph.o digraph.o unionFind.o diophantineSystem.o natSet.o pointerMap.o sequencePartition.o indent.o binBuf.o decBuf.o bddUser.o tty.o bdd.o timer.o mpzSystem.o intSystem.o allSat.o
ranlib libutility.a
Making all in Temporal
c++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT libtemporal_a-logicFormula.o -MD -MP -MF .deps/libtemporal_a-logicFormula.Tpo -c -o libtemporal_a-logicFormula.o `test -f 'logicFormula.cc' || echo './'`logicFormula.cc
mv -f .deps/libtemporal_a-logicFormula.Tpo .deps/libtemporal_a-logicFormula.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT libtemporal_a-buchiAutomaton2.o -MD -MP -MF .deps/libtemporal_a-buchiAutomaton2.Tpo -c -o libtemporal_a-buchiAutomaton2.o `test -f 'buchiAutomaton2.cc' || echo './'`buchiAutomaton2.cc
mv -f .deps/libtemporal_a-buchiAutomaton2.Tpo .deps/libtemporal_a-buchiAutomaton2.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT libtemporal_a-transitionSet.o -MD -MP -MF .deps/libtemporal_a-transitionSet.Tpo -c -o libtemporal_a-transitionSet.o `test -f 'transitionSet.cc' || echo './'`transitionSet.cc
mv -f .deps/libtemporal_a-transitionSet.Tpo .deps/libtemporal_a-transitionSet.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT libtemporal_a-veryWeakAlternatingAutomaton.o -MD -MP -MF .deps/libtemporal_a-veryWeakAlternatingAutomaton.Tpo -c -o libtemporal_a-veryWeakAlternatingAutomaton.o `test -f 'veryWeakAlternatingAutomaton.cc' || echo './'`veryWeakAlternatingAutomaton.cc
mv -f .deps/libtemporal_a-veryWeakAlternatingAutomaton.Tpo .deps/libtemporal_a-veryWeakAlternatingAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT libtemporal_a-rawTransitionSet.o -MD -MP -MF .deps/libtemporal_a-rawTransitionSet.Tpo -c -o libtemporal_a-rawTransitionSet.o `test -f 'rawTransitionSet.cc' || echo './'`rawTransitionSet.cc
mv -f .deps/libtemporal_a-rawTransitionSet.Tpo .deps/libtemporal_a-rawTransitionSet.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT libtemporal_a-genBuchiAutomaton.o -MD -MP -MF .deps/libtemporal_a-genBuchiAutomaton.Tpo -c -o libtemporal_a-genBuchiAutomaton.o `test -f 'genBuchiAutomaton.cc' || echo './'`genBuchiAutomaton.cc
mv -f .deps/libtemporal_a-genBuchiAutomaton.Tpo .deps/libtemporal_a-genBuchiAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT libtemporal_a-modelChecker2.o -MD -MP -MF .deps/libtemporal_a-modelChecker2.Tpo -c -o libtemporal_a-modelChecker2.o `test -f 'modelChecker2.cc' || echo './'`modelChecker2.cc
mv -f .deps/libtemporal_a-modelChecker2.Tpo .deps/libtemporal_a-modelChecker2.Po
rm -f libtemporal.a
ar cru libtemporal.a libtemporal_a-logicFormula.o libtemporal_a-buchiAutomaton2.o libtemporal_a-transitionSet.o libtemporal_a-veryWeakAlternatingAutomaton.o libtemporal_a-rawTransitionSet.o libtemporal_a-genBuchiAutomaton.o libtemporal_a-modelChecker2.o
ranlib libtemporal.a
Making all in Interface
c++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/include -I/usr/local/include -O2 -pipe -fstack-protector -fno-strict-aliasing -MT libinterface_a-symbol.o -MD -MP -MF .deps/libinterface_a-symbol.Tpo -c -o libinterface_a-symbol.o `test -f 'symbol.cc' || echo './'`symbol.cc
In file included from symbol.cc:41:
In file included from ./term.hh:34:
./../src/Core/termSet.hh:35:15: error: ISO C++11 does not allow access declarations; use using declarations instead
PointerSet::cardinality;
^
using
./../src/Core/termSet.hh:36:15: error: ISO C++11 does not allow access declarations; use using declarations instead
PointerSet::makeEmpty;
^
using
2 errors generated.
*** Error code 1
Stop.
make[4]: stopped in /wrkdirs/usr/ports/lang/maude/work/Maude-2.6/src/Interface
*** Error code 1
Stop.
make[3]: stopped in /wrkdirs/usr/ports/lang/maude/work/Maude-2.6/src
*** Error code 1
Stop.
make[2]: stopped in /wrkdirs/usr/ports/lang/maude/work/Maude-2.6
*** Error code 1
Stop.
make[1]: stopped in /wrkdirs/usr/ports/lang/maude/work/Maude-2.6
*** Error code 1
Stop.
make: stopped in /usr/ports/lang/maude
More information about the freebsd-pkg-fallout
mailing list