Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- robot@ev3dev:~/.smt_solvers/cvc4/cvc5-391ab9df6c3fd9a3771864900c1718534c1e4666/contrib$ ./get-antlr-3.4
- --2021-05-16 09:32:35-- http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess;hb=HEAD
- Resolving git.savannah.gnu.org (git.savannah.gnu.org)... 209.51.188.201
- Connecting to git.savannah.gnu.org (git.savannah.gnu.org)|209.51.188.201|:80... connected.
- HTTP request sent, awaiting response... 200 OK
- Length: unspecified [text/plain]
- Saving to: ‘antlr-3.4/config.guess’
- antlr-3.4/config.guess [ <=> ] 48.44K 206KB/s in 0.2s
- 2021-05-16 09:32:36 (206 KB/s) - ‘antlr-3.4/config.guess’ saved [49598]
- + mkdir -p antlr-3.4/share/java
- + mkdir -p antlr-3.4/bin
- + mkdir -p antlr-3.4/src
- + cd antlr-3.4
- + webget https://www.antlr3.org/download/antlr-3.4-complete.jar share/java/antlr-3.4-complete.jar
- + which wget
- + wget -c -O share/java/antlr-3.4-complete.jar https://www.antlr3.org/download/antlr-3.4-complete.jar
- --2021-05-16 09:32:41-- https://www.antlr3.org/download/antlr-3.4-complete.jar
- Resolving www.antlr3.org (www.antlr3.org)... 185.199.109.153, 185.199.108.153, 185.199.111.153, ...
- Connecting to www.antlr3.org (www.antlr3.org)|185.199.109.153|:443... connected.
- HTTP request sent, awaiting response... 200 OK
- Length: 2388361 (2.3M) [application/java-archive]
- Saving to: ‘share/java/antlr-3.4-complete.jar’
- share/java/antlr-3.4-complete.jar 100%[=================================================================================================================================================================================================>] 2.28M 656KB/s in 3.8s
- 2021-05-16 09:32:47 (619 KB/s) - ‘share/java/antlr-3.4-complete.jar’ saved [2388361/2388361]
- + webget https://www.antlr3.org/download/C/libantlr3c-3.4.tar.gz src/libantlr3c-3.4.tar.gz
- + which wget
- + wget -c -O src/libantlr3c-3.4.tar.gz https://www.antlr3.org/download/C/libantlr3c-3.4.tar.gz
- --2021-05-16 09:32:47-- https://www.antlr3.org/download/C/libantlr3c-3.4.tar.gz
- Resolving www.antlr3.org (www.antlr3.org)... 185.199.109.153, 185.199.110.153, 185.199.111.153, ...
- Connecting to www.antlr3.org (www.antlr3.org)|185.199.109.153|:443... connected.
- HTTP request sent, awaiting response... 200 OK
- Length: 546039 (533K) [application/gzip]
- Saving to: ‘src/libantlr3c-3.4.tar.gz’
- src/libantlr3c-3.4.tar.gz 100%[=================================================================================================================================================================================================>] 533.24K 491KB/s in 1.1s
- 2021-05-16 09:32:50 (491 KB/s) - ‘src/libantlr3c-3.4.tar.gz’ saved [546039/546039]
- + tee bin/antlr3
- ++ pwd
- #!/bin/bash
- export CLASSPATH=/home/robot/.smt_solvers/cvc4/cvc5-391ab9df6c3fd9a3771864900c1718534c1e4666/antlr-3.4/share/java/antlr-3.4-complete.jar:$CLASSPATH
- exec java org.antlr.Tool "$@"
- + chmod a+x bin/antlr3
- + cd src
- + gunzip -f libantlr3c-3.4.tar.gz
- + tar xfv libantlr3c-3.4.tar
- libantlr3c-3.4/
- libantlr3c-3.4/depcomp
- libantlr3c-3.4/doxygen/
- libantlr3c-3.4/doxygen/using.dox
- libantlr3c-3.4/doxygen/mainpage.dox
- libantlr3c-3.4/doxygen/atsections.dox
- libantlr3c-3.4/doxygen/knownissues.dox
- libantlr3c-3.4/doxygen/doxygengroups.dox
- libantlr3c-3.4/doxygen/changes31.dox
- libantlr3c-3.4/doxygen/runtime.dox
- libantlr3c-3.4/doxygen/interop.dox
- libantlr3c-3.4/doxygen/generate.dox
- libantlr3c-3.4/doxygen/build.dox
- libantlr3c-3.4/doxygen/buildrec.dox
- libantlr3c-3.4/COPYING
- libantlr3c-3.4/C.vcproj.vspscc
- libantlr3c-3.4/aclocal.m4
- libantlr3c-3.4/C.vssscc
- libantlr3c-3.4/Makefile.am
- libantlr3c-3.4/include/
- libantlr3c-3.4/include/antlr3cyclicdfa.h
- libantlr3c-3.4/include/antlr3commontoken.h
- libantlr3c-3.4/include/antlr3.h
- libantlr3c-3.4/include/antlr3basetree.h
- libantlr3c-3.4/include/antlr3defs.h
- libantlr3c-3.4/include/antlr3commontree.h
- libantlr3c-3.4/include/antlr3recognizersharedstate.h
- libantlr3c-3.4/include/antlr3filestream.h
- libantlr3c-3.4/include/antlr3parsetree.h
- libantlr3c-3.4/include/antlr3commontreeadaptor.h
- libantlr3c-3.4/include/antlr3treeparser.h
- libantlr3c-3.4/include/antlr3baserecognizer.h
- libantlr3c-3.4/include/antlr3memory.h
- libantlr3c-3.4/include/antlr3interfaces.h
- libantlr3c-3.4/include/antlr3input.h
- libantlr3c-3.4/include/antlr3encodings.h
- libantlr3c-3.4/include/antlr3errors.h
- libantlr3c-3.4/include/antlr3string.h
- libantlr3c-3.4/include/antlr3basetreeadaptor.h
- libantlr3c-3.4/include/antlr3debugeventlistener.h
- libantlr3c-3.4/include/antlr3commontreenodestream.h
- libantlr3c-3.4/include/antlr3bitset.h
- libantlr3c-3.4/include/antlr3parser.h
- libantlr3c-3.4/include/antlr3lexer.h
- libantlr3c-3.4/include/antlr3rewritestreams.h
- libantlr3c-3.4/include/antlr3tokenstream.h
- libantlr3c-3.4/include/antlr3convertutf.h
- libantlr3c-3.4/include/antlr3collections.h
- libantlr3c-3.4/include/antlr3intstream.h
- libantlr3c-3.4/include/antlr3exception.h
- libantlr3c-3.4/C.sln
- libantlr3c-3.4/INSTALL
- libantlr3c-3.4/install-sh
- libantlr3c-3.4/ltmain.sh
- libantlr3c-3.4/config.sub
- libantlr3c-3.4/AUTHORS
- libantlr3c-3.4/missing
- libantlr3c-3.4/config.guess
- libantlr3c-3.4/m4/
- libantlr3c-3.4/m4/ltoptions.m4
- libantlr3c-3.4/m4/libtool.m4
- libantlr3c-3.4/m4/ltversion.m4
- libantlr3c-3.4/m4/ltsugar.m4
- libantlr3c-3.4/m4/lt~obsolete.m4
- libantlr3c-3.4/Makefile.in
- libantlr3c-3.4/README
- libantlr3c-3.4/vsrulefiles/
- libantlr3c-3.4/vsrulefiles/antlr3treeparser.rules
- libantlr3c-3.4/vsrulefiles/antlr3lexer.rules
- libantlr3c-3.4/vsrulefiles/antlr3parser.rules
- libantlr3c-3.4/vsrulefiles/antlr3lexerandparser.rules
- libantlr3c-3.4/antlr3config.h.in
- libantlr3c-3.4/src/
- libantlr3c-3.4/src/antlr3cyclicdfa.c
- libantlr3c-3.4/src/antlr3basetreeadaptor.c
- libantlr3c-3.4/src/antlr3filestream.c
- libantlr3c-3.4/src/antlr3intstream.c
- libantlr3c-3.4/src/antlr3convertutf.c
- libantlr3c-3.4/src/antlr3basetree.c
- libantlr3c-3.4/src/antlr3rewritestreams.c
- libantlr3c-3.4/src/antlr3baserecognizer.c
- libantlr3c-3.4/src/antlr3commontreenodestream.c
- libantlr3c-3.4/src/antlr3collections.c
- libantlr3c-3.4/src/antlr3commontoken.c
- libantlr3c-3.4/src/antlr3parser.c
- libantlr3c-3.4/src/antlr3bitset.c
- libantlr3c-3.4/src/antlr3inputstream.c
- libantlr3c-3.4/src/antlr3string.c
- libantlr3c-3.4/src/antlr3tokenstream.c
- libantlr3c-3.4/src/antlr3commontree.c
- libantlr3c-3.4/src/antlr3lexer.c
- libantlr3c-3.4/src/antlr3exception.c
- libantlr3c-3.4/src/antlr3treeparser.c
- libantlr3c-3.4/src/antlr3encodings.c
- libantlr3c-3.4/src/antlr3debughandlers.c
- libantlr3c-3.4/src/antlr3commontreeadaptor.c
- libantlr3c-3.4/antlr3config.h
- libantlr3c-3.4/C.vcproj
- libantlr3c-3.4/configure.ac
- libantlr3c-3.4/doxyfile
- libantlr3c-3.4/ChangeLog
- libantlr3c-3.4/NEWS
- libantlr3c-3.4/configure
- + cd libantlr3c-3.4
- +++ pwd
- ++ realpath /home/robot/.smt_solvers/cvc4/cvc5-391ab9df6c3fd9a3771864900c1718534c1e4666/antlr-3.4/src/libantlr3c-3.4/../..
- + PREFIX=/home/robot/.smt_solvers/cvc4/cvc5-391ab9df6c3fd9a3771864900c1718534c1e4666/antlr-3.4
- + rm -rf src/antlr3debughandlers.c
- + touch src/antlr3debughandlers.c
- + '[' armv5tejl == x86_64 ']'
- + ./configure --disable-antlrdebug --prefix=/home/robot/.smt_solvers/cvc4/cvc5-391ab9df6c3fd9a3771864900c1718534c1e4666/antlr-3.4 --disable-shared --enable-static
- checking for a BSD-compatible install... /usr/bin/install -c
- checking whether build environment is sane... yes
- checking for a thread-safe mkdir -p... /bin/mkdir -p
- checking for gawk... no
- checking for mawk... mawk
- checking whether make sets $(MAKE)... yes
- checking for xlc... no
- checking for aCC... no
- checking for gcc... gcc
- checking whether the C compiler works... yes
- checking for C compiler default output file name... a.out
- checking for suffix of executables...
- checking whether we are cross compiling... no
- checking for suffix of object files... o
- checking whether we are using the GNU C compiler... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to accept ISO C89... none needed
- checking for style of include used by make... GNU
- checking dependency style of gcc... gcc3
- checking whether to enable maintainer-specific portions of Makefiles... no
- checking build system type... armv5tejl-unknown-linux-gnueabi
- checking host system type... armv5tejl-unknown-linux-gnueabi
- checking how to print strings... printf
- checking for a sed that does not truncate output... /bin/sed
- checking for grep that handles long lines and -e... /bin/grep
- checking for egrep... /bin/grep -E
- checking for fgrep... /bin/grep -F
- checking for ld used by gcc... /usr/bin/ld
- checking if the linker (/usr/bin/ld) is GNU ld... yes
- checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B
- checking the name lister (/usr/bin/nm -B) interface... BSD nm
- checking whether ln -s works... yes
- checking the maximum length of command line arguments... 1572864
- checking whether the shell understands some XSI constructs... yes
- checking whether the shell understands "+="... yes
- checking for /usr/bin/ld option to reload object files... -r
- checking for objdump... objdump
- checking how to recognize dependent libraries... pass_all
- checking for ar... ar
- checking for strip... strip
- checking for ranlib... ranlib
- checking command to parse /usr/bin/nm -B output from gcc object... ok
- checking how to run the C preprocessor... gcc -E
- checking for ANSI C header files... yes
- checking for sys/types.h... yes
- checking for sys/stat.h... yes
- checking for stdlib.h... yes
- checking for string.h... yes
- checking for memory.h... yes
- checking for strings.h... yes
- checking for inttypes.h... yes
- checking for stdint.h... yes
- checking for unistd.h... yes
- checking for dlfcn.h... yes
- checking for objdir... .libs
- checking if gcc supports -fno-rtti -fno-exceptions... no
- checking for gcc option to produce PIC... -fPIC -DPIC
- checking if gcc PIC flag -fPIC -DPIC works... yes
- checking if gcc static flag -static works... yes
- checking if gcc supports -c -o file.o... yes
- checking if gcc supports -c -o file.o... (cached) yes
- checking whether the gcc linker (/usr/bin/ld) supports shared libraries... yes
- checking dynamic linker characteristics... GNU/Linux ld.so
- checking how to hardcode library paths into programs... immediate
- checking whether stripping libraries is possible... yes
- checking if libtool supports shared libraries... yes
- checking whether to build shared libraries... no
- checking whether to build static libraries... yes
- checking compiler flags required for compiling ANTLR with gcc C compiler on host armv5tejl-unknown-linux-gnueabi... -m32 -O2 -Wall
- checking whether ln -s works... yes
- checking whether make sets $(MAKE)... (cached) yes
- ./configure: line 10723: #include: command not found
- checking for sys/types.h... (cached) yes
- checking for netinet/in.h... no
- checking for arpa/nameser.h... no
- checking for netdb.h... no
- checking for resolv.h... no
- checking for sys/malloc.h... no
- checking for malloc.h... no
- checking for stdarg.h... no
- checking for sys/stat.h... (cached) yes
- checking for ctype.h... no
- checking for netinet/tcp.h... no
- checking for sys/socket.h... no
- checking for socket.h... no
- checking for an ANSI C-conforming const... no
- checking for size_t... no
- checking for int8_t... no
- checking for int16_t... no
- checking for int32_t... no
- checking for int64_t... no
- checking for intptr_t... no
- checking for uint8_t... no
- checking for uint16_t... no
- checking for uint32_t... no
- checking for uint64_t... no
- checking for uintptr_t... no
- checking for inline... no
- checking for memmove... no
- checking for memset... no
- checking for strdup... no
- checking for accept... no
- configure: creating ./config.status
- config.status: creating Makefile
- config.status: creating antlr3config.h
- config.status: executing depfiles commands
- config.status: executing libtool commands
- + cp Makefile Makefile.orig
- + sed 's,^\(CFLAGS = .*\),\1 -fexceptions,' Makefile.orig
- + make CFLAGS= CXXFLAGS= LDFLAGS=
- make all-am
- make[1]: Entering directory '/home/robot/.smt_solvers/cvc4/cvc5-391ab9df6c3fd9a3771864900c1718534c1e4666/antlr-3.4/src/libantlr3c-3.4'
- /bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -Iinclude -MT antlr3baserecognizer.lo -MD -MP -MF .deps/antlr3baserecognizer.Tpo -c -o antlr3baserecognizer.lo `test -f 'src/antlr3baserecognizer.c' || echo './'`src/antlr3baserecognizer.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -Iinclude -MT antlr3baserecognizer.lo -MD -MP -MF .deps/antlr3baserecognizer.Tpo -c src/antlr3baserecognizer.c -o antlr3baserecognizer.o
- In file included from include/antlr3defs.h:246:0,
- from include/antlr3baserecognizer.h:39,
- from src/antlr3baserecognizer.c:9:
- ./antlr3config.h:167:16: error: duplicate 'unsigned'
- #define size_t unsigned int
- ^
- ./antlr3config.h:167:25: error: two or more data types in declaration specifiers
- #define size_t unsigned int
- ^
- Makefile:449: recipe for target 'antlr3baserecognizer.lo' failed
- make[1]: *** [antlr3baserecognizer.lo] Error 1
- make[1]: Leaving directory '/home/robot/.smt_solvers/cvc4/cvc5-391ab9df6c3fd9a3771864900c1718534c1e4666/antlr-3.4/src/libantlr3c-3.4'
- Makefile:308: recipe for target 'all' failed
- make: *** [all] Error 2
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement