Installation

[Rodrigo de Salvo Braz]

Hello,

I had a fatal error in the GNU prolog installation.

This is the critical part:

gplc -c --fast-math fd2c.pl

=========================================================================
Fatal Error: Memory allocation fault
compilation failed
*** Error code 1
make: Fatal error: Command failed for target `fd2c.o'
Current working directory
/home/roth/cogcomp/rodrigo/prolog/gprolog-1.2.8/src/Fd2C
*** Error code 1
make: Fatal error: Command failed for target `all'
=========================================================================

This is the whole thing (OS information as such are all indicated):
(Thanks!)

l2r:~/rodrigo/prolog/gprolog-1.2.8/src> ./configure --prefix=in-place
loading cache ./config.cache
checking for gcc... (cached) gcc
checking whether the C compiler (gcc  ) works... yes
checking whether the C compiler (gcc  ) is a cross-compiler... no
checking whether we are using GNU C... (cached) yes
checking whether gcc accepts -g... (cached) yes
checking for ranlib... (cached) ranlib
checking for Cygwin environment... (cached) no
checking for mingw32 environment... (cached) no
checking for executable suffix... (cached) no
checking whether make sets ${MAKE}... (cached) yes
checking for a BSD compatible install... (cached) /local/all/ginstall -c
checking whether ln -s works... (cached) yes
checking host system type... sparc-sun-solaris2.8
checking size of long... (cached) 4
checking how to run the C preprocessor... (cached) gcc -E
checking for sys/ioctl_compat.h... (cached) no
checking for termios.h... (cached) yes
checking for malloc.h... (cached) yes
checking for unistd.h... (cached) yes
checking for getpagesize... (cached) yes
checking for working mmap... (cached) yes
checking for mallopt... (cached) no
checking for mkstemp... (cached) yes
checking for inline... (cached) inline
checking for socket... (cached) no
checking for socket in -lsocket... (cached) yes
checking for gethostbyname... (cached) no
checking for gethostbyname in -lnsl... (cached) yes
DIRECTORIES
--> Installation:       /home/roth/cogcomp/rodrigo/prolog/gprolog-1.2.8
--> Link to binaries:   none
--> Documentation:      none
--> HTML documentation: none
--> Examples:           none
creating ./config.status
creating Makefile
creating TopComp/Makefile
creating Pl2Wam/Makefile
creating Wam2Ma/Makefile
creating Ma2Asm/Makefile
creating Fd2C/Makefile
creating Linedit/Makefile
creating W32GUICons/Makefile
creating EnginePl/Makefile
creating BipsPl/Makefile
creating EngineFD/Makefile
creating BipsFD/Makefile
creating Ma2Asm/FromC/Makefile
creating EnginePl/gp_config.h
EnginePl/gp_config.h is unchanged
l2r:~/rodrigo/prolog/gprolog-1.2.8/src> make
(cd EnginePl; make config)
gcc -O3 -fomit-frame-pointer  -o pl_config pl_config.c
./pl_config

        -------------------------------
        --- GNU PROLOG INSTALLATION ---
        -------------------------------

GNU Prolog version: 1.2.8 (Oct 8 2001)
Operating system  : solaris2.8
Processor         : sparc
Size of a word    : 32 bits
C compiler        : gcc
C flags           : -O3 -fomit-frame-pointer
C flags machine   :
Loader flags      :
Loader libraries  : -lm -lsocket -lnsl
Use line editor   : Yes
Use sockets       : Yes
Use FD solver     : Yes
Use machine regs. : Yes
Used register(s)  : g6 g7

        ------------------------------

(cd ../TopComp; make gplc)
gcc -O3 -fomit-frame-pointer -o gplc top_comp.c
. ./SETVARS;for i in TopComp EnginePl Wam2Ma Ma2Asm Linedit   BipsPl
Pl2Wam Fd2C EngineFD BipsFD;do (cd $i; make) || exit 1; done;\
(cd TopComp; make gprolog)
gcc -O3 -fomit-frame-pointer -o hexgplc hexfilter.c
gcc -O3 -fomit-frame-pointer  -o cpp_headers cpp_headers.c
D=`(cd ..;for i in *;do test -d $i && X="$X
/home/roth/cogcomp/rodrigo/prolog/gprolog-1.2.8/src/$i";done;echo $X)`;
./cpp_headers headers.h gprolog.h $D
gplc -c -C '-O3 -fomit-frame-pointer' obj_begin.c
gplc -c -C '-O3 -fomit-frame-pointer' obj_end.c
gplc -c -C '-O3 -fomit-frame-pointer' machine.c
machine.c: In function `M_Allocate_Stacks':
machine.c:328: warning: passing arg 1 of `munmap' from incompatible
pointer type
gplc -c -C '-O3 -fomit-frame-pointer' machine1.c
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 -C '-O3 -fomit-frame-pointer' 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 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
ranlib libengine_pl.a
gcc -O3 -fomit-frame-pointer -c wam2ma.c
gcc -O3 -fomit-frame-pointer -c wam_parser.c
gcc -O3 -fomit-frame-pointer -o wam2ma wam2ma.o wam_parser.o
gcc -O3 -fomit-frame-pointer -c ma2asm.c
gcc -O3 -fomit-frame-pointer -c ma_parser.c
gcc -O3 -fomit-frame-pointer -c ma2asm_inst.c
gcc -O3 -fomit-frame-pointer -o ma2asm ma2asm.o ma2asm_inst.o ma_parser.o
gcc -c -O3 -fomit-frame-pointer linedit.c
gcc -c -O3 -fomit-frame-pointer stty.c
gcc -c -O3 -fomit-frame-pointer char_io.c
rm -f liblinedit.a
ar rc liblinedit.a linedit.o stty.o char_io.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 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
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  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  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 bip_list.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
cp pl2wam pl2wam0
cp: cannot access pl2wam
*** Error code 2 (ignored)
gplc -o pl2wam --no-fd-lib --min-bips pl2wam.o read_file.o bip_list.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: Memory allocation fault
compilation failed
*** Error code 1
make: Fatal error: Command failed for target `fd2c.o'
Current working directory
/home/roth/cogcomp/rodrigo/prolog/gprolog-1.2.8/src/Fd2C
*** Error code 1
make: Fatal error: Command failed for target `all'