Created
August 8, 2012 22:16
-
-
Save sarcilav/3299325 to your computer and use it in GitHub Desktop.
This file contains 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
$ brew install -v gnu-prolog | |
==> Downloading http://www.gprolog.org/gprolog-1.4.1.tar.gz | |
Already downloaded: /Library/Caches/Homebrew/gnu-prolog-1.4.1.tar.gz | |
/usr/bin/tar xf /Library/Caches/Homebrew/gnu-prolog-1.4.1.tar.gz | |
==> Patching | |
/usr/bin/patch -f -p1 -i 000-homebrew.diff | |
patching file src/EnginePl/machine.h | |
Hunk #1 succeeded at 144 with fuzz 2 (offset -5 lines). | |
==> ./configure --prefix=/usr/local/Cellar/gnu-prolog/1.4.1 --with-doc-dir=/usr/local/Cellar/gnu-prolog/1.4.1/share/doc/gnu-prolog | |
./configure --prefix=/usr/local/Cellar/gnu-prolog/1.4.1 --with-doc-dir=/usr/local/Cellar/gnu-prolog/1.4.1/share/doc/gnu-prolog | |
checking for gcc... /usr/bin/clang | |
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 /usr/bin/clang accepts -g... yes | |
checking for /usr/bin/clang option to accept ISO C89... none needed | |
checking build system type... x86_64-apple-darwin12.0.0 | |
checking host system type... x86_64-apple-darwin12.0.0 | |
checking for as... as | |
checking for ranlib... ranlib | |
checking for windres... no | |
checking for ar... ar | |
checking for strip... strip | |
checking whether make sets $(MAKE)... yes | |
checking for a BSD-compatible install... /usr/bin/install -c | |
checking whether ln -s works... yes | |
checking for inline... inline | |
checking how to run the C preprocessor... /usr/bin/clang -E | |
checking for grep that handles long lines and -e... /usr/bin/grep | |
checking for egrep... /usr/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 size of long... 8 | |
checking size of void*... 8 | |
checking sys/ioctl_compat.h usability... yes | |
checking sys/ioctl_compat.h presence... yes | |
checking for sys/ioctl_compat.h... yes | |
checking termios.h usability... yes | |
checking termios.h presence... yes | |
checking for termios.h... yes | |
checking malloc.h usability... no | |
checking malloc.h presence... no | |
checking for malloc.h... no | |
checking for stdlib.h... (cached) yes | |
checking for unistd.h... (cached) yes | |
checking for sys/param.h... yes | |
checking for getpagesize... yes | |
checking for working mmap... yes | |
checking for getpagesize... (cached) yes | |
checking for mprotect... yes | |
checking for sigaction... yes | |
checking for mallopt... no | |
checking for fgetc... yes | |
checking for atanh... yes | |
checking for acosh... yes | |
checking for asinh... yes | |
checking for socklen_t... yes | |
checking for sigsetjmp... yes | |
checking for a working sigaction... yes | |
checking constructors execution order... first to last | |
checking for socket... yes | |
checking for gethostbyname... yes | |
DIRECTORIES | |
--> Installation: /usr/local/Cellar/gnu-prolog/1.4.1/gprolog-1.4.1 | |
--> Link to binaries: /usr/local/Cellar/gnu-prolog/1.4.1/bin | |
--> Documentation: /usr/local/Cellar/gnu-prolog/1.4.1/share/doc/gnu-prolog | |
--> HTML documentation: /usr/local/Cellar/gnu-prolog/1.4.1/share/doc/gnu-prolog/html_node | |
--> Examples: /usr/local/Cellar/gnu-prolog/1.4.1/gprolog-1.4.1/examples | |
configure: creating ./config.status | |
config.status: creating Makefile | |
config.status: creating TopComp/Makefile | |
config.status: creating Pl2Wam/Makefile | |
config.status: creating Wam2Ma/Makefile | |
config.status: creating Ma2Asm/Makefile | |
config.status: creating Fd2C/Makefile | |
config.status: creating Linedit/Makefile | |
config.status: creating W32GUICons/Makefile | |
config.status: creating EnginePl/Makefile | |
config.status: creating BipsPl/Makefile | |
config.status: creating EngineFD/Makefile | |
config.status: creating BipsFD/Makefile | |
config.status: creating Ma2Asm/FromC/Makefile | |
config.status: creating Win32/Makefile | |
config.status: creating Win32/gp-setup.iss | |
config.status: creating EnginePl/gp_config.h | |
==> make | |
make | |
cd EnginePl; make config | |
/usr/bin/clang -march=x86-64 -m64 -fno-strict-aliasing -O3 -fomit-frame-pointer -o pl_config pl_config.c | |
./pl_config | |
------------------------------- | |
--- GNU PROLOG INSTALLATION --- | |
------------------------------- | |
GNU Prolog version: 1.4.1 (Aug 8 2012) | |
Operating system : darwin12.0.0 | |
Processor : x86_64 | |
Size of a WAM word: 64 bits | |
C compiler : /usr/bin/clang | |
C flags : -O3 -fomit-frame-pointer | |
C flags machine : -march=x86-64 -m64 -fno-strict-aliasing | |
Assembler : as | |
Assembler flags : -arch x86_64 | |
Loader flags : -L/usr/local/lib | |
Loader libraries : -lm | |
Use line editor : Yes | |
Use piped consult : Yes | |
Use sockets : Yes | |
Use FD solver : Yes | |
Use machine regs. : Yes | |
Used register(s) : | |
------------------------------ | |
(cd ../TopComp; make gplc) | |
/usr/bin/clang -march=x86-64 -m64 -fno-strict-aliasing -O3 -fomit-frame-pointer -o gplc top_comp.c -lm | |
. ./SETVARS;for i in EnginePl TopComp Wam2Ma Ma2Asm Linedit BipsPl Pl2Wam Fd2C EngineFD BipsFD;do (cd $i; make) || exit 1; done;\ | |
(cd TopComp; make top-level) || exit 1;\ | |
(cd Pl2Wam; make stage2) | |
/usr/bin/clang -march=x86-64 -m64 -fno-strict-aliasing -O3 -fomit-frame-pointer -o cpp_headers cpp_headers.c | |
gplc -c -C '-O3 -fomit-frame-pointer' machine.c | |
gplc -c -C '-O3 -fomit-frame-pointer' machine1.c | |
gplc -c -C '-O3 -fomit-frame-pointer' stacks_sigsegv.c | |
stacks_sigsegv.c:301:15: warning: implicit declaration of function 'getpagesize' is invalid in C99 [-Wimplicit-function-declaration] | |
page_size = getpagesize() / sizeof(WamWord); | |
^ | |
1 warning generated. | |
gplc -c -C '-O3 -fomit-frame-pointer' mem_alloc.c | |
gplc -c -C '-O3 -fomit-frame-pointer' misc.c | |
gplc -c -C '-O3 -fomit-frame-pointer' hash.c | |
gplc -c -C '-O3 -fomit-frame-pointer' obj_chain.c | |
gplc -c -C '-O3 -fomit-frame-pointer' engine.c | |
gplc -c -o engine1.o engine1.c | |
gplc -c -C '-O3 -fomit-frame-pointer' wam_inst.c | |
gplc -c -C '-O3 -fomit-frame-pointer' atom.c | |
gplc -c -C '-O3 -fomit-frame-pointer' pred.c | |
gplc -c -C '-O3 -fomit-frame-pointer' oper.c | |
gplc -c -C '-O3 -fomit-frame-pointer' if_no_fd.c | |
gplc -c -C '-O3 -fomit-frame-pointer' main.c | |
rm -f libengine_pl.a | |
ar rc libengine_pl.a machine.o machine1.o stacks_sigsegv.o mem_alloc.o misc.o hash.o obj_chain.o engine.o engine1.o wam_inst.o atom.o pred.o oper.o if_no_fd.o main.o | |
/usr/bin/ranlib: file: libengine_pl.a(mem_alloc.o) has no symbols | |
ranlib libengine_pl.a | |
ranlib: file: libengine_pl.a(mem_alloc.o) has no symbols | |
/usr/bin/clang -march=x86-64 -m64 -fno-strict-aliasing -O3 -fomit-frame-pointer -o hexgplc hexfilter.c | |
/usr/bin/clang -march=x86-64 -m64 -fno-strict-aliasing -O3 -fomit-frame-pointer -c wam2ma.c | |
/usr/bin/clang -march=x86-64 -m64 -fno-strict-aliasing -O3 -fomit-frame-pointer -c wam_parser.c | |
/usr/bin/clang -march=x86-64 -m64 -fno-strict-aliasing -O3 -fomit-frame-pointer -o wam2ma wam2ma.o wam_parser.o | |
/usr/bin/clang -march=x86-64 -m64 -fno-strict-aliasing -O3 -fomit-frame-pointer -c ma2asm.c | |
/usr/bin/clang -march=x86-64 -m64 -fno-strict-aliasing -O3 -fomit-frame-pointer -c ma_parser.c | |
/usr/bin/clang -march=x86-64 -m64 -fno-strict-aliasing -O3 -fomit-frame-pointer -c ma2asm_inst.c | |
/usr/bin/clang -march=x86-64 -m64 -fno-strict-aliasing -O3 -fomit-frame-pointer -o ma2asm ma2asm.o ma2asm_inst.o ma_parser.o | |
/usr/bin/clang -march=x86-64 -m64 -fno-strict-aliasing -c -O3 -fomit-frame-pointer -funsigned-char linedit.c | |
/usr/bin/clang -march=x86-64 -m64 -fno-strict-aliasing -c -O3 -fomit-frame-pointer -funsigned-char terminal.c | |
/usr/bin/clang -march=x86-64 -m64 -fno-strict-aliasing -c -O3 -fomit-frame-pointer -funsigned-char ctrl_c.c | |
rm -f liblinedit.a | |
ar rc liblinedit.a linedit.o terminal.o ctrl_c.o | |
ranlib liblinedit.a | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' error_supp.c | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' c_supp.c | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' foreign_supp.c | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' pred_supp.c | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' term_supp.c | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' stream_supp.c | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' scan_supp.c | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' parse_supp.c | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' write_supp.c | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' dynam_supp.c | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' callinf_supp.c | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' bc_supp.c | |
gplc -c foreign.wam | |
gplc -c pl_error.wam | |
gplc -c utils.wam | |
gplc -c unify.wam | |
gplc -c assert.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' assert_c.c | |
gplc -c read.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' read_c.c | |
gplc -c write.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' write_c.c | |
gplc -c print.wam | |
gplc -c const_io.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' const_io_c.c | |
gplc -c oper.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' oper_c.c | |
gplc -c pred.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' pred_c.c | |
gplc -c atom.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' atom_c.c | |
gplc -c control.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' control_c.c | |
gplc -c call.wam | |
gplc -c call_args.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' call_args_c.c | |
gplc -c catch.wam | |
gplc -c throw.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' throw_c.c | |
gplc -c flag.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' flag_c.c | |
gplc -c arith_inl.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' arith_inl_c.c | |
gplc -c type_inl.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' type_inl_c.c | |
gplc -c term_inl.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' term_inl_c.c | |
gplc -c g_var_inl.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' g_var_inl_c.c | |
gplc -c all_solut.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' all_solut_c.c | |
gplc -c sort.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' sort_c.c | |
gplc -c list.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' list_c.c | |
gplc -c stat.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' stat_c.c | |
gplc -c stream.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' stream_c.c | |
gplc -c file.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' file_c.c | |
gplc -c char_io.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' char_io_c.c | |
gplc -c dec10io.wam | |
gplc -c format.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' format_c.c | |
gplc -c os_interf.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' os_interf_c.c | |
gplc -c expand.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' expand_c.c | |
gplc -c consult.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' consult_c.c | |
gplc -c pretty.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' pretty_c.c | |
gplc -c random.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' random_c.c | |
gplc -c top_level.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' top_level_c.c | |
gplc -c debugger.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' debugger_c.c | |
debugger_c.c:271:16: warning: ordered comparison of function pointers ('WamCont' (aka 'void (*)()') and 'WamCont') | |
if (code >= code1 && code1 >= last_code) | |
~~~~ ^ ~~~~~ | |
debugger_c.c:271:34: warning: ordered comparison of function pointers ('WamCont' (aka 'void (*)()') and 'WamCont') | |
if (code >= code1 && code1 >= last_code) | |
~~~~~ ^ ~~~~~~~~~ | |
2 warnings generated. | |
gplc -c src_rdr.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' src_rdr_c.c | |
gplc -c all_pl_bips.wam | |
gplc -c sockets.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' sockets_c.c | |
gplc -c le_interf.wam | |
gplc -c -C '-O3 -fomit-frame-pointer -funsigned-char' le_interf_c.c | |
rm -f libbips_pl.a | |
ar rc libbips_pl.a error_supp.o c_supp.o foreign_supp.o pred_supp.o term_supp.o stream_supp.o scan_supp.o parse_supp.o write_supp.o dynam_supp.o callinf_supp.o bc_supp.o foreign.o pl_error.o utils.o unify.o assert.o assert_c.o read.o read_c.o write.o write_c.o print.o const_io.o const_io_c.o oper.o oper_c.o pred.o pred_c.o atom.o atom_c.o control.o control_c.o call.o call_args.o call_args_c.o catch.o throw.o throw_c.o flag.o flag_c.o arith_inl.o arith_inl_c.o type_inl.o type_inl_c.o term_inl.o term_inl_c.o g_var_inl.o g_var_inl_c.o all_solut.o all_solut_c.o sort.o sort_c.o list.o list_c.o stat.o stat_c.o stream.o stream_c.o file.o file_c.o char_io.o char_io_c.o dec10io.o format.o format_c.o os_interf.o os_interf_c.o expand.o expand_c.o consult.o consult_c.o pretty.o pretty_c.o random.o random_c.o top_level.o top_level_c.o debugger.o debugger_c.o src_rdr.o src_rdr_c.o all_pl_bips.o sockets.o sockets_c.o le_interf.o le_interf_c.o | |
ranlib libbips_pl.a | |
gplc -c pl2wam.wam | |
gplc -c read_file.wam | |
gplc -c syn_sugar.wam | |
gplc -c internal.wam | |
gplc -c code_gen.wam | |
gplc -c reg_alloc.wam | |
gplc -c inst_codif.wam | |
gplc -c first_arg.wam | |
gplc -c indexing.wam | |
gplc -c wam_emit.wam | |
[ ! -f pl2wam ] || cp pl2wam pl2wam0 | |
gplc -o pl2wam --no-fd-lib-warn --no-top-level pl2wam.o read_file.o syn_sugar.o internal.o code_gen.o reg_alloc.o inst_codif.o first_arg.o indexing.o wam_emit.o | |
gplc -c --fast-math fd2c.pl | |
Fatal Error: Segmentation Violation (bad address: 0xffffffffffffffe0) | |
compilation failed | |
make[1]: *** [fd2c.o] Error 1 | |
make: *** [all] Error 1 | |
==> Exit Status: 2 | |
https://github.com/mxcl/master/blob/master/Library/Formula/gnu-prolog.rb#L19 | |
==> Build Environment | |
HOMEBREW_VERSION: 0.9.2 | |
HEAD: f8c82d414fac66bdfb8433d8a1dc1f0463e424c6 | |
CPU: dual-core 64-bit penryn | |
OS X: 10.8-x86_64 | |
Xcode: 4.4 | |
CLT: 4.4.0.0.1.1249367152 | |
X11: XQuartz in /opt/X11 | |
CC: /usr/bin/clang | |
CXX: /usr/bin/clang++ => /usr/bin/clang | |
LD: /usr/bin/clang | |
CFLAGS: -Os -w -pipe -march=native -Qunused-arguments -mmacosx-version-min=10.8 | |
CXXFLAGS: -Os -w -pipe -march=native -Qunused-arguments -mmacosx-version-min=10.8 | |
CPPFLAGS: -isystem /usr/local/include | |
LDFLAGS: -L/usr/local/lib | |
MACOSX_DEPLOYMENT_TARGET: 10.8 | |
PKG_CONFIG_PATH: /usr/local/Library/Homebrew/pkgconfig | |
OBJC: /usr/bin/clang | |
PATH: /Users/sarcilav/.rvm/gems/ruby-1.9.3-p194/bin:/Users/sarcilav/.rvm/gems/ruby-1.9.3-p194@global/bin:/Users/sarcilav/.rvm/rubies/ruby-1.9.3-p194/bin:/Users/sarcilav/.rvm/bin:/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin:/opt/X11/bin:/usr/local/Library/Contributions/cmds | |
Error: Failed executing: make (gnu-prolog.rb:19) | |
These existing issues may help you: | |
https://github.com/mxcl/homebrew/issues/14062 | |
Otherwise, this may help you fix or report the issue: | |
https://github.com/mxcl/homebrew/wiki/bug-fixing-checklist |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment