Skip to content

Instantly share code, notes, and snippets.

@sarcilav
Created August 8, 2012 21:59
Show Gist options
  • Save sarcilav/3299183 to your computer and use it in GitHub Desktop.
Save sarcilav/3299183 to your computer and use it in GitHub Desktop.
$ bin/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=/Users/sarcilav/code-for-fun/homebrew/Cellar/gnu-prolog/1.4.1 --with-doc-dir=/Users/sarcilav/code-for-fun/homebrew/Cellar/gnu-prolog/1.4.1/share/doc/gnu-prolog
./configure --prefix=/Users/sarcilav/code-for-fun/homebrew/Cellar/gnu-prolog/1.4.1 --with-doc-dir=/Users/sarcilav/code-for-fun/homebrew/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: /Users/sarcilav/code-for-fun/homebrew/Cellar/gnu-prolog/1.4.1/gprolog-1.4.1
--> Link to binaries: /Users/sarcilav/code-for-fun/homebrew/Cellar/gnu-prolog/1.4.1/bin
--> Documentation: /Users/sarcilav/code-for-fun/homebrew/Cellar/gnu-prolog/1.4.1/share/doc/gnu-prolog
--> HTML documentation: /Users/sarcilav/code-for-fun/homebrew/Cellar/gnu-prolog/1.4.1/share/doc/gnu-prolog/html_node
--> Examples: /Users/sarcilav/code-for-fun/homebrew/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/Users/sarcilav/code-for-fun/homebrew/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
ld: warning: directory not found for option '-L/Users/sarcilav/code-for-fun/homebrew/lib'
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: 86c5ee97d1f2972a75b180ba71a47316e9449d39
HOMEBREW_PREFIX: /Users/sarcilav/code-for-fun/homebrew
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 /Users/sarcilav/code-for-fun/homebrew/include
LDFLAGS: -L/Users/sarcilav/code-for-fun/homebrew/lib
CMAKE_PREFIX_PATH: /Users/sarcilav/code-for-fun/homebrew
MACOSX_DEPLOYMENT_TARGET: 10.8
PKG_CONFIG_PATH: /Users/sarcilav/code-for-fun/homebrew/Library/Homebrew/pkgconfig
OBJC: /usr/bin/clang
PATH: /Users/sarcilav/code-for-fun/homebrew/bin:/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:/Users/sarcilav/code-for-fun/homebrew/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