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>