=> Bootstrap dependency digest>=20010302: found digest-20160304 ===> Building for maude-2.6 /usr/pkg/bin/bmake all-recursive Making all in src Making all in 3rdParty if clang -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT malloc.o -MD -MP -MF ".deps/malloc.Tpo" -c -o malloc.o malloc.c; then mv -f ".deps/malloc.Tpo" ".deps/malloc.Po"; else rm -f ".deps/malloc.Tpo"; exit 1; fi rm -f libdlmalloc.a ar cru libdlmalloc.a malloc.o ranlib libdlmalloc.a Making all in Utility if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT macros.o -MD -MP -MF ".deps/macros.Tpo" -c -o macros.o macros.cc; then mv -f ".deps/macros.Tpo" ".deps/macros.Po"; else rm -f ".deps/macros.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT preVector.o -MD -MP -MF ".deps/preVector.Tpo" -c -o preVector.o preVector.cc; then mv -f ".deps/preVector.Tpo" ".deps/preVector.Po"; else rm -f ".deps/preVector.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT intSet.o -MD -MP -MF ".deps/intSet.Tpo" -c -o intSet.o intSet.cc; then mv -f ".deps/intSet.Tpo" ".deps/intSet.Po"; else rm -f ".deps/intSet.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT pointerSet.o -MD -MP -MF ".deps/pointerSet.Tpo" -c -o pointerSet.o pointerSet.cc; then mv -f ".deps/pointerSet.Tpo" ".deps/pointerSet.Po"; else rm -f ".deps/pointerSet.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT stringTable.o -MD -MP -MF ".deps/stringTable.Tpo" -c -o stringTable.o stringTable.cc; then mv -f ".deps/stringTable.Tpo" ".deps/stringTable.Po"; else rm -f ".deps/stringTable.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT graph.o -MD -MP -MF ".deps/graph.Tpo" -c -o graph.o graph.cc; then mv -f ".deps/graph.Tpo" ".deps/graph.Po"; else rm -f ".deps/graph.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT digraph.o -MD -MP -MF ".deps/digraph.Tpo" -c -o digraph.o digraph.cc; then mv -f ".deps/digraph.Tpo" ".deps/digraph.Po"; else rm -f ".deps/digraph.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT unionFind.o -MD -MP -MF ".deps/unionFind.Tpo" -c -o unionFind.o unionFind.cc; then mv -f ".deps/unionFind.Tpo" ".deps/unionFind.Po"; else rm -f ".deps/unionFind.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT diophantineSystem.o -MD -MP -MF ".deps/diophantineSystem.Tpo" -c -o diophantineSystem.o diophantineSystem.cc; then mv -f ".deps/diophantineSystem.Tpo" ".deps/diophantineSystem.Po"; else rm -f ".deps/diophantineSystem.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT natSet.o -MD -MP -MF ".deps/natSet.Tpo" -c -o natSet.o natSet.cc; then mv -f ".deps/natSet.Tpo" ".deps/natSet.Po"; else rm -f ".deps/natSet.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT pointerMap.o -MD -MP -MF ".deps/pointerMap.Tpo" -c -o pointerMap.o pointerMap.cc; then mv -f ".deps/pointerMap.Tpo" ".deps/pointerMap.Po"; else rm -f ".deps/pointerMap.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT sequencePartition.o -MD -MP -MF ".deps/sequencePartition.Tpo" -c -o sequencePartition.o sequencePartition.cc; then mv -f ".deps/sequencePartition.Tpo" ".deps/sequencePartition.Po"; else rm -f ".deps/sequencePartition.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT indent.o -MD -MP -MF ".deps/indent.Tpo" -c -o indent.o indent.cc; then mv -f ".deps/indent.Tpo" ".deps/indent.Po"; else rm -f ".deps/indent.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT binBuf.o -MD -MP -MF ".deps/binBuf.Tpo" -c -o binBuf.o binBuf.cc; then mv -f ".deps/binBuf.Tpo" ".deps/binBuf.Po"; else rm -f ".deps/binBuf.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT decBuf.o -MD -MP -MF ".deps/decBuf.Tpo" -c -o decBuf.o decBuf.cc; then mv -f ".deps/decBuf.Tpo" ".deps/decBuf.Po"; else rm -f ".deps/decBuf.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT bddUser.o -MD -MP -MF ".deps/bddUser.Tpo" -c -o bddUser.o bddUser.cc; then mv -f ".deps/bddUser.Tpo" ".deps/bddUser.Po"; else rm -f ".deps/bddUser.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT tty.o -MD -MP -MF ".deps/tty.Tpo" -c -o tty.o tty.cc; then mv -f ".deps/tty.Tpo" ".deps/tty.Po"; else rm -f ".deps/tty.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT bdd.o -MD -MP -MF ".deps/bdd.Tpo" -c -o bdd.o bdd.cc; then mv -f ".deps/bdd.Tpo" ".deps/bdd.Po"; else rm -f ".deps/bdd.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT timer.o -MD -MP -MF ".deps/timer.Tpo" -c -o timer.o timer.cc; then mv -f ".deps/timer.Tpo" ".deps/timer.Po"; else rm -f ".deps/timer.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT mpzSystem.o -MD -MP -MF ".deps/mpzSystem.Tpo" -c -o mpzSystem.o mpzSystem.cc; then mv -f ".deps/mpzSystem.Tpo" ".deps/mpzSystem.Po"; else rm -f ".deps/mpzSystem.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT intSystem.o -MD -MP -MF ".deps/intSystem.Tpo" -c -o intSystem.o intSystem.cc; then mv -f ".deps/intSystem.Tpo" ".deps/intSystem.Po"; else rm -f ".deps/intSystem.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I/usr/pkg/include -O2 -I/usr/pkg/include -MT allSat.o -MD -MP -MF ".deps/allSat.Tpo" -c -o allSat.o allSat.cc; then mv -f ".deps/allSat.Tpo" ".deps/allSat.Po"; else rm -f ".deps/allSat.Tpo"; exit 1; fi 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 if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I/usr/pkg/include -O2 -I/usr/pkg/include -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; then mv -f ".deps/libtemporal_a-logicFormula.Tpo" ".deps/libtemporal_a-logicFormula.Po"; else rm -f ".deps/libtemporal_a-logicFormula.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I/usr/pkg/include -O2 -I/usr/pkg/include -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; then mv -f ".deps/libtemporal_a-buchiAutomaton2.Tpo" ".deps/libtemporal_a-buchiAutomaton2.Po"; else rm -f ".deps/libtemporal_a-buchiAutomaton2.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I/usr/pkg/include -O2 -I/usr/pkg/include -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; then mv -f ".deps/libtemporal_a-transitionSet.Tpo" ".deps/libtemporal_a-transitionSet.Po"; else rm -f ".deps/libtemporal_a-transitionSet.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I/usr/pkg/include -O2 -I/usr/pkg/include -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; then mv -f ".deps/libtemporal_a-veryWeakAlternatingAutomaton.Tpo" ".deps/libtemporal_a-veryWeakAlternatingAutomaton.Po"; else rm -f ".deps/libtemporal_a-veryWeakAlternatingAutomaton.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I/usr/pkg/include -O2 -I/usr/pkg/include -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; then mv -f ".deps/libtemporal_a-rawTransitionSet.Tpo" ".deps/libtemporal_a-rawTransitionSet.Po"; else rm -f ".deps/libtemporal_a-rawTransitionSet.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I/usr/pkg/include -O2 -I/usr/pkg/include -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; then mv -f ".deps/libtemporal_a-genBuchiAutomaton.Tpo" ".deps/libtemporal_a-genBuchiAutomaton.Po"; else rm -f ".deps/libtemporal_a-genBuchiAutomaton.Tpo"; exit 1; fi if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I/usr/pkg/include -O2 -I/usr/pkg/include -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; then mv -f ".deps/libtemporal_a-modelChecker2.Tpo" ".deps/libtemporal_a-modelChecker2.Po"; else rm -f ".deps/libtemporal_a-modelChecker2.Tpo"; exit 1; fi 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 if clang++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -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; then mv -f ".deps/libinterface_a-symbol.Tpo" ".deps/libinterface_a-symbol.Po"; else rm -f ".deps/libinterface_a-symbol.Tpo"; exit 1; fi 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. bmake[3]: stopped in /var/pkgsrc/work/lang/maude/work/Maude-2.6/src/Interface *** Error code 1 Stop. bmake[2]: stopped in /var/pkgsrc/work/lang/maude/work/Maude-2.6/src *** Error code 1 Stop. bmake[1]: stopped in /var/pkgsrc/work/lang/maude/work/Maude-2.6 *** Error code 1 Stop. bmake: stopped in /var/pkgsrc/work/lang/maude/work/Maude-2.6 *** Error code 1 Stop. bmake[1]: stopped in /usr/pkgsrc/lang/maude *** Error code 1 Stop. bmake: stopped in /usr/pkgsrc/lang/maude