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:     po...@freebsd.org
Last committer: amd...@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/p469699_s333508/logs/maude-2.6_1.log
Build URL:      
http://beefy12.nyi.freebsd.org/build.html?mastername=head-amd64-default&build=p469699_s333508
Log:

=>> Building lang/maude
build started at Sun May 13 07:23:29 UTC 2018
port directory: /usr/ports/lang/maude
package name: maude-2.6_1
building for: FreeBSD head-amd64-default-job-02 12.0-CURRENT FreeBSD 
12.0-CURRENT 1200063 amd64
maintained by: po...@freebsd.org
Makefile ident:      $FreeBSD: head/lang/maude/Makefile 431248 2017-01-12 
11:28:49Z amdmi3 $
Poudriere version: 3.2.6-3-g832b198d
Host OSVERSION: 1200060
Jail OSVERSION: 1200063
Job Id: 02




!!! Jail is newer than host. (Jail: 1200063, Host: 1200060) !!!
!!! This is not supported. !!!
!!! Host kernel must be same or newer than jail. !!!
!!! Expect build failures. !!!



---Begin Environment---
SHELL=/bin/csh
OSVERSION=1200063
UNAME_v=FreeBSD 12.0-CURRENT 1200063
UNAME_r=12.0-CURRENT
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
HOME=/root
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin
LOCALBASE=/usr/local
USER=root
LIBEXECPREFIX=/usr/local/libexec/poudriere
POUDRIERE_VERSION=3.2.6-3-g832b198d
MASTERMNT=/usr/local/poudriere/data/.m/head-amd64-default/ref
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=
PWD=/usr/local/poudriere/data/.m/head-amd64-default/ref/.p/pool
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
MASTERNAME=head-amd64-default
SCRIPTPREFIX=/usr/local/share/poudriere
OLDPWD=/usr/local/poudriere/data/.m/head-amd64-default/ref/.p
SCRIPTPATH=/usr/local/share/poudriere/bulk.sh
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--
po...@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 ####
_CCVERSION_921dbbb2=FreeBSD clang version 6.0.0 (tags/RELEASE_600/final 326565) 
(based on LLVM 6.0.0) Target: x86_64-unknown-freebsd12.0 Thread model: posix 
InstalledDir: /usr/bin
_ALTCCVERSION_921dbbb2=none
_CXXINTERNAL_acaad9ca=FreeBSD clang version 6.0.0 (tags/RELEASE_600/final 
326565) (based on LLVM 6.0.0) Target: x86_64-unknown-freebsd12.0 Thread model: 
posix InstalledDir: /usr/bin "/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" 
"/libexec/ld-elf.so.1" "--hash-style=both" "--enable-new-dtags" "-o" "a.out" 
"/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" 
"/dev/null" "-lc++" "-lm" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" 
"-lc" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "/usr/lib/crtend.o" 
"/usr/lib/crtn.o"
CC_OUTPUT_921dbbb2_58173849=yes
CC_OUTPUT_921dbbb2_9bdba57c=yes
CC_OUTPUT_921dbbb2_6a4fe7f5=yes
CC_OUTPUT_921dbbb2_6bcac02b=yes
CC_OUTPUT_921dbbb2_67d20829=yes
CC_OUTPUT_921dbbb2_bfa62e83=yes
CC_OUTPUT_921dbbb2_f0b4d593=yes
CC_OUTPUT_921dbbb2_308abb44=yes
CC_OUTPUT_921dbbb2_f00456e5=yes
CC_OUTPUT_921dbbb2_65ad290d=yes
CC_OUTPUT_921dbbb2_b2657cc3=yes
CC_OUTPUT_921dbbb2_380987f7=yes
_OBJC_CCVERSION_921dbbb2=FreeBSD clang version 6.0.0 (tags/RELEASE_600/final 
326565) (based on LLVM 6.0.0) Target: x86_64-unknown-freebsd12.0 Thread model: 
posix InstalledDir: /usr/bin
_OBJC_ALTCCVERSION_921dbbb2=none
ARCH=amd64
OPSYS=FreeBSD
_OSRELEASE=12.0-CURRENT
OSREL=12.0
OSVERSION=1200063
PYTHONBASE=/usr/local
HAVE_COMPAT_IA32_KERN=YES
CONFIGURE_MAX_CMD_LEN=262144
HAVE_PORTS_ENV=1
#### Misc Poudriere ####
GID=0
UID=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.5_1.txz
[head-amd64-default-job-02] Installing pkg-1.10.5_1...
[head-amd64-default-job-02] Extracting pkg-1.10.5_1: .......... 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
<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
_______________________________________________
freebsd-pkg-fallout@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-pkg-fallout
To unsubscribe, send any mail to "freebsd-pkg-fallout-unsubscr...@freebsd.org"

Reply via email to