[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/mkdir conf24828.dir
<.> /bin/mkdir -p conf24828.dir
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p .
<.> /bin/mkdir -p -p .
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p --version .
<.> /bin/mkdir -p -p --version .
[*] /scratch/lang/maude/work/.tools/bin/mkdir .tst
<.> /bin/mkdir -p .tst
[*] /scratch/lang/maude/work/.wrapper/bin/gcc /scratch/lang/maude/work/.wrapper/bin/gcc --version
<.> /usr/bin/clang --version -Qunused-arguments -I/scratch/lang/maude/work/.buildlink/include -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/gcc /scratch/lang/maude/work/.wrapper/bin/gcc -v
<.> /usr/bin/clang -v 
[*] /scratch/lang/maude/work/.wrapper/bin/gcc /scratch/lang/maude/work/.wrapper/bin/gcc -V
<.> /usr/bin/clang -V -Qunused-arguments -I/scratch/lang/maude/work/.buildlink/include -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/gcc /scratch/lang/maude/work/.wrapper/bin/gcc -qversion
<.> /usr/bin/clang -qversion -Qunused-arguments -I/scratch/lang/maude/work/.buildlink/include -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/gcc /scratch/lang/maude/work/.wrapper/bin/gcc -O2 -I/usr/pkg/include -I/usr/pkg/include -L/usr/pkg/lib -Wl,-R/usr/pkg/lib conftest.c
<.> /usr/bin/clang -O2 -I/scratch/lang/maude/work/.buildlink/include -L/scratch/lang/maude/work/.buildlink/lib -Wl,-R/usr/pkg/lib conftest.c -Qunused-arguments 
[*] /scratch/lang/maude/work/.wrapper/bin/gcc /scratch/lang/maude/work/.wrapper/bin/gcc -o conftest -O2 -I/usr/pkg/include -I/usr/pkg/include -L/usr/pkg/lib -Wl,-R/usr/pkg/lib conftest.c
<.> /usr/bin/clang -o conftest -O2 -I/scratch/lang/maude/work/.buildlink/include -L/scratch/lang/maude/work/.buildlink/lib -Wl,-R/usr/pkg/lib conftest.c -Qunused-arguments 
[*] /scratch/lang/maude/work/.wrapper/bin/gcc /scratch/lang/maude/work/.wrapper/bin/gcc -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.c
<.> /usr/bin/clang -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.c -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/gcc /scratch/lang/maude/work/.wrapper/bin/gcc -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.c
<.> /usr/bin/clang -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.c -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/gcc /scratch/lang/maude/work/.wrapper/bin/gcc -c -g -I/usr/pkg/include conftest.c
<.> /usr/bin/clang -c -g -I/scratch/lang/maude/work/.buildlink/include conftest.c -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/gcc /scratch/lang/maude/work/.wrapper/bin/gcc -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.c
<.> /usr/bin/clang -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.c -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.tools/bin/echo done
<.> echo  done
[*] /scratch/lang/maude/work/.tools/bin/mkdir conftest.dir
<.> /bin/mkdir -p conftest.dir
[*] /scratch/lang/maude/work/.tools/bin/mkdir sub
<.> /bin/mkdir -p sub
[*] /scratch/lang/maude/work/.wrapper/bin/gcc /scratch/lang/maude/work/.wrapper/bin/gcc -c -o sub/conftest.o sub/conftest.c -MT sub/conftest.o -MD -MP -MF sub/conftest.TPo
<.> /usr/bin/clang -c -o sub/conftest.o sub/conftest.c -MT sub/conftest.o -MD -MP -MF sub/conftest.TPo -Qunused-arguments -I/scratch/lang/maude/work/.buildlink/include -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ --version
<.> /usr/bin/clang++ --version -Qunused-arguments -I/scratch/lang/maude/work/.buildlink/include -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -v
<.> /usr/bin/clang++ -v 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -V
<.> /usr/bin/clang++ -V -Qunused-arguments -I/scratch/lang/maude/work/.buildlink/include -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -qversion
<.> /usr/bin/clang++ -qversion -Qunused-arguments -I/scratch/lang/maude/work/.buildlink/include -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -g -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -g -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.tools/bin/mkdir conftest.dir
<.> /bin/mkdir -p conftest.dir
[*] /scratch/lang/maude/work/.tools/bin/mkdir sub
<.> /bin/mkdir -p sub
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -o sub/conftest.o sub/conftest.c -MT sub/conftest.o -MD -MP -MF sub/conftest.TPo
<.> /usr/bin/clang++ -c -o sub/conftest.o sub/conftest.c -MT sub/conftest.o -MD -MP -MF sub/conftest.TPo -Qunused-arguments -I/scratch/lang/maude/work/.buildlink/include -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -dumpversion
<.> /usr/bin/clang++ -dumpversion -Qunused-arguments -I/scratch/lang/maude/work/.buildlink/include -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/gcc /scratch/lang/maude/work/.wrapper/bin/gcc -o conftest -O2 -I/usr/pkg/include -I/usr/pkg/include -L/usr/pkg/lib -Wl,-R/usr/pkg/lib conftest.c -lnsl
<.> /usr/bin/clang -o conftest -O2 -I/scratch/lang/maude/work/.buildlink/include -L/scratch/lang/maude/work/.buildlink/lib -Wl,-R/usr/pkg/lib conftest.c -Qunused-arguments  -lnsl
[*] /scratch/lang/maude/work/.wrapper/bin/gcc /scratch/lang/maude/work/.wrapper/bin/gcc -o conftest -O2 -I/usr/pkg/include -I/usr/pkg/include -L/usr/pkg/lib -Wl,-R/usr/pkg/lib conftest.c -lsocket
<.> /usr/bin/clang -o conftest -O2 -I/scratch/lang/maude/work/.buildlink/include -L/scratch/lang/maude/work/.buildlink/lib -Wl,-R/usr/pkg/lib conftest.c -Qunused-arguments  -lsocket
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -E -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -E -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -E -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -E -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -E -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -E -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -E -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -E -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -E -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -E -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -E -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -E -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -o conftest -O2 -I/usr/pkg/include -I/usr/pkg/include -L/usr/pkg/lib -Wl,-R/usr/pkg/lib conftest.cpp
<.> /usr/bin/clang++ -o conftest -O2 -I/scratch/lang/maude/work/.buildlink/include -L/scratch/lang/maude/work/.buildlink/lib -Wl,-R/usr/pkg/lib conftest.cpp -Qunused-arguments 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -E -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -E -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -E -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -E -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -E -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -E -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -E -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -E -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -E -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -E -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -E -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -E -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -E -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -E -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -E -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -E -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -E -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -E -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -c -O2 -I/usr/pkg/include -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -c -O2 -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -E -I/usr/pkg/include conftest.cpp
<.> /usr/bin/clang++ -E -I/scratch/lang/maude/work/.buildlink/include conftest.cpp -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -o conftest -O2 -I/usr/pkg/include -I/usr/pkg/include -L/usr/pkg/lib -Wl,-R/usr/pkg/lib conftest.cpp
<.> /usr/bin/clang++ -o conftest -O2 -I/scratch/lang/maude/work/.buildlink/include -L/scratch/lang/maude/work/.buildlink/lib -Wl,-R/usr/pkg/lib conftest.cpp -Qunused-arguments 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -o conftest -O2 -I/usr/pkg/include -I/usr/pkg/include -L/usr/pkg/lib -Wl,-R/usr/pkg/lib conftest.cpp
<.> /usr/bin/clang++ -o conftest -O2 -I/scratch/lang/maude/work/.buildlink/include -L/scratch/lang/maude/work/.buildlink/lib -Wl,-R/usr/pkg/lib conftest.cpp -Qunused-arguments 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -o conftest -O2 -I/usr/pkg/include -I/usr/pkg/include -L/usr/pkg/lib -Wl,-R/usr/pkg/lib conftest.cpp
<.> /usr/bin/clang++ -o conftest -O2 -I/scratch/lang/maude/work/.buildlink/include -L/scratch/lang/maude/work/.buildlink/lib -Wl,-R/usr/pkg/lib conftest.cpp -Qunused-arguments 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -o conftest -O2 -I/usr/pkg/include -I/usr/pkg/include -L/usr/pkg/lib -Wl,-R/usr/pkg/lib conftest.cpp
<.> /usr/bin/clang++ -o conftest -O2 -I/scratch/lang/maude/work/.buildlink/include -L/scratch/lang/maude/work/.buildlink/lib -Wl,-R/usr/pkg/lib conftest.cpp -Qunused-arguments 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -o conftest -O2 -I/usr/pkg/include -I/usr/pkg/include -L/usr/pkg/lib -Wl,-R/usr/pkg/lib conftest.cpp
<.> /usr/bin/clang++ -o conftest -O2 -I/scratch/lang/maude/work/.buildlink/include -L/scratch/lang/maude/work/.buildlink/lib -Wl,-R/usr/pkg/lib conftest.cpp -Qunused-arguments 
[*] /scratch/lang/maude/work/.tools/bin/mkdir conf16718.dir
<.> /bin/mkdir -p conf16718.dir
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p .
<.> /bin/mkdir -p -p .
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/3rdParty/./.deps
<.> /bin/mkdir -p -p src/3rdParty/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/Utility/./.deps
<.> /bin/mkdir -p -p src/Utility/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/Temporal/./.deps
<.> /bin/mkdir -p -p src/Temporal/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/Interface/./.deps
<.> /bin/mkdir -p -p src/Interface/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/Core/./.deps
<.> /bin/mkdir -p -p src/Core/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/Variable/./.deps
<.> /bin/mkdir -p -p src/Variable/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/NA_Theory/./.deps
<.> /bin/mkdir -p -p src/NA_Theory/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/ACU_Persistent/./.deps
<.> /bin/mkdir -p -p src/ACU_Persistent/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/ACU_Theory/./.deps
<.> /bin/mkdir -p -p src/ACU_Theory/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/AU_Persistent/./.deps
<.> /bin/mkdir -p -p src/AU_Persistent/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/AU_Theory/./.deps
<.> /bin/mkdir -p -p src/AU_Theory/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/CUI_Theory/./.deps
<.> /bin/mkdir -p -p src/CUI_Theory/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/S_Theory/./.deps
<.> /bin/mkdir -p -p src/S_Theory/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/FreeTheory/./.deps
<.> /bin/mkdir -p -p src/FreeTheory/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/Higher/./.deps
<.> /bin/mkdir -p -p src/Higher/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/BuiltIn/./.deps
<.> /bin/mkdir -p -p src/BuiltIn/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/IO_Stuff/./.deps
<.> /bin/mkdir -p -p src/IO_Stuff/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/ObjectSystem/./.deps
<.> /bin/mkdir -p -p src/ObjectSystem/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/Meta/./.deps
<.> /bin/mkdir -p -p src/Meta/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/FullCompiler/./.deps
<.> /bin/mkdir -p -p src/FullCompiler/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/MSCP10/./.deps
<.> /bin/mkdir -p -p src/MSCP10/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/StrategyLanguage/./.deps
<.> /bin/mkdir -p -p src/StrategyLanguage/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/Mixfix/./.deps
<.> /bin/mkdir -p -p src/Mixfix/./.deps
[*] /scratch/lang/maude/work/.tools/bin/mkdir -p src/Main/./.deps
<.> /bin/mkdir -p -p src/Main/./.deps
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/maude/work/.wrapper/bin/gcc /scratch/lang/maude/work/.wrapper/bin/gcc -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
<.> /usr/bin/clang -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT malloc.o -MD -MP -MF .deps/malloc.Tpo -c -o malloc.o malloc.c -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT macros.o -MD -MP -MF .deps/macros.Tpo -c -o macros.o macros.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT preVector.o -MD -MP -MF .deps/preVector.Tpo -c -o preVector.o preVector.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT intSet.o -MD -MP -MF .deps/intSet.Tpo -c -o intSet.o intSet.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT pointerSet.o -MD -MP -MF .deps/pointerSet.Tpo -c -o pointerSet.o pointerSet.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT stringTable.o -MD -MP -MF .deps/stringTable.Tpo -c -o stringTable.o stringTable.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT graph.o -MD -MP -MF .deps/graph.Tpo -c -o graph.o graph.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT digraph.o -MD -MP -MF .deps/digraph.Tpo -c -o digraph.o digraph.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT unionFind.o -MD -MP -MF .deps/unionFind.Tpo -c -o unionFind.o unionFind.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT diophantineSystem.o -MD -MP -MF .deps/diophantineSystem.Tpo -c -o diophantineSystem.o diophantineSystem.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT natSet.o -MD -MP -MF .deps/natSet.Tpo -c -o natSet.o natSet.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT pointerMap.o -MD -MP -MF .deps/pointerMap.Tpo -c -o pointerMap.o pointerMap.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT sequencePartition.o -MD -MP -MF .deps/sequencePartition.Tpo -c -o sequencePartition.o sequencePartition.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT indent.o -MD -MP -MF .deps/indent.Tpo -c -o indent.o indent.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT binBuf.o -MD -MP -MF .deps/binBuf.Tpo -c -o binBuf.o binBuf.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT decBuf.o -MD -MP -MF .deps/decBuf.Tpo -c -o decBuf.o decBuf.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT bddUser.o -MD -MP -MF .deps/bddUser.Tpo -c -o bddUser.o bddUser.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT tty.o -MD -MP -MF .deps/tty.Tpo -c -o tty.o tty.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT bdd.o -MD -MP -MF .deps/bdd.Tpo -c -o bdd.o bdd.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT timer.o -MD -MP -MF .deps/timer.Tpo -c -o timer.o timer.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT mpzSystem.o -MD -MP -MF .deps/mpzSystem.Tpo -c -o mpzSystem.o mpzSystem.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT intSystem.o -MD -MP -MF .deps/intSystem.Tpo -c -o intSystem.o intSystem.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I/scratch/lang/maude/work/.buildlink/include -O2 -MT allSat.o -MD -MP -MF .deps/allSat.Tpo -c -o allSat.o allSat.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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 logicFormula.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libtemporal_a-logicFormula.o -MD -MP -MF .deps/libtemporal_a-logicFormula.Tpo -c -o libtemporal_a-logicFormula.o logicFormula.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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 buchiAutomaton2.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libtemporal_a-buchiAutomaton2.o -MD -MP -MF .deps/libtemporal_a-buchiAutomaton2.Tpo -c -o libtemporal_a-buchiAutomaton2.o buchiAutomaton2.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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 transitionSet.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libtemporal_a-transitionSet.o -MD -MP -MF .deps/libtemporal_a-transitionSet.Tpo -c -o libtemporal_a-transitionSet.o transitionSet.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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 veryWeakAlternatingAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libtemporal_a-veryWeakAlternatingAutomaton.o -MD -MP -MF .deps/libtemporal_a-veryWeakAlternatingAutomaton.Tpo -c -o libtemporal_a-veryWeakAlternatingAutomaton.o veryWeakAlternatingAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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 rawTransitionSet.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libtemporal_a-rawTransitionSet.o -MD -MP -MF .deps/libtemporal_a-rawTransitionSet.Tpo -c -o libtemporal_a-rawTransitionSet.o rawTransitionSet.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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 genBuchiAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libtemporal_a-genBuchiAutomaton.o -MD -MP -MF .deps/libtemporal_a-genBuchiAutomaton.Tpo -c -o libtemporal_a-genBuchiAutomaton.o genBuchiAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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 modelChecker2.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libtemporal_a-modelChecker2.o -MD -MP -MF .deps/libtemporal_a-modelChecker2.Tpo -c -o libtemporal_a-modelChecker2.o modelChecker2.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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 symbol.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libinterface_a-symbol.o -MD -MP -MF .deps/libinterface_a-symbol.Tpo -c -o libinterface_a-symbol.o symbol.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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-binarySymbol.o -MD -MP -MF .deps/libinterface_a-binarySymbol.Tpo -c -o libinterface_a-binarySymbol.o binarySymbol.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libinterface_a-binarySymbol.o -MD -MP -MF .deps/libinterface_a-binarySymbol.Tpo -c -o libinterface_a-binarySymbol.o binarySymbol.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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-associativeSymbol.o -MD -MP -MF .deps/libinterface_a-associativeSymbol.Tpo -c -o libinterface_a-associativeSymbol.o associativeSymbol.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libinterface_a-associativeSymbol.o -MD -MP -MF .deps/libinterface_a-associativeSymbol.Tpo -c -o libinterface_a-associativeSymbol.o associativeSymbol.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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-term.o -MD -MP -MF .deps/libinterface_a-term.Tpo -c -o libinterface_a-term.o term.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libinterface_a-term.o -MD -MP -MF .deps/libinterface_a-term.Tpo -c -o libinterface_a-term.o term.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -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-dagNode.o -MD -MP -MF .deps/libinterface_a-dagNode.Tpo -c -o libinterface_a-dagNode.o dagNode.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libinterface_a-dagNode.o -MD -MP -MF .deps/libinterface_a-dagNode.Tpo -c -o libinterface_a-dagNode.o dagNode.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-memoryCell.o -MD -MP -MF .deps/libcore_a-memoryCell.Tpo -c -o libcore_a-memoryCell.o memoryCell.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-memoryCell.o -MD -MP -MF .deps/libcore_a-memoryCell.Tpo -c -o libcore_a-memoryCell.o memoryCell.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-rhsBuilder.o -MD -MP -MF .deps/libcore_a-rhsBuilder.Tpo -c -o libcore_a-rhsBuilder.o rhsBuilder.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-rhsBuilder.o -MD -MP -MF .deps/libcore_a-rhsBuilder.Tpo -c -o libcore_a-rhsBuilder.o rhsBuilder.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-termBag.o -MD -MP -MF .deps/libcore_a-termBag.Tpo -c -o libcore_a-termBag.o termBag.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-termBag.o -MD -MP -MF .deps/libcore_a-termBag.Tpo -c -o libcore_a-termBag.o termBag.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-bindingLhsAutomaton.o -MD -MP -MF .deps/libcore_a-bindingLhsAutomaton.Tpo -c -o libcore_a-bindingLhsAutomaton.o bindingLhsAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-bindingLhsAutomaton.o -MD -MP -MF .deps/libcore_a-bindingLhsAutomaton.Tpo -c -o libcore_a-bindingLhsAutomaton.o bindingLhsAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-trivialRhsAutomaton.o -MD -MP -MF .deps/libcore_a-trivialRhsAutomaton.Tpo -c -o libcore_a-trivialRhsAutomaton.o trivialRhsAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-trivialRhsAutomaton.o -MD -MP -MF .deps/libcore_a-trivialRhsAutomaton.Tpo -c -o libcore_a-trivialRhsAutomaton.o trivialRhsAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-copyRhsAutomaton.o -MD -MP -MF .deps/libcore_a-copyRhsAutomaton.Tpo -c -o libcore_a-copyRhsAutomaton.o copyRhsAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-copyRhsAutomaton.o -MD -MP -MF .deps/libcore_a-copyRhsAutomaton.Tpo -c -o libcore_a-copyRhsAutomaton.o copyRhsAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-variableInfo.o -MD -MP -MF .deps/libcore_a-variableInfo.Tpo -c -o libcore_a-variableInfo.o variableInfo.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-variableInfo.o -MD -MP -MF .deps/libcore_a-variableInfo.Tpo -c -o libcore_a-variableInfo.o variableInfo.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-narrowingVariableInfo.o -MD -MP -MF .deps/libcore_a-narrowingVariableInfo.Tpo -c -o libcore_a-narrowingVariableInfo.o narrowingVariableInfo.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-narrowingVariableInfo.o -MD -MP -MF .deps/libcore_a-narrowingVariableInfo.Tpo -c -o libcore_a-narrowingVariableInfo.o narrowingVariableInfo.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-termSet.o -MD -MP -MF .deps/libcore_a-termSet.Tpo -c -o libcore_a-termSet.o termSet.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-termSet.o -MD -MP -MF .deps/libcore_a-termSet.Tpo -c -o libcore_a-termSet.o termSet.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-strategy.o -MD -MP -MF .deps/libcore_a-strategy.Tpo -c -o libcore_a-strategy.o strategy.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-strategy.o -MD -MP -MF .deps/libcore_a-strategy.Tpo -c -o libcore_a-strategy.o strategy.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-sortTable.o -MD -MP -MF .deps/libcore_a-sortTable.Tpo -c -o libcore_a-sortTable.o sortTable.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-sortTable.o -MD -MP -MF .deps/libcore_a-sortTable.Tpo -c -o libcore_a-sortTable.o sortTable.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-sortConstraintTable.o -MD -MP -MF .deps/libcore_a-sortConstraintTable.Tpo -c -o libcore_a-sortConstraintTable.o sortConstraintTable.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-sortConstraintTable.o -MD -MP -MF .deps/libcore_a-sortConstraintTable.Tpo -c -o libcore_a-sortConstraintTable.o sortConstraintTable.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-equationTable.o -MD -MP -MF .deps/libcore_a-equationTable.Tpo -c -o libcore_a-equationTable.o equationTable.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-equationTable.o -MD -MP -MF .deps/libcore_a-equationTable.Tpo -c -o libcore_a-equationTable.o equationTable.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-ruleTable.o -MD -MP -MF .deps/libcore_a-ruleTable.Tpo -c -o libcore_a-ruleTable.o ruleTable.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-ruleTable.o -MD -MP -MF .deps/libcore_a-ruleTable.Tpo -c -o libcore_a-ruleTable.o ruleTable.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-sort.o -MD -MP -MF .deps/libcore_a-sort.Tpo -c -o libcore_a-sort.o sort.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-sort.o -MD -MP -MF .deps/libcore_a-sort.Tpo -c -o libcore_a-sort.o sort.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-connectedComponent.o -MD -MP -MF .deps/libcore_a-connectedComponent.Tpo -c -o libcore_a-connectedComponent.o connectedComponent.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-connectedComponent.o -MD -MP -MF .deps/libcore_a-connectedComponent.Tpo -c -o libcore_a-connectedComponent.o connectedComponent.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-module.o -MD -MP -MF .deps/libcore_a-module.Tpo -c -o libcore_a-module.o module.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-module.o -MD -MP -MF .deps/libcore_a-module.Tpo -c -o libcore_a-module.o module.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-substitution.o -MD -MP -MF .deps/libcore_a-substitution.Tpo -c -o libcore_a-substitution.o substitution.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-substitution.o -MD -MP -MF .deps/libcore_a-substitution.Tpo -c -o libcore_a-substitution.o substitution.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-localBinding.o -MD -MP -MF .deps/libcore_a-localBinding.Tpo -c -o libcore_a-localBinding.o localBinding.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-localBinding.o -MD -MP -MF .deps/libcore_a-localBinding.Tpo -c -o libcore_a-localBinding.o localBinding.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-subproblemSequence.o -MD -MP -MF .deps/libcore_a-subproblemSequence.Tpo -c -o libcore_a-subproblemSequence.o subproblemSequence.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-subproblemSequence.o -MD -MP -MF .deps/libcore_a-subproblemSequence.Tpo -c -o libcore_a-subproblemSequence.o subproblemSequence.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-subproblemDisjunction.o -MD -MP -MF .deps/libcore_a-subproblemDisjunction.Tpo -c -o libcore_a-subproblemDisjunction.o subproblemDisjunction.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-subproblemDisjunction.o -MD -MP -MF .deps/libcore_a-subproblemDisjunction.Tpo -c -o libcore_a-subproblemDisjunction.o subproblemDisjunction.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-sortCheckSubproblem.o -MD -MP -MF .deps/libcore_a-sortCheckSubproblem.Tpo -c -o libcore_a-sortCheckSubproblem.o sortCheckSubproblem.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-sortCheckSubproblem.o -MD -MP -MF .deps/libcore_a-sortCheckSubproblem.Tpo -c -o libcore_a-sortCheckSubproblem.o sortCheckSubproblem.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-disjunctiveSubproblemAccumulator.o -MD -MP -MF .deps/libcore_a-disjunctiveSubproblemAccumulator.Tpo -c -o libcore_a-disjunctiveSubproblemAccumulator.o disjunctiveSubproblemAccumulator.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-disjunctiveSubproblemAccumulator.o -MD -MP -MF .deps/libcore_a-disjunctiveSubproblemAccumulator.Tpo -c -o libcore_a-disjunctiveSubproblemAccumulator.o disjunctiveSubproblemAccumulator.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-preEquation.o -MD -MP -MF .deps/libcore_a-preEquation.Tpo -c -o libcore_a-preEquation.o preEquation.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-preEquation.o -MD -MP -MF .deps/libcore_a-preEquation.Tpo -c -o libcore_a-preEquation.o preEquation.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-equation.o -MD -MP -MF .deps/libcore_a-equation.Tpo -c -o libcore_a-equation.o equation.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-equation.o -MD -MP -MF .deps/libcore_a-equation.Tpo -c -o libcore_a-equation.o equation.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-rule.o -MD -MP -MF .deps/libcore_a-rule.Tpo -c -o libcore_a-rule.o rule.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-rule.o -MD -MP -MF .deps/libcore_a-rule.Tpo -c -o libcore_a-rule.o rule.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-sortConstraint.o -MD -MP -MF .deps/libcore_a-sortConstraint.Tpo -c -o libcore_a-sortConstraint.o sortConstraint.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-sortConstraint.o -MD -MP -MF .deps/libcore_a-sortConstraint.Tpo -c -o libcore_a-sortConstraint.o sortConstraint.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-rewritingContext.o -MD -MP -MF .deps/libcore_a-rewritingContext.Tpo -c -o libcore_a-rewritingContext.o rewritingContext.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-rewritingContext.o -MD -MP -MF .deps/libcore_a-rewritingContext.Tpo -c -o libcore_a-rewritingContext.o rewritingContext.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-variableAbstractionSubproblem.o -MD -MP -MF .deps/libcore_a-variableAbstractionSubproblem.Tpo -c -o libcore_a-variableAbstractionSubproblem.o variableAbstractionSubproblem.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-variableAbstractionSubproblem.o -MD -MP -MF .deps/libcore_a-variableAbstractionSubproblem.Tpo -c -o libcore_a-variableAbstractionSubproblem.o variableAbstractionSubproblem.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-equalitySubproblem.o -MD -MP -MF .deps/libcore_a-equalitySubproblem.Tpo -c -o libcore_a-equalitySubproblem.o equalitySubproblem.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-equalitySubproblem.o -MD -MP -MF .deps/libcore_a-equalitySubproblem.Tpo -c -o libcore_a-equalitySubproblem.o equalitySubproblem.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-dagRoot.o -MD -MP -MF .deps/libcore_a-dagRoot.Tpo -c -o libcore_a-dagRoot.o dagRoot.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-dagRoot.o -MD -MP -MF .deps/libcore_a-dagRoot.Tpo -c -o libcore_a-dagRoot.o dagRoot.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-cachedDag.o -MD -MP -MF .deps/libcore_a-cachedDag.Tpo -c -o libcore_a-cachedDag.o cachedDag.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-cachedDag.o -MD -MP -MF .deps/libcore_a-cachedDag.Tpo -c -o libcore_a-cachedDag.o cachedDag.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-extensionMatchSubproblem.o -MD -MP -MF .deps/libcore_a-extensionMatchSubproblem.Tpo -c -o libcore_a-extensionMatchSubproblem.o extensionMatchSubproblem.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-extensionMatchSubproblem.o -MD -MP -MF .deps/libcore_a-extensionMatchSubproblem.Tpo -c -o libcore_a-extensionMatchSubproblem.o extensionMatchSubproblem.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-dagNodeSet.o -MD -MP -MF .deps/libcore_a-dagNodeSet.Tpo -c -o libcore_a-dagNodeSet.o dagNodeSet.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-dagNodeSet.o -MD -MP -MF .deps/libcore_a-dagNodeSet.Tpo -c -o libcore_a-dagNodeSet.o dagNodeSet.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-hashConsSet.o -MD -MP -MF .deps/libcore_a-hashConsSet.Tpo -c -o libcore_a-hashConsSet.o hashConsSet.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-hashConsSet.o -MD -MP -MF .deps/libcore_a-hashConsSet.Tpo -c -o libcore_a-hashConsSet.o hashConsSet.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-memoTable.o -MD -MP -MF .deps/libcore_a-memoTable.Tpo -c -o libcore_a-memoTable.o memoTable.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-memoTable.o -MD -MP -MF .deps/libcore_a-memoTable.Tpo -c -o libcore_a-memoTable.o memoTable.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-memoMap.o -MD -MP -MF .deps/libcore_a-memoMap.Tpo -c -o libcore_a-memoMap.o memoMap.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-memoMap.o -MD -MP -MF .deps/libcore_a-memoMap.Tpo -c -o libcore_a-memoMap.o memoMap.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-rootContainer.o -MD -MP -MF .deps/libcore_a-rootContainer.Tpo -c -o libcore_a-rootContainer.o rootContainer.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-rootContainer.o -MD -MP -MF .deps/libcore_a-rootContainer.Tpo -c -o libcore_a-rootContainer.o rootContainer.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-sortBdds.o -MD -MP -MF .deps/libcore_a-sortBdds.Tpo -c -o libcore_a-sortBdds.o sortBdds.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-sortBdds.o -MD -MP -MF .deps/libcore_a-sortBdds.Tpo -c -o libcore_a-sortBdds.o sortBdds.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-unificationContext.o -MD -MP -MF .deps/libcore_a-unificationContext.Tpo -c -o libcore_a-unificationContext.o unificationContext.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-unificationContext.o -MD -MP -MF .deps/libcore_a-unificationContext.Tpo -c -o libcore_a-unificationContext.o unificationContext.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-protectedDagNodeSet.o -MD -MP -MF .deps/libcore_a-protectedDagNodeSet.Tpo -c -o libcore_a-protectedDagNodeSet.o protectedDagNodeSet.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-protectedDagNodeSet.o -MD -MP -MF .deps/libcore_a-protectedDagNodeSet.Tpo -c -o libcore_a-protectedDagNodeSet.o protectedDagNodeSet.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-pendingUnificationStack.o -MD -MP -MF .deps/libcore_a-pendingUnificationStack.Tpo -c -o libcore_a-pendingUnificationStack.o pendingUnificationStack.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-pendingUnificationStack.o -MD -MP -MF .deps/libcore_a-pendingUnificationStack.Tpo -c -o libcore_a-pendingUnificationStack.o pendingUnificationStack.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-unificationSubproblemDisjunction.o -MD -MP -MF .deps/libcore_a-unificationSubproblemDisjunction.Tpo -c -o libcore_a-unificationSubproblemDisjunction.o unificationSubproblemDisjunction.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-unificationSubproblemDisjunction.o -MD -MP -MF .deps/libcore_a-unificationSubproblemDisjunction.Tpo -c -o libcore_a-unificationSubproblemDisjunction.o unificationSubproblemDisjunction.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libcore_a-compoundCycleSubproblem.o -MD -MP -MF .deps/libcore_a-compoundCycleSubproblem.Tpo -c -o libcore_a-compoundCycleSubproblem.o compoundCycleSubproblem.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libcore_a-compoundCycleSubproblem.o -MD -MP -MF .deps/libcore_a-compoundCycleSubproblem.Tpo -c -o libcore_a-compoundCycleSubproblem.o compoundCycleSubproblem.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libvariable_a-variableSymbol.o -MD -MP -MF .deps/libvariable_a-variableSymbol.Tpo -c -o libvariable_a-variableSymbol.o variableSymbol.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libvariable_a-variableSymbol.o -MD -MP -MF .deps/libvariable_a-variableSymbol.Tpo -c -o libvariable_a-variableSymbol.o variableSymbol.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libvariable_a-variableTerm.o -MD -MP -MF .deps/libvariable_a-variableTerm.Tpo -c -o libvariable_a-variableTerm.o variableTerm.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libvariable_a-variableTerm.o -MD -MP -MF .deps/libvariable_a-variableTerm.Tpo -c -o libvariable_a-variableTerm.o variableTerm.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libvariable_a-variableDagNode.o -MD -MP -MF .deps/libvariable_a-variableDagNode.Tpo -c -o libvariable_a-variableDagNode.o variableDagNode.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libvariable_a-variableDagNode.o -MD -MP -MF .deps/libvariable_a-variableDagNode.Tpo -c -o libvariable_a-variableDagNode.o variableDagNode.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libvariable_a-variableLhsAutomaton.o -MD -MP -MF .deps/libvariable_a-variableLhsAutomaton.Tpo -c -o libvariable_a-variableLhsAutomaton.o variableLhsAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libvariable_a-variableLhsAutomaton.o -MD -MP -MF .deps/libvariable_a-variableLhsAutomaton.Tpo -c -o libvariable_a-variableLhsAutomaton.o variableLhsAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libNA_Theory_a-NA_Symbol.o -MD -MP -MF .deps/libNA_Theory_a-NA_Symbol.Tpo -c -o libNA_Theory_a-NA_Symbol.o NA_Symbol.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libNA_Theory_a-NA_Symbol.o -MD -MP -MF .deps/libNA_Theory_a-NA_Symbol.Tpo -c -o libNA_Theory_a-NA_Symbol.o NA_Symbol.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libNA_Theory_a-NA_Term.o -MD -MP -MF .deps/libNA_Theory_a-NA_Term.Tpo -c -o libNA_Theory_a-NA_Term.o NA_Term.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libNA_Theory_a-NA_Term.o -MD -MP -MF .deps/libNA_Theory_a-NA_Term.Tpo -c -o libNA_Theory_a-NA_Term.o NA_Term.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libNA_Theory_a-NA_DagNode.o -MD -MP -MF .deps/libNA_Theory_a-NA_DagNode.Tpo -c -o libNA_Theory_a-NA_DagNode.o NA_DagNode.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libNA_Theory_a-NA_DagNode.o -MD -MP -MF .deps/libNA_Theory_a-NA_DagNode.Tpo -c -o libNA_Theory_a-NA_DagNode.o NA_DagNode.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libNA_Theory_a-NA_LhsAutomaton.o -MD -MP -MF .deps/libNA_Theory_a-NA_LhsAutomaton.Tpo -c -o libNA_Theory_a-NA_LhsAutomaton.o NA_LhsAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libNA_Theory_a-NA_LhsAutomaton.o -MD -MP -MF .deps/libNA_Theory_a-NA_LhsAutomaton.Tpo -c -o libNA_Theory_a-NA_LhsAutomaton.o NA_LhsAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libNA_Theory_a-NA_RhsAutomaton.o -MD -MP -MF .deps/libNA_Theory_a-NA_RhsAutomaton.Tpo -c -o libNA_Theory_a-NA_RhsAutomaton.o NA_RhsAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libNA_Theory_a-NA_RhsAutomaton.o -MD -MP -MF .deps/libNA_Theory_a-NA_RhsAutomaton.Tpo -c -o libNA_Theory_a-NA_RhsAutomaton.o NA_RhsAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libACU_Persistent_a-ACU_RedBlackNode.o -MD -MP -MF .deps/libACU_Persistent_a-ACU_RedBlackNode.Tpo -c -o libACU_Persistent_a-ACU_RedBlackNode.o ACU_RedBlackNode.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libACU_Persistent_a-ACU_RedBlackNode.o -MD -MP -MF .deps/libACU_Persistent_a-ACU_RedBlackNode.Tpo -c -o libACU_Persistent_a-ACU_RedBlackNode.o ACU_RedBlackNode.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libACU_Persistent_a-ACU_Tree.o -MD -MP -MF .deps/libACU_Persistent_a-ACU_Tree.Tpo -c -o libACU_Persistent_a-ACU_Tree.o ACU_Tree.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libACU_Persistent_a-ACU_Tree.o -MD -MP -MF .deps/libACU_Persistent_a-ACU_Tree.Tpo -c -o libACU_Persistent_a-ACU_Tree.o ACU_Tree.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_Symbol.o -MD -MP -MF .deps/libACU_Theory_a-ACU_Symbol.Tpo -c -o libACU_Theory_a-ACU_Symbol.o ACU_Symbol.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libACU_Theory_a-ACU_Symbol.o -MD -MP -MF .deps/libACU_Theory_a-ACU_Symbol.Tpo -c -o libACU_Theory_a-ACU_Symbol.o ACU_Symbol.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_Term.o -MD -MP -MF .deps/libACU_Theory_a-ACU_Term.Tpo -c -o libACU_Theory_a-ACU_Term.o ACU_Term.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libACU_Theory_a-ACU_Term.o -MD -MP -MF .deps/libACU_Theory_a-ACU_Term.Tpo -c -o libACU_Theory_a-ACU_Term.o ACU_Term.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_BaseDagNode.o -MD -MP -MF .deps/libACU_Theory_a-ACU_BaseDagNode.Tpo -c -o libACU_Theory_a-ACU_BaseDagNode.o ACU_BaseDagNode.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libACU_Theory_a-ACU_BaseDagNode.o -MD -MP -MF .deps/libACU_Theory_a-ACU_BaseDagNode.Tpo -c -o libACU_Theory_a-ACU_BaseDagNode.o ACU_BaseDagNode.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_DagNode.o -MD -MP -MF .deps/libACU_Theory_a-ACU_DagNode.Tpo -c -o libACU_Theory_a-ACU_DagNode.o ACU_DagNode.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libACU_Theory_a-ACU_DagNode.o -MD -MP -MF .deps/libACU_Theory_a-ACU_DagNode.Tpo -c -o libACU_Theory_a-ACU_DagNode.o ACU_DagNode.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_TreeDagNode.o -MD -MP -MF .deps/libACU_Theory_a-ACU_TreeDagNode.Tpo -c -o libACU_Theory_a-ACU_TreeDagNode.o ACU_TreeDagNode.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libACU_Theory_a-ACU_TreeDagNode.o -MD -MP -MF .deps/libACU_Theory_a-ACU_TreeDagNode.Tpo -c -o libACU_Theory_a-ACU_TreeDagNode.o ACU_TreeDagNode.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_RhsAutomaton.o -MD -MP -MF .deps/libACU_Theory_a-ACU_RhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_RhsAutomaton.o ACU_RhsAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libACU_Theory_a-ACU_RhsAutomaton.o -MD -MP -MF .deps/libACU_Theory_a-ACU_RhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_RhsAutomaton.o ACU_RhsAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_LhsAutomaton.o -MD -MP -MF .deps/libACU_Theory_a-ACU_LhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_LhsAutomaton.o ACU_LhsAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libACU_Theory_a-ACU_LhsAutomaton.o -MD -MP -MF .deps/libACU_Theory_a-ACU_LhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_LhsAutomaton.o ACU_LhsAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_Subproblem.o -MD -MP -MF .deps/libACU_Theory_a-ACU_Subproblem.Tpo -c -o libACU_Theory_a-ACU_Subproblem.o ACU_Subproblem.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libACU_Theory_a-ACU_Subproblem.o -MD -MP -MF .deps/libACU_Theory_a-ACU_Subproblem.Tpo -c -o libACU_Theory_a-ACU_Subproblem.o ACU_Subproblem.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_ExtensionInfo.o -MD -MP -MF .deps/libACU_Theory_a-ACU_ExtensionInfo.Tpo -c -o libACU_Theory_a-ACU_ExtensionInfo.o ACU_ExtensionInfo.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libACU_Theory_a-ACU_ExtensionInfo.o -MD -MP -MF .deps/libACU_Theory_a-ACU_ExtensionInfo.Tpo -c -o libACU_Theory_a-ACU_ExtensionInfo.o ACU_ExtensionInfo.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_CollectorLhsAutomaton.o -MD -MP -MF .deps/libACU_Theory_a-ACU_CollectorLhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_CollectorLhsAutomaton.o ACU_CollectorLhsAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libACU_Theory_a-ACU_CollectorLhsAutomaton.o -MD -MP -MF .deps/libACU_Theory_a-ACU_CollectorLhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_CollectorLhsAutomaton.o ACU_CollectorLhsAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_NGA_LhsAutomaton.o -MD -MP -MF .deps/libACU_Theory_a-ACU_NGA_LhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_NGA_LhsAutomaton.o ACU_NGA_LhsAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libACU_Theory_a-ACU_NGA_LhsAutomaton.o -MD -MP -MF .deps/libACU_Theory_a-ACU_NGA_LhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_NGA_LhsAutomaton.o ACU_NGA_LhsAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_VarLhsAutomaton.o -MD -MP -MF .deps/libACU_Theory_a-ACU_VarLhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_VarLhsAutomaton.o ACU_VarLhsAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libACU_Theory_a-ACU_VarLhsAutomaton.o -MD -MP -MF .deps/libACU_Theory_a-ACU_VarLhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_VarLhsAutomaton.o ACU_VarLhsAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_GndLhsAutomaton.o -MD -MP -MF .deps/libACU_Theory_a-ACU_GndLhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_GndLhsAutomaton.o ACU_GndLhsAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libACU_Theory_a-ACU_GndLhsAutomaton.o -MD -MP -MF .deps/libACU_Theory_a-ACU_GndLhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_GndLhsAutomaton.o ACU_GndLhsAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_NonLinearLhsAutomaton.o -MD -MP -MF .deps/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_NonLinearLhsAutomaton.o ACU_NonLinearLhsAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libACU_Theory_a-ACU_NonLinearLhsAutomaton.o -MD -MP -MF .deps/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_NonLinearLhsAutomaton.o ACU_NonLinearLhsAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_ArgumentIterator.o -MD -MP -MF .deps/libACU_Theory_a-ACU_ArgumentIterator.Tpo -c -o libACU_Theory_a-ACU_ArgumentIterator.o ACU_ArgumentIterator.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libACU_Theory_a-ACU_ArgumentIterator.o -MD -MP -MF .deps/libACU_Theory_a-ACU_ArgumentIterator.Tpo -c -o libACU_Theory_a-ACU_ArgumentIterator.o ACU_ArgumentIterator.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_DagArgumentIterator.o -MD -MP -MF .deps/libACU_Theory_a-ACU_DagArgumentIterator.Tpo -c -o libACU_Theory_a-ACU_DagArgumentIterator.o ACU_DagArgumentIterator.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libACU_Theory_a-ACU_DagArgumentIterator.o -MD -MP -MF .deps/libACU_Theory_a-ACU_DagArgumentIterator.Tpo -c -o libACU_Theory_a-ACU_DagArgumentIterator.o ACU_DagArgumentIterator.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_TreeDagArgumentIterator.o -MD -MP -MF .deps/libACU_Theory_a-ACU_TreeDagArgumentIterator.Tpo -c -o libACU_Theory_a-ACU_TreeDagArgumentIterator.o ACU_TreeDagArgumentIterator.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libACU_Theory_a-ACU_TreeDagArgumentIterator.o -MD -MP -MF .deps/libACU_Theory_a-ACU_TreeDagArgumentIterator.Tpo -c -o libACU_Theory_a-ACU_TreeDagArgumentIterator.o ACU_TreeDagArgumentIterator.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_LazySubproblem.o -MD -MP -MF .deps/libACU_Theory_a-ACU_LazySubproblem.Tpo -c -o libACU_Theory_a-ACU_LazySubproblem.o ACU_LazySubproblem.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libACU_Theory_a-ACU_LazySubproblem.o -MD -MP -MF .deps/libACU_Theory_a-ACU_LazySubproblem.Tpo -c -o libACU_Theory_a-ACU_LazySubproblem.o ACU_LazySubproblem.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_UnificationSubproblem2.o -MD -MP -MF .deps/libACU_Theory_a-ACU_UnificationSubproblem2.Tpo -c -o libACU_Theory_a-ACU_UnificationSubproblem2.o ACU_UnificationSubproblem2.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libACU_Theory_a-ACU_UnificationSubproblem2.o -MD -MP -MF .deps/libACU_Theory_a-ACU_UnificationSubproblem2.Tpo -c -o libACU_Theory_a-ACU_UnificationSubproblem2.o ACU_UnificationSubproblem2.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libAU_Persistent_a-AU_StackNode.o -MD -MP -MF .deps/libAU_Persistent_a-AU_StackNode.Tpo -c -o libAU_Persistent_a-AU_StackNode.o AU_StackNode.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libAU_Persistent_a-AU_StackNode.o -MD -MP -MF .deps/libAU_Persistent_a-AU_StackNode.Tpo -c -o libAU_Persistent_a-AU_StackNode.o AU_StackNode.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libAU_Persistent_a-AU_Deque.o -MD -MP -MF .deps/libAU_Persistent_a-AU_Deque.Tpo -c -o libAU_Persistent_a-AU_Deque.o AU_Deque.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libAU_Persistent_a-AU_Deque.o -MD -MP -MF .deps/libAU_Persistent_a-AU_Deque.Tpo -c -o libAU_Persistent_a-AU_Deque.o AU_Deque.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libAU_Persistent_a-AU_DequeIter.o -MD -MP -MF .deps/libAU_Persistent_a-AU_DequeIter.Tpo -c -o libAU_Persistent_a-AU_DequeIter.o AU_DequeIter.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libAU_Persistent_a-AU_DequeIter.o -MD -MP -MF .deps/libAU_Persistent_a-AU_DequeIter.Tpo -c -o libAU_Persistent_a-AU_DequeIter.o AU_DequeIter.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_Symbol.o -MD -MP -MF .deps/libAU_Theory_a-AU_Symbol.Tpo -c -o libAU_Theory_a-AU_Symbol.o AU_Symbol.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libAU_Theory_a-AU_Symbol.o -MD -MP -MF .deps/libAU_Theory_a-AU_Symbol.Tpo -c -o libAU_Theory_a-AU_Symbol.o AU_Symbol.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_DagNode.o -MD -MP -MF .deps/libAU_Theory_a-AU_DagNode.Tpo -c -o libAU_Theory_a-AU_DagNode.o AU_DagNode.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libAU_Theory_a-AU_DagNode.o -MD -MP -MF .deps/libAU_Theory_a-AU_DagNode.Tpo -c -o libAU_Theory_a-AU_DagNode.o AU_DagNode.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_DequeDagNode.o -MD -MP -MF .deps/libAU_Theory_a-AU_DequeDagNode.Tpo -c -o libAU_Theory_a-AU_DequeDagNode.o AU_DequeDagNode.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libAU_Theory_a-AU_DequeDagNode.o -MD -MP -MF .deps/libAU_Theory_a-AU_DequeDagNode.Tpo -c -o libAU_Theory_a-AU_DequeDagNode.o AU_DequeDagNode.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_Term.o -MD -MP -MF .deps/libAU_Theory_a-AU_Term.Tpo -c -o libAU_Theory_a-AU_Term.o AU_Term.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libAU_Theory_a-AU_Term.o -MD -MP -MF .deps/libAU_Theory_a-AU_Term.Tpo -c -o libAU_Theory_a-AU_Term.o AU_Term.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_DagArgumentIterator.o -MD -MP -MF .deps/libAU_Theory_a-AU_DagArgumentIterator.Tpo -c -o libAU_Theory_a-AU_DagArgumentIterator.o AU_DagArgumentIterator.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libAU_Theory_a-AU_DagArgumentIterator.o -MD -MP -MF .deps/libAU_Theory_a-AU_DagArgumentIterator.Tpo -c -o libAU_Theory_a-AU_DagArgumentIterator.o AU_DagArgumentIterator.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_DequeDagArgumentIterator.o -MD -MP -MF .deps/libAU_Theory_a-AU_DequeDagArgumentIterator.Tpo -c -o libAU_Theory_a-AU_DequeDagArgumentIterator.o AU_DequeDagArgumentIterator.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libAU_Theory_a-AU_DequeDagArgumentIterator.o -MD -MP -MF .deps/libAU_Theory_a-AU_DequeDagArgumentIterator.Tpo -c -o libAU_Theory_a-AU_DequeDagArgumentIterator.o AU_DequeDagArgumentIterator.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_ExtensionInfo.o -MD -MP -MF .deps/libAU_Theory_a-AU_ExtensionInfo.Tpo -c -o libAU_Theory_a-AU_ExtensionInfo.o AU_ExtensionInfo.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libAU_Theory_a-AU_ExtensionInfo.o -MD -MP -MF .deps/libAU_Theory_a-AU_ExtensionInfo.Tpo -c -o libAU_Theory_a-AU_ExtensionInfo.o AU_ExtensionInfo.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_RhsAutomaton.o -MD -MP -MF .deps/libAU_Theory_a-AU_RhsAutomaton.Tpo -c -o libAU_Theory_a-AU_RhsAutomaton.o AU_RhsAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libAU_Theory_a-AU_RhsAutomaton.o -MD -MP -MF .deps/libAU_Theory_a-AU_RhsAutomaton.Tpo -c -o libAU_Theory_a-AU_RhsAutomaton.o AU_RhsAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_LhsAutomaton.o -MD -MP -MF .deps/libAU_Theory_a-AU_LhsAutomaton.Tpo -c -o libAU_Theory_a-AU_LhsAutomaton.o AU_LhsAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libAU_Theory_a-AU_LhsAutomaton.o -MD -MP -MF .deps/libAU_Theory_a-AU_LhsAutomaton.Tpo -c -o libAU_Theory_a-AU_LhsAutomaton.o AU_LhsAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_ArgumentIterator.o -MD -MP -MF .deps/libAU_Theory_a-AU_ArgumentIterator.Tpo -c -o libAU_Theory_a-AU_ArgumentIterator.o AU_ArgumentIterator.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libAU_Theory_a-AU_ArgumentIterator.o -MD -MP -MF .deps/libAU_Theory_a-AU_ArgumentIterator.Tpo -c -o libAU_Theory_a-AU_ArgumentIterator.o AU_ArgumentIterator.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_Layer.o -MD -MP -MF .deps/libAU_Theory_a-AU_Layer.Tpo -c -o libAU_Theory_a-AU_Layer.o AU_Layer.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libAU_Theory_a-AU_Layer.o -MD -MP -MF .deps/libAU_Theory_a-AU_Layer.Tpo -c -o libAU_Theory_a-AU_Layer.o AU_Layer.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_Subproblem.o -MD -MP -MF .deps/libAU_Theory_a-AU_Subproblem.Tpo -c -o libAU_Theory_a-AU_Subproblem.o AU_Subproblem.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libAU_Theory_a-AU_Subproblem.o -MD -MP -MF .deps/libAU_Theory_a-AU_Subproblem.Tpo -c -o libAU_Theory_a-AU_Subproblem.o AU_Subproblem.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libCUI_Theory_a-CUI_Symbol.o -MD -MP -MF .deps/libCUI_Theory_a-CUI_Symbol.Tpo -c -o libCUI_Theory_a-CUI_Symbol.o CUI_Symbol.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libCUI_Theory_a-CUI_Symbol.o -MD -MP -MF .deps/libCUI_Theory_a-CUI_Symbol.Tpo -c -o libCUI_Theory_a-CUI_Symbol.o CUI_Symbol.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libCUI_Theory_a-CUI_DagNode.o -MD -MP -MF .deps/libCUI_Theory_a-CUI_DagNode.Tpo -c -o libCUI_Theory_a-CUI_DagNode.o CUI_DagNode.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libCUI_Theory_a-CUI_DagNode.o -MD -MP -MF .deps/libCUI_Theory_a-CUI_DagNode.Tpo -c -o libCUI_Theory_a-CUI_DagNode.o CUI_DagNode.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libCUI_Theory_a-CUI_DagArgumentIterator.o -MD -MP -MF .deps/libCUI_Theory_a-CUI_DagArgumentIterator.Tpo -c -o libCUI_Theory_a-CUI_DagArgumentIterator.o CUI_DagArgumentIterator.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libCUI_Theory_a-CUI_DagArgumentIterator.o -MD -MP -MF .deps/libCUI_Theory_a-CUI_DagArgumentIterator.Tpo -c -o libCUI_Theory_a-CUI_DagArgumentIterator.o CUI_DagArgumentIterator.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libCUI_Theory_a-CUI_RhsAutomaton.o -MD -MP -MF .deps/libCUI_Theory_a-CUI_RhsAutomaton.Tpo -c -o libCUI_Theory_a-CUI_RhsAutomaton.o CUI_RhsAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libCUI_Theory_a-CUI_RhsAutomaton.o -MD -MP -MF .deps/libCUI_Theory_a-CUI_RhsAutomaton.Tpo -c -o libCUI_Theory_a-CUI_RhsAutomaton.o CUI_RhsAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libCUI_Theory_a-CUI_Term.o -MD -MP -MF .deps/libCUI_Theory_a-CUI_Term.Tpo -c -o libCUI_Theory_a-CUI_Term.o CUI_Term.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libCUI_Theory_a-CUI_Term.o -MD -MP -MF .deps/libCUI_Theory_a-CUI_Term.Tpo -c -o libCUI_Theory_a-CUI_Term.o CUI_Term.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libCUI_Theory_a-CUI_ArgumentIterator.o -MD -MP -MF .deps/libCUI_Theory_a-CUI_ArgumentIterator.Tpo -c -o libCUI_Theory_a-CUI_ArgumentIterator.o CUI_ArgumentIterator.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libCUI_Theory_a-CUI_ArgumentIterator.o -MD -MP -MF .deps/libCUI_Theory_a-CUI_ArgumentIterator.Tpo -c -o libCUI_Theory_a-CUI_ArgumentIterator.o CUI_ArgumentIterator.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libCUI_Theory_a-CUI_UnificationSubproblem.o -MD -MP -MF .deps/libCUI_Theory_a-CUI_UnificationSubproblem.Tpo -c -o libCUI_Theory_a-CUI_UnificationSubproblem.o CUI_UnificationSubproblem.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libCUI_Theory_a-CUI_UnificationSubproblem.o -MD -MP -MF .deps/libCUI_Theory_a-CUI_UnificationSubproblem.Tpo -c -o libCUI_Theory_a-CUI_UnificationSubproblem.o CUI_UnificationSubproblem.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libCUI_Theory_a-CUI_LhsAutomaton.o -MD -MP -MF .deps/libCUI_Theory_a-CUI_LhsAutomaton.Tpo -c -o libCUI_Theory_a-CUI_LhsAutomaton.o CUI_LhsAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libCUI_Theory_a-CUI_LhsAutomaton.o -MD -MP -MF .deps/libCUI_Theory_a-CUI_LhsAutomaton.Tpo -c -o libCUI_Theory_a-CUI_LhsAutomaton.o CUI_LhsAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libS_Theory_a-S_Symbol.o -MD -MP -MF .deps/libS_Theory_a-S_Symbol.Tpo -c -o libS_Theory_a-S_Symbol.o S_Symbol.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libS_Theory_a-S_Symbol.o -MD -MP -MF .deps/libS_Theory_a-S_Symbol.Tpo -c -o libS_Theory_a-S_Symbol.o S_Symbol.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libS_Theory_a-S_DagNode.o -MD -MP -MF .deps/libS_Theory_a-S_DagNode.Tpo -c -o libS_Theory_a-S_DagNode.o S_DagNode.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libS_Theory_a-S_DagNode.o -MD -MP -MF .deps/libS_Theory_a-S_DagNode.Tpo -c -o libS_Theory_a-S_DagNode.o S_DagNode.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libS_Theory_a-S_Term.o -MD -MP -MF .deps/libS_Theory_a-S_Term.Tpo -c -o libS_Theory_a-S_Term.o S_Term.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libS_Theory_a-S_Term.o -MD -MP -MF .deps/libS_Theory_a-S_Term.Tpo -c -o libS_Theory_a-S_Term.o S_Term.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libS_Theory_a-S_ExtensionInfo.o -MD -MP -MF .deps/libS_Theory_a-S_ExtensionInfo.Tpo -c -o libS_Theory_a-S_ExtensionInfo.o S_ExtensionInfo.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libS_Theory_a-S_ExtensionInfo.o -MD -MP -MF .deps/libS_Theory_a-S_ExtensionInfo.Tpo -c -o libS_Theory_a-S_ExtensionInfo.o S_ExtensionInfo.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libS_Theory_a-S_DagArgumentIterator.o -MD -MP -MF .deps/libS_Theory_a-S_DagArgumentIterator.Tpo -c -o libS_Theory_a-S_DagArgumentIterator.o S_DagArgumentIterator.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libS_Theory_a-S_DagArgumentIterator.o -MD -MP -MF .deps/libS_Theory_a-S_DagArgumentIterator.Tpo -c -o libS_Theory_a-S_DagArgumentIterator.o S_DagArgumentIterator.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libS_Theory_a-S_ArgumentIterator.o -MD -MP -MF .deps/libS_Theory_a-S_ArgumentIterator.Tpo -c -o libS_Theory_a-S_ArgumentIterator.o S_ArgumentIterator.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libS_Theory_a-S_ArgumentIterator.o -MD -MP -MF .deps/libS_Theory_a-S_ArgumentIterator.Tpo -c -o libS_Theory_a-S_ArgumentIterator.o S_ArgumentIterator.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libS_Theory_a-S_LhsAutomaton.o -MD -MP -MF .deps/libS_Theory_a-S_LhsAutomaton.Tpo -c -o libS_Theory_a-S_LhsAutomaton.o S_LhsAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libS_Theory_a-S_LhsAutomaton.o -MD -MP -MF .deps/libS_Theory_a-S_LhsAutomaton.Tpo -c -o libS_Theory_a-S_LhsAutomaton.o S_LhsAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libS_Theory_a-S_RhsAutomaton.o -MD -MP -MF .deps/libS_Theory_a-S_RhsAutomaton.Tpo -c -o libS_Theory_a-S_RhsAutomaton.o S_RhsAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libS_Theory_a-S_RhsAutomaton.o -MD -MP -MF .deps/libS_Theory_a-S_RhsAutomaton.Tpo -c -o libS_Theory_a-S_RhsAutomaton.o S_RhsAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libS_Theory_a-S_Subproblem.o -MD -MP -MF .deps/libS_Theory_a-S_Subproblem.Tpo -c -o libS_Theory_a-S_Subproblem.o S_Subproblem.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libS_Theory_a-S_Subproblem.o -MD -MP -MF .deps/libS_Theory_a-S_Subproblem.Tpo -c -o libS_Theory_a-S_Subproblem.o S_Subproblem.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeSymbol.o -MD -MP -MF .deps/libfreeTheory_a-freeSymbol.Tpo -c -o libfreeTheory_a-freeSymbol.o freeSymbol.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libfreeTheory_a-freeSymbol.o -MD -MP -MF .deps/libfreeTheory_a-freeSymbol.Tpo -c -o libfreeTheory_a-freeSymbol.o freeSymbol.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeUnarySymbol.o -MD -MP -MF .deps/libfreeTheory_a-freeUnarySymbol.Tpo -c -o libfreeTheory_a-freeUnarySymbol.o freeUnarySymbol.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libfreeTheory_a-freeUnarySymbol.o -MD -MP -MF .deps/libfreeTheory_a-freeUnarySymbol.Tpo -c -o libfreeTheory_a-freeUnarySymbol.o freeUnarySymbol.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeBinarySymbol.o -MD -MP -MF .deps/libfreeTheory_a-freeBinarySymbol.Tpo -c -o libfreeTheory_a-freeBinarySymbol.o freeBinarySymbol.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libfreeTheory_a-freeBinarySymbol.o -MD -MP -MF .deps/libfreeTheory_a-freeBinarySymbol.Tpo -c -o libfreeTheory_a-freeBinarySymbol.o freeBinarySymbol.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeTernarySymbol.o -MD -MP -MF .deps/libfreeTheory_a-freeTernarySymbol.Tpo -c -o libfreeTheory_a-freeTernarySymbol.o freeTernarySymbol.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libfreeTheory_a-freeTernarySymbol.o -MD -MP -MF .deps/libfreeTheory_a-freeTernarySymbol.Tpo -c -o libfreeTheory_a-freeTernarySymbol.o freeTernarySymbol.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeTerm.o -MD -MP -MF .deps/libfreeTheory_a-freeTerm.Tpo -c -o libfreeTheory_a-freeTerm.o freeTerm.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libfreeTheory_a-freeTerm.o -MD -MP -MF .deps/libfreeTheory_a-freeTerm.Tpo -c -o libfreeTheory_a-freeTerm.o freeTerm.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeArgumentIterator.o -MD -MP -MF .deps/libfreeTheory_a-freeArgumentIterator.Tpo -c -o libfreeTheory_a-freeArgumentIterator.o freeArgumentIterator.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libfreeTheory_a-freeArgumentIterator.o -MD -MP -MF .deps/libfreeTheory_a-freeArgumentIterator.Tpo -c -o libfreeTheory_a-freeArgumentIterator.o freeArgumentIterator.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeDagNode.o -MD -MP -MF .deps/libfreeTheory_a-freeDagNode.Tpo -c -o libfreeTheory_a-freeDagNode.o freeDagNode.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libfreeTheory_a-freeDagNode.o -MD -MP -MF .deps/libfreeTheory_a-freeDagNode.Tpo -c -o libfreeTheory_a-freeDagNode.o freeDagNode.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeDagArgumentIterator.o -MD -MP -MF .deps/libfreeTheory_a-freeDagArgumentIterator.Tpo -c -o libfreeTheory_a-freeDagArgumentIterator.o freeDagArgumentIterator.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libfreeTheory_a-freeDagArgumentIterator.o -MD -MP -MF .deps/libfreeTheory_a-freeDagArgumentIterator.Tpo -c -o libfreeTheory_a-freeDagArgumentIterator.o freeDagArgumentIterator.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeLhsAutomaton.o -MD -MP -MF .deps/libfreeTheory_a-freeLhsAutomaton.Tpo -c -o libfreeTheory_a-freeLhsAutomaton.o freeLhsAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libfreeTheory_a-freeLhsAutomaton.o -MD -MP -MF .deps/libfreeTheory_a-freeLhsAutomaton.Tpo -c -o libfreeTheory_a-freeLhsAutomaton.o freeLhsAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeRhsAutomaton.o -MD -MP -MF .deps/libfreeTheory_a-freeRhsAutomaton.Tpo -c -o libfreeTheory_a-freeRhsAutomaton.o freeRhsAutomaton.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libfreeTheory_a-freeRhsAutomaton.o -MD -MP -MF .deps/libfreeTheory_a-freeRhsAutomaton.Tpo -c -o libfreeTheory_a-freeRhsAutomaton.o freeRhsAutomaton.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeNet.o -MD -MP -MF .deps/libfreeTheory_a-freeNet.Tpo -c -o libfreeTheory_a-freeNet.o freeNet.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libfreeTheory_a-freeNet.o -MD -MP -MF .deps/libfreeTheory_a-freeNet.Tpo -c -o libfreeTheory_a-freeNet.o freeNet.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libfreeTheory_a-freePreNet.o -MD -MP -MF .deps/libfreeTheory_a-freePreNet.Tpo -c -o libfreeTheory_a-freePreNet.o freePreNet.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libfreeTheory_a-freePreNet.o -MD -MP -MF .deps/libfreeTheory_a-freePreNet.Tpo -c -o libfreeTheory_a-freePreNet.o freePreNet.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeRemainder.o -MD -MP -MF .deps/libfreeTheory_a-freeRemainder.Tpo -c -o libfreeTheory_a-freeRemainder.o freeRemainder.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libfreeTheory_a-freeRemainder.o -MD -MP -MF .deps/libfreeTheory_a-freeRemainder.Tpo -c -o libfreeTheory_a-freeRemainder.o freeRemainder.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libfreeTheory_a-freePositionTable.o -MD -MP -MF .deps/libfreeTheory_a-freePositionTable.Tpo -c -o libfreeTheory_a-freePositionTable.o freePositionTable.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libfreeTheory_a-freePositionTable.o -MD -MP -MF .deps/libfreeTheory_a-freePositionTable.Tpo -c -o libfreeTheory_a-freePositionTable.o freePositionTable.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libhigher_a-rewriteSearchState.o -MD -MP -MF .deps/libhigher_a-rewriteSearchState.Tpo -c -o libhigher_a-rewriteSearchState.o rewriteSearchState.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libhigher_a-rewriteSearchState.o -MD -MP -MF .deps/libhigher_a-rewriteSearchState.Tpo -c -o libhigher_a-rewriteSearchState.o rewriteSearchState.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libhigher_a-matchSearchState.o -MD -MP -MF .deps/libhigher_a-matchSearchState.Tpo -c -o libhigher_a-matchSearchState.o matchSearchState.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libhigher_a-matchSearchState.o -MD -MP -MF .deps/libhigher_a-matchSearchState.Tpo -c -o libhigher_a-matchSearchState.o matchSearchState.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libhigher_a-positionState.o -MD -MP -MF .deps/libhigher_a-positionState.Tpo -c -o libhigher_a-positionState.o positionState.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libhigher_a-positionState.o -MD -MP -MF .deps/libhigher_a-positionState.Tpo -c -o libhigher_a-positionState.o positionState.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libhigher_a-pattern.o -MD -MP -MF .deps/libhigher_a-pattern.Tpo -c -o libhigher_a-pattern.o pattern.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libhigher_a-pattern.o -MD -MP -MF .deps/libhigher_a-pattern.Tpo -c -o libhigher_a-pattern.o pattern.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libhigher_a-searchState.o -MD -MP -MF .deps/libhigher_a-searchState.Tpo -c -o libhigher_a-searchState.o searchState.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libhigher_a-searchState.o -MD -MP -MF .deps/libhigher_a-searchState.Tpo -c -o libhigher_a-searchState.o searchState.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libhigher_a-rewriteSequenceSearch.o -MD -MP -MF .deps/libhigher_a-rewriteSequenceSearch.Tpo -c -o libhigher_a-rewriteSequenceSearch.o rewriteSequenceSearch.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libhigher_a-rewriteSequenceSearch.o -MD -MP -MF .deps/libhigher_a-rewriteSequenceSearch.Tpo -c -o libhigher_a-rewriteSequenceSearch.o rewriteSequenceSearch.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libhigher_a-modelCheckerSymbol.o -MD -MP -MF .deps/libhigher_a-modelCheckerSymbol.Tpo -c -o libhigher_a-modelCheckerSymbol.o modelCheckerSymbol.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libhigher_a-modelCheckerSymbol.o -MD -MP -MF .deps/libhigher_a-modelCheckerSymbol.Tpo -c -o libhigher_a-modelCheckerSymbol.o modelCheckerSymbol.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libhigher_a-stateTransitionGraph.o -MD -MP -MF .deps/libhigher_a-stateTransitionGraph.Tpo -c -o libhigher_a-stateTransitionGraph.o stateTransitionGraph.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libhigher_a-stateTransitionGraph.o -MD -MP -MF .deps/libhigher_a-stateTransitionGraph.Tpo -c -o libhigher_a-stateTransitionGraph.o stateTransitionGraph.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libhigher_a-rewriteConditionFragment.o -MD -MP -MF .deps/libhigher_a-rewriteConditionFragment.Tpo -c -o libhigher_a-rewriteConditionFragment.o rewriteConditionFragment.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libhigher_a-rewriteConditionFragment.o -MD -MP -MF .deps/libhigher_a-rewriteConditionFragment.Tpo -c -o libhigher_a-rewriteConditionFragment.o rewriteConditionFragment.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libhigher_a-assignmentConditionFragment.o -MD -MP -MF .deps/libhigher_a-assignmentConditionFragment.Tpo -c -o libhigher_a-assignmentConditionFragment.o assignmentConditionFragment.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libhigher_a-assignmentConditionFragment.o -MD -MP -MF .deps/libhigher_a-assignmentConditionFragment.Tpo -c -o libhigher_a-assignmentConditionFragment.o assignmentConditionFragment.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libhigher_a-sortTestConditionFragment.o -MD -MP -MF .deps/libhigher_a-sortTestConditionFragment.Tpo -c -o libhigher_a-sortTestConditionFragment.o sortTestConditionFragment.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libhigher_a-sortTestConditionFragment.o -MD -MP -MF .deps/libhigher_a-sortTestConditionFragment.Tpo -c -o libhigher_a-sortTestConditionFragment.o sortTestConditionFragment.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libhigher_a-equalityConditionFragment.o -MD -MP -MF .deps/libhigher_a-equalityConditionFragment.Tpo -c -o libhigher_a-equalityConditionFragment.o equalityConditionFragment.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libhigher_a-equalityConditionFragment.o -MD -MP -MF .deps/libhigher_a-equalityConditionFragment.Tpo -c -o libhigher_a-equalityConditionFragment.o equalityConditionFragment.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libhigher_a-assignmentConditionState.o -MD -MP -MF .deps/libhigher_a-assignmentConditionState.Tpo -c -o libhigher_a-assignmentConditionState.o assignmentConditionState.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libhigher_a-assignmentConditionState.o -MD -MP -MF .deps/libhigher_a-assignmentConditionState.Tpo -c -o libhigher_a-assignmentConditionState.o assignmentConditionState.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libhigher_a-rewriteConditionState.o -MD -MP -MF .deps/libhigher_a-rewriteConditionState.Tpo -c -o libhigher_a-rewriteConditionState.o rewriteConditionState.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libhigher_a-rewriteConditionState.o -MD -MP -MF .deps/libhigher_a-rewriteConditionState.Tpo -c -o libhigher_a-rewriteConditionState.o rewriteConditionState.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libhigher_a-temporalSymbol.o -MD -MP -MF .deps/libhigher_a-temporalSymbol.Tpo -c -o libhigher_a-temporalSymbol.o temporalSymbol.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libhigher_a-temporalSymbol.o -MD -MP -MF .deps/libhigher_a-temporalSymbol.Tpo -c -o libhigher_a-temporalSymbol.o temporalSymbol.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libhigher_a-satSolverSymbol.o -MD -MP -MF .deps/libhigher_a-satSolverSymbol.Tpo -c -o libhigher_a-satSolverSymbol.o satSolverSymbol.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libhigher_a-satSolverSymbol.o -MD -MP -MF .deps/libhigher_a-satSolverSymbol.Tpo -c -o libhigher_a-satSolverSymbol.o satSolverSymbol.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libhigher_a-unificationProblem.o -MD -MP -MF .deps/libhigher_a-unificationProblem.Tpo -c -o libhigher_a-unificationProblem.o unificationProblem.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libhigher_a-unificationProblem.o -MD -MP -MF .deps/libhigher_a-unificationProblem.Tpo -c -o libhigher_a-unificationProblem.o unificationProblem.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libhigher_a-narrowingSearchState.o -MD -MP -MF .deps/libhigher_a-narrowingSearchState.Tpo -c -o libhigher_a-narrowingSearchState.o narrowingSearchState.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libhigher_a-narrowingSearchState.o -MD -MP -MF .deps/libhigher_a-narrowingSearchState.Tpo -c -o libhigher_a-narrowingSearchState.o narrowingSearchState.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libhigher_a-narrowingUnificationProblem.o -MD -MP -MF .deps/libhigher_a-narrowingUnificationProblem.Tpo -c -o libhigher_a-narrowingUnificationProblem.o narrowingUnificationProblem.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libhigher_a-narrowingUnificationProblem.o -MD -MP -MF .deps/libhigher_a-narrowingUnificationProblem.Tpo -c -o libhigher_a-narrowingUnificationProblem.o narrowingUnificationProblem.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libhigher_a-narrowingSequenceSearch.o -MD -MP -MF .deps/libhigher_a-narrowingSequenceSearch.Tpo -c -o libhigher_a-narrowingSequenceSearch.o narrowingSequenceSearch.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libhigher_a-narrowingSequenceSearch.o -MD -MP -MF .deps/libhigher_a-narrowingSequenceSearch.Tpo -c -o libhigher_a-narrowingSequenceSearch.o narrowingSequenceSearch.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libbuiltIn_a-equalitySymbol.o -MD -MP -MF .deps/libbuiltIn_a-equalitySymbol.Tpo -c -o libbuiltIn_a-equalitySymbol.o equalitySymbol.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libbuiltIn_a-equalitySymbol.o -MD -MP -MF .deps/libbuiltIn_a-equalitySymbol.Tpo -c -o libbuiltIn_a-equalitySymbol.o equalitySymbol.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libbuiltIn_a-sortTestSymbol.o -MD -MP -MF .deps/libbuiltIn_a-sortTestSymbol.Tpo -c -o libbuiltIn_a-sortTestSymbol.o sortTestSymbol.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libbuiltIn_a-sortTestSymbol.o -MD -MP -MF .deps/libbuiltIn_a-sortTestSymbol.Tpo -c -o libbuiltIn_a-sortTestSymbol.o sortTestSymbol.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libbuiltIn_a-branchSymbol.o -MD -MP -MF .deps/libbuiltIn_a-branchSymbol.Tpo -c -o libbuiltIn_a-branchSymbol.o branchSymbol.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libbuiltIn_a-branchSymbol.o -MD -MP -MF .deps/libbuiltIn_a-branchSymbol.Tpo -c -o libbuiltIn_a-branchSymbol.o branchSymbol.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
[*] /scratch/lang/maude/work/.wrapper/bin/c++ /scratch/lang/maude/work/.wrapper/bin/c++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -I/usr/pkg/include -O2 -I/usr/pkg/include -MT libbuiltIn_a-stringSymbol.o -MD -MP -MF .deps/libbuiltIn_a-stringSymbol.Tpo -c -o libbuiltIn_a-stringSymbol.o stringSymbol.cc
<.> /usr/bin/clang++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -I/scratch/lang/maude/work/.buildlink/include -O2 -MT libbuiltIn_a-stringSymbol.o -MD -MP -MF .deps/libbuiltIn_a-stringSymbol.Tpo -c -o libbuiltIn_a-stringSymbol.o stringSymbol.cc -Qunused-arguments -L/scratch/lang/maude/work/.buildlink/lib 
