Created
March 14, 2014 20:56
-
-
Save rurban/9556725 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| cil: | |
| $ git checkout develop && git pull && ./configure | |
| Already on 'develop' | |
| Your branch is up-to-date with 'origin/develop'. | |
| Already up-to-date. | |
| 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 a BSD-compatible install... /usr/bin/install -c | |
| checking build system type... x86_64-unknown-linux-gnu | |
| checking host system type... x86_64-unknown-linux-gnu | |
| checking target system type... x86_64-unknown-linux-gnu | |
| checking for msvc cl.exe (optional)... not found | |
| checking for ocamlc... ocamlc | |
| OCaml version is 4.01.0 | |
| OCaml library path is /usr/lib/ocaml | |
| checking for ocamlopt... ocamlopt | |
| checking for ocamlc.opt... ocamlc.opt | |
| checking for ocamlopt.opt... ocamlopt.opt | |
| checking for dynlink.cmxa... yes | |
| checking for ocaml... ocaml | |
| checking for ocamldep... ocamldep | |
| checking for ocamlmktop... ocamlmktop | |
| checking for ocamlmklib... ocamlmklib | |
| checking for ocamldoc... ocamldoc | |
| checking for ocamlbuild... ocamlbuild | |
| checking for ocamllex... ocamllex | |
| checking for ocamllex.opt... ocamllex.opt | |
| checking for ocamlyacc... ocamlyacc | |
| checking for ocamlfind... ocamlfind | |
| checking for perl... perl | |
| checking for cygpath... no | |
| checking for gcc version... checking how to run the C preprocessor... gcc -E | |
| checking for grep that handles long lines and -e... /bin/grep | |
| checking for egrep... /bin/grep -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 __builtin_va_list... yes | |
| checking if __thread is a keyword... true | |
| checking if gcc adds underscores to assembly labels.... false | |
| checking for ANSI C header files... (cached) yes | |
| checking for stdlib.h... (cached) yes | |
| checking for strings.h... (cached) yes | |
| checking sys/time.h usability... yes | |
| checking sys/time.h presence... yes | |
| checking for sys/time.h... yes | |
| checking for unistd.h... (cached) yes | |
| checking wchar.h usability... yes | |
| checking wchar.h presence... yes | |
| checking for wchar.h... yes | |
| checking stdbool.h usability... yes | |
| checking stdbool.h presence... yes | |
| checking for stdbool.h... yes | |
| checking for an ANSI C-conforming const... yes | |
| checking for inline... inline | |
| checking whether time.h and sys/time.h may both be included... yes | |
| checking for working memcmp... yes | |
| checking for mkdir... yes | |
| checking for select... yes | |
| checking for socket... yes | |
| checking for __sysv_signal... yes | |
| checking for real definition of size_t... unsigned long | |
| checking for real definition of wchar_t... int | |
| configure: creating ./config.status | |
| config.status: creating stamp-h | |
| config.status: creating Makefile | |
| config.status: creating config.mk | |
| config.status: creating lib/perl5/App/Cilly/CilConfig.pm | |
| config.status: creating doc/index.html | |
| config.status: creating doc/header.html | |
| config.status: creating src/machdep-ml.c | |
| config.status: creating src/cilversion.ml | |
| config.status: creating config.h | |
| config.status: config.h is unchanged | |
| CIL configuration: | |
| (optional) cl.exe found: HAS_MSVC no | |
| gcc to use CC gcc | |
| default compiler DEFAULT_COMPILER _GNUCC | |
| CIL version CIL_VERSION 1.7.3 | |
| Native OCaml CIL libs yes | |
| (develop 7922e44 test/) reini ~/Software/cil | |
| $ make test | |
| ... | |
| Successful tests: 367 | |
| Failed as expected: 30 | |
| Unexpected success: 4 | |
| Unexpected failure: 1 | |
| [44] A regression test command failed: | |
| make doc | |
| [58] GOOD NEWS: A test that used to fail (Notbug. Not a bug if fails on a non-Linux machine ;-)) now succeeds: | |
| make scott/asmfndecl | |
| [70] GOOD NEWS: A test that used to fail (Notbug. Not a bug if fails on a non-Linux machine ;-)) now succeeds: | |
| make scott/globalprob | |
| [87] GOOD NEWS: A test that used to fail (Notbug. Some gcc versions fail to compile this test on i386) now succeeds: | |
| make scott/regparm0 | |
| [189] GOOD NEWS: A test that used to fail (Bug. Constant-folding of very large arrays does not work on 32-bit machines.) now succeeds: | |
| make test/sizeof3 | |
| Makefile:296: recipe for target 'test' failed | |
| (no latex) | |
| $ sudo make install | |
| ... | |
| cpc: | |
| (develop 0ca695d lib/) reini ~/Software/cpc | |
| $ git checkout develop && git pull && ./configure | |
| Already on 'develop' | |
| Your branch is up-to-date with 'origin/develop'. | |
| Already up-to-date. | |
| 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 a BSD-compatible install... /usr/bin/install -c | |
| checking build system type... x86_64-unknown-linux-gnu | |
| checking host system type... x86_64-unknown-linux-gnu | |
| checking target system type... x86_64-unknown-linux-gnu | |
| checking for ranlib... ranlib | |
| checking for msvc cl.exe (optional)... not found | |
| checking for ocamlc... ocamlc | |
| OCaml version is 4.01.0 | |
| OCaml library path is /usr/lib/ocaml | |
| checking for ocamlopt... ocamlopt | |
| checking for ocamlc.opt... ocamlc.opt | |
| checking for ocamlopt.opt... ocamlopt.opt | |
| checking for ocaml... ocaml | |
| checking for ocamldep... ocamldep | |
| checking for ocamlmktop... ocamlmktop | |
| checking for ocamlmklib... ocamlmklib | |
| checking for ocamldoc... ocamldoc | |
| checking for ocamlbuild... ocamlbuild | |
| checking for ocamllex... ocamllex | |
| checking for ocamllex.opt... ocamllex.opt | |
| checking for ocamlyacc... ocamlyacc | |
| checking for ocamlfind... ocamlfind | |
| checking for perl... perl | |
| checking for gcc version... checking how to run the C preprocessor... gcc -E | |
| checking for grep that handles long lines and -e... /bin/grep | |
| checking for egrep... /bin/grep -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 __builtin_va_list... yes | |
| checking if __thread is a keyword... true | |
| checking if gcc adds underscores to assembly labels.... false | |
| checking for ANSI C header files... (cached) yes | |
| checking for stdlib.h... (cached) yes | |
| checking for strings.h... (cached) yes | |
| checking sys/time.h usability... yes | |
| checking sys/time.h presence... yes | |
| checking for sys/time.h... yes | |
| checking for unistd.h... (cached) yes | |
| checking wchar.h usability... yes | |
| checking wchar.h presence... yes | |
| checking for wchar.h... yes | |
| checking stdbool.h usability... yes | |
| checking stdbool.h presence... yes | |
| checking for stdbool.h... yes | |
| checking for an ANSI C-conforming const... yes | |
| checking for inline... inline | |
| checking whether time.h and sys/time.h may both be included... yes | |
| checking for working memcmp... yes | |
| checking for mkdir... yes | |
| checking for select... yes | |
| checking for socket... yes | |
| checking for __sysv_signal... yes | |
| checking for real definition of size_t... unsigned long | |
| checking for real definition of wchar_t... int | |
| checking whether to use CIL feature blockinggraph... no | |
| checking whether to use CIL feature zrapp... no | |
| checking whether to use CIL feature llvm... no | |
| configure: creating ./config.status | |
| config.status: creating stamp-h | |
| config.status: creating Makefile | |
| config.status: creating config.mk | |
| config.status: creating lib/App/Cpc/CilConfig.pm | |
| config.status: creating doc/index.html | |
| config.status: creating doc/header.html | |
| config.status: creating src/machdep-ml.c | |
| config.status: creating src/cilversion.ml | |
| config.status: creating config.h | |
| config.status: config.h is unchanged | |
| CIL configuration: | |
| (optional) cl.exe found: HAS_MSVC no | |
| gcc to use CC gcc | |
| default compiler DEFAULT_COMPILER _GNUCC | |
| CIL version CIL_VERSION 1.7.3 | |
| CPC version CPC_VERSION 0.9.1 | |
| CIL features CIL_FEATURES | |
| Extra source directories EXTRASRCDIRS | |
| (develop 0ca695d lib/) reini ~/Software/cpc | |
| $ make | |
| export CIL_VERSION | |
| ocamlbuild -build-dir _build -no-links -classic-display src/cil.cma src/cil.cmxa src/cil.a src/cil.libfiles src/cilly.byte src/cilly.native cil.docdir/index.html | |
| /usr/bin/ocamldep.opt -modules src/ext/blockinggraph.ml > src/ext/blockinggraph.ml.depends | |
| /usr/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/blockinggraph.cmx src/ext/blockinggraph.ml | |
| + /usr/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/blockinggraph.cmx src/ext/blockinggraph.ml | |
| File "src/ext/blockinggraph.ml", line 121, characters 2-14: | |
| Error: Unbound value Util.memoize | |
| Command exited with code 2. | |
| Makefile:98: recipe for target 'ocamlbuild' failed | |
| make-4.0: *** [ocamlbuild] Error 10 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment