Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 3 Feb 2018 06:26:13 GMT
From:      pkg-fallout@FreeBSD.org
To:        pkg-fallout@FreeBSD.org
Subject:   [package - head-amd64-default][lang/maude] Failed for maude-2.6_1 in build
Message-ID:  <201802030626.w136QDkC010453@beefy12.nyi.freebsd.org>

next in thread | raw e-mail | index | archive | help

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@FreeBSD.org
Last committer: amdmi3@FreeBSD.org
Ident:          $FreeBSD: head/lang/maude/Makefile 431248 2017-01-12 11:28:49Z amdmi3 $
Log URL:        http://beefy12.nyi.freebsd.org/data/head-amd64-default/p460764_s328823/logs/maude-2.6_1.log
Build URL:      http://beefy12.nyi.freebsd.org/build.html?mastername=head-amd64-default&build=p460764_s328823
Log:

=>> Building lang/maude
build started at Sat Feb  3 06:24:34 UTC 2018
port directory: /usr/ports/lang/maude
package name: maude-2.6_1
building for: FreeBSD head-amd64-default-job-19 12.0-CURRENT FreeBSD 12.0-CURRENT 1200056 amd64
maintained by: ports@FreeBSD.org
Makefile ident:      $FreeBSD: head/lang/maude/Makefile 431248 2017-01-12 11:28:49Z amdmi3 $
Poudriere version: 3.2.4-34-g673bd441
Host OSVERSION: 1200054
Jail OSVERSION: 1200056
Job Id: 19




!!! 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
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-amd64-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-amd64-default/ref/.p
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
PWD=/usr/local/poudriere/data/.m/head-amd64-default/ref/.p/pool
MASTERNAME=head-amd64-default
SCRIPTPREFIX=/usr/local/share/poudriere
USER=root
HOME=/root
POUDRIERE_VERSION=3.2.4-34-g673bd441
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@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
#### /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=amd64
CONFIGURE_MAX_CMD_LEN=262144
HAVE_COMPAT_IA32_KERN=YES
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)  33554432
stack size              (kbytes, -s)  524288
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-amd64-default-job-19] Installing pkg-1.10.4...
[head-amd64-default-job-19] 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.
===========================================================================
=======================<phase: extract-depends>============================
===>   maude-2.6_1 depends on file: /usr/local/bin/unzip - not found
===>   Installing existing package /packages/All/unzip-6.0_7.txz
[head-amd64-default-job-19] Installing unzip-6.0_7...
<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... 8
checking size of unsigned long... 8
checking size of void *... 8
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



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201802030626.w136QDkC010453>