bug-prolog
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Error in installation of GNU Prolog


From: Daniel Diaz
Subject: Re: Error in installation of GNU Prolog
Date: Mon, 29 Apr 2002 10:23:32 +0200

Hi,

it seems to me that the problem comes from the fact you installed the
source in a path containing a space (Program Files end GNU-Prolog
1.2.8). The win32 version of gprolog does not work with such path names.
Try to install it under something like c:\GNU-Prolog-1.2.8.

Sorry for this limitation but spaces in path names are really a
nightmare for compiler developpers...

"B. S. Skoda" wrote:
> 
> Dear Daniel,
> 
> Thank you for your prompt reply and your interest.
> 
> Following is the Cygwin console output of the test that you required.
> 
> I find this a bit surprising.
> 
> John Skoda <address@hidden>
> 
> address@hidden /cygdrive/c/Program Files/GNU-Prolog 1.2.8/gprolog-1.2.8/src
> $ make
> (cd EnginePl; make config)
> make[1]: Entering directory `/cygdrive/c/Program Files/GNU-Prolog
> 1.2.8/gprolog-
> 1.2.8/src/EnginePl'
> make[1]: Nothing to be done for `config'.
> make[1]: Leaving directory `/cygdrive/c/Program Files/GNU-Prolog
> 1.2.8/gprolog-1
> .2.8/src/EnginePl'
> . ./SETVARS;for i in TopComp EnginePl Wam2Ma Ma2Asm Linedit BipsPl Pl2Wam
> Fd2C E
> ngineFD BipsFD;do (cd $i; make) || exit 1; done;\
> (cd TopComp; make gprolog.exe)
> make[1]: Entering directory `/cygdrive/c/Program Files/GNU-Prolog
> 1.2.8/gprolog-
> 1.2.8/src/TopComp'
> make[1]: Nothing to be done for `first'.
> make[1]: Leaving directory `/cygdrive/c/Program Files/GNU-Prolog
> 1.2.8/gprolog-1
> .2.8/src/TopComp'
> make[1]: Entering directory `/cygdrive/c/Program Files/GNU-Prolog
> 1.2.8/gprolog-
> 1.2.8/src/EnginePl'
> gplc -c -C '-O3 ' atom.c
> gcc: cannot specify -o with -c or -S and multiple compilations
> compilation failed
> make[1]: *** [atom.o] Error 1
> make[1]: Leaving directory `/cygdrive/c/Program Files/GNU-Prolog
> 1.2.8/gprolog-1
> .2.8/src/EnginePl'
> make: *** [all] Error 1
> 
> $ cd EnginePl
> 
> address@hidden /cygdrive/c/Program Files/GNU-Prolog
> 1.2.8/gprolog-1.2.8/src/EnginePl
> $ ls
> Copy of Makefile.txt  engine.o        machine1.c   oper.h
> LINUX_SIGSEGV.c       engine1.c       machine1.h   pl_config.c
> Makefile              engine1.o       machine1.o   pl_config.exe
> Makefile.in           engine_pl.h     main.c       pl_params.h
> PPC_SIGSEGV.c         euclide.c       mem_alloc.c  pred.c
> SOLARIS_SIGSEGV.c     gp_config.h     mem_alloc.o  pred.h
> WIN32_SIGSEGV.c       gp_config.h.in  misc.c       test_oc.c
> arch_dep.h            gprolog.h       misc.h       test_oc_defs.h
> atom.c                hash.c          misc.o       test_oc_m1.c
> atom.h                hash.h          obj_begin.c  test_oc_m2.c
> bool.h                hash.o          obj_begin.o  unify.c
> cpp_headers.c         headers.h       obj_chain.c  wam_archi.def
> cpp_headers.exe       if_no_fd.c      obj_chain.h  wam_archi.h
> cpt_string.c          if_no_fd.h      obj_chain.o  wam_inst.c
> dl_malloc.c           machine.c       obj_end.c    wam_inst.h
> engine.c              machine.h       obj_end.o    wam_inst.o
> engine.h              machine.o       oper.c       wam_regs.h
> 
> address@hidden /cygdrive/c/Program Files/GNU-Prolog
> 1.2.8/gprolog-1.2.8/src/EnginePl
> $ make
> gplc -c -C '-O3 ' atom.c
> atom.c:38: linedit.h: No such file or directory
> compilation failed
> make: *** [atom.o] Error 1
> 
> address@hidden /cygdrive/c/Program Files/GNU-Prolog
> 1.2.8/gprolog-1.2.8/src/EnginePl
> $ gplc -v -c -C '-O3 ' atom.c
> Prolog compiler (GNU Prolog) 1.2.8
> By Daniel Diaz
> Copyright (C) 1999-2001 Daniel Diaz
> GNU Prolog comes with ABSOLUTELY NO WARRANTY.
> You may redistribute copies of GNU Prolog
> under the terms of the GNU General Public License.
> For more information about these matters, see the files named COPYING.
> 
> Path used: /usr/local/gprolog-1.2.8
> 
> *** Compiling
> 
> --- file: atom.c
> gcc -O3  -m486 -fomit-frame-pointer -ffixed-ebx -ffixed-ebp -c -I/usr/local/
> gpro
> log-1.2.8/include -o atom.o atom.c
> atom.c:38: linedit.h: No such file or directory
> compilation failed
> deleting temporary files before exit
> delete atom.o
> 
> address@hidden /cygdrive/c/Program Files/GNU-Prolog 1.2.8/gprolog-1.2.8/src
> $ ls -aR --color
> .:
> .              Copy of Makefile.txt  Ma2Asm       VERSION        configure
> ..             DEVELOPMENT           Makefile     W32GUICons
> configure.in
> .indent.pro    DISTRIB_FILES         Makefile.in  Wam2Ma         install-sh
> AUTOCONF-INFO  DOSSETVARS.BAT        PORTING      config.cache
> mkinstalldirs
> BipsFD         EngineFD              Pl2Wam       config.guess
> BipsPl         EnginePl              RPM          config.log
> CSHSETVARS     Fd2C                  SETVARS      config.status
> CYGWIN         Linedit               TopComp      config.sub
> 
> ./BipsFD:
> .               fd_bool.pl     fd_math_c.c     fd_symbolic.pl
> math_supp.c
> ..              fd_bool_c.c    fd_math_fd.fd   fd_symbolic_c.c
> math_supp.h
> Makefile        fd_bool_fd.fd  fd_optim.pl     fd_symbolic_fd.fd
> oper_supp.c
> Makefile.in     fd_infos.pl    fd_prime.pl     fd_values.pl
> oper_supp.h
> all_fd_bips.pl  fd_infos_c.c   fd_prime_c.c    fd_values_c.c
> bips_fd.h       fd_math.pl     fd_prime_fd.fd  fd_values_fd.fd
> 
> ./BipsPl:
> .                callinf_supp.h  flag.wam          pl_error.pl   stream_c.c
> ..               catch.pl        flag_c.c          pl_error.wam
> stream_supp.c
> BYTE_CODE        catch.wam       flag_supp.h       pred.pl
> stream_supp.h
> Makefile         char_io.pl      foreign.pl        pred.wam      t_c.c
> Makefile.in      char_io.wam     foreign.wam       pred_c.c      term_inl.pl
> all_pl_bips.pl   char_io_c.c     foreign_supp.c    pred_supp.c
> term_inl.wam
> all_pl_bips.wam  const_io.pl     foreign_supp.h    pred_supp.h
> term_inl_c.c
> all_solut.pl     const_io.wam    format.pl         pretty.pl     term_supp.c
> all_solut.wam    const_io_c.c    format.wam        pretty.wam    term_supp.h
> all_solut_c.c    consult.pl      format_c.c        pretty_c.c    throw.pl
> arith_inl.pl     consult.wam     g_var_inl.pl      print.pl      throw.wam
> arith_inl.wam    consult_c.c     g_var_inl.wam     print.wam     throw_c.c
> arith_inl_c.c    control.pl      g_var_inl_c.c     random.pl
> top_level.pl
> assert.pl        control.wam     inl_protos.h      random.wam
> top_level.wam
> assert.wam       control_c.c     le_interf.pl      random_c.c
> top_level_c.c
> assert_c.c       debugger.pl     le_interf.wam     read.pl       type_inl.pl
> atom.pl          debugger.wam    le_interf_c.c     read.wam
> type_inl.wam
> atom.wam         debugger_c.c    list.pl           read_c.c
> type_inl_c.c
> atom_c.c         dec10io.pl      list.wam          scan_supp.c   unify.pl
> b_params.h       dec10io.wam     no_le_interf.pl   scan_supp.h   unify.wam
> bc_supp.c        dynam_supp.c    no_le_interf.wam  sockets.pl    utils.pl
> bc_supp.h        dynam_supp.h    no_sockets.pl     sockets.wam   utils.wam
> bips_pl.h        error_supp.c    no_sockets.wam    sockets_c.c   write.pl
> c_supp.c         error_supp.h    oper.pl           sort.pl       write.wam
> c_supp.h         expand.pl       oper.wam          sort.wam      write_c.c
> call.pl          expand.wam      oper_c.c          sort_c.c
> write_supp.c
> call.wam         expand_c.c      os_interf.pl      stat.pl
> write_supp.h
> call_args.pl     file.pl         os_interf.wam     stat.wam
> call_args.wam    file.wam        os_interf_c.c     stat_c.c
> call_args_c.c    file_c.c        parse_supp.c      stream.pl
> callinf_supp.c   flag.pl         parse_supp.h      stream.wam
> 
> ./EngineFD:
> .   Makefile     engine_fd.h      fd_inst.c  fd_range.c  fd_to_c.h
> ..  Makefile.in  fd_hook_range.h  fd_inst.h  fd_range.h  fd_unify.fd
> 
> ./EnginePl:
> .                     engine.h        machine1.c   pl_config.c
> ..                    engine.o        machine1.h   pl_config.exe
> Copy of Makefile.txt  engine1.c       machine1.o   pl_params.h
> LINUX_SIGSEGV.c       engine1.o       main.c       pred.c
> Makefile              engine_pl.h     mem_alloc.c  pred.h
> Makefile.in           euclide.c       mem_alloc.o  test_oc.c
> PPC_SIGSEGV.c         gp_config.h     misc.c       test_oc_defs.h
> SOLARIS_SIGSEGV.c     gp_config.h.in  misc.h       test_oc_m1.c
> WIN32_SIGSEGV.c       gprolog.h       misc.o       test_oc_m2.c
> arch_dep.h            hash.c          obj_begin.c  unify.c
> atom.c                hash.h          obj_begin.o  wam_archi.def
> atom.h                hash.o          obj_chain.c  wam_archi.h
> bool.h                headers.h       obj_chain.h  wam_inst.c
> cpp_headers.c         if_no_fd.c      obj_chain.o  wam_inst.h
> cpp_headers.exe       if_no_fd.h      obj_end.c    wam_inst.o
> cpt_string.c          machine.c       obj_end.o    wam_regs.h
> dl_malloc.c           machine.h       oper.c
> engine.c              machine.o       oper.h
> 
> ./Fd2C:
> .   FD_SYNTAX  Makefile.in  fd2c.pl   read_file.pl
> ..  Makefile   compile.pl   parse.pl
> 
> ./Linedit:
> .   Makefile     char_io.c  linedit.c  stty.c  test_linedit.c
> ..  Makefile.in  char_io.h  linedit.h  stty.h  test_noecho.c
> 
> ./Ma2Asm:
> .        MA_SYNTAX    check.c        ix86_win32.c   ma_parser.h  sparc_any.c
> ..       Makefile     check_ma.ma    ma2asm.c       ma_protos.h
> FromC    Makefile.in  extract_asm.c  ma2asm_inst.c  mips_irix.c
> INLINED  alpha_any.c  ix86_any.c     ma_parser.c    ppc_linux.c
> 
> ./Ma2Asm/FromC:
> .  ..  Makefile  Makefile.in  asm_inst.c  mach.h
> 
> ./Pl2Wam:
> .             check_boot     indexing.wam      read_file.pl   syn_sugar.pl
> ..            ciaolib.pl     inst_codif.pl     read_file.wam  syn_sugar.wam
> Makefile      code_gen.pl    inst_codif.wam    reg_alloc.pl   wam_emit.pl
> Makefile.in   code_gen.wam   internal.pl       reg_alloc.wam  wam_emit.wam
> OTHER_PL      compat.pl      internal.wam      sics_pl2wam    whole.pl
> bip_list.pl   first_arg.pl   make_bip_list.pl  sicslib.pl     yaplib.pl
> bip_list.wam  first_arg.wam  pl2wam.pl         swi_pl2wam
> boot_cp       indexing.pl    pl2wam.wam        swilib.pl
> 
> ./RPM:
> .   Makefile  build_spec_file  initial.spec   rpm_env.spec
> ..  README    gprolog.spec     make_rpm_tree  try_rpm
> 
> ./TopComp:
> .   Makefile     copying.c      gplc.exe     hexgplc.exe  top_level.c
> ..  Makefile.in  decode_hexa.c  hexfilter.c  top_comp.c
> 
> ./W32GUICons:
> .             GUICons.dep  GUICons.rc       Makefile            StdAfx.h
> ..            GUICons.dsp  GUIConsDoc.cpp   Makefile.in         hlp
> CntrItem.cpp  GUICons.dsw  GUIConsDoc.h     ReadMe.txt          res
> CntrItem.h    GUICons.h    GUIConsView.cpp  RestartExitDlg.cpp  resource.h
> GUICons.RES   GUICons.mak  GUIConsView.h    RestartExitDlg.h
> w32gc_interf.c
> GUICons.aps   GUICons.ncb  MainFrm.cpp      StackSizeDlg.cpp
> w32gc_interf.h
> GUICons.clw   GUICons.opt  MainFrm.h        StackSizeDlg.h
> GUICons.cpp   GUICons.plg  MakeHelp.bat     StdAfx.cpp
> 
> ./W32GUICons/hlp:
> .             CurArw2.bmp   EditUndo.bmp  GUICons.LOG  HlpTBar.bmp
> Scmax.bmp
> ..            CurArw4.bmp   FileNew.bmp   GUICons.cnt  RecFirst.bmp
> Scmin.bmp
> AfxCore.rtf   CurHelp.bmp   FileOpen.bmp  GUICons.hm   RecLast.bmp
> AfxOleCl.rtf  EditCopy.bmp  FilePrnt.bmp  GUICons.hpj  RecNext.bmp
> AppExit.bmp   EditCut.bmp   FileSave.bmp  GUICons.ph   RecPrev.bmp
> Bullet.bmp    EditPast.bmp  GUICONS.HLP   HlpSBar.bmp  ScMenu.bmp
> 
> ./W32GUICons/res:
> .   GUICons.ico  GUIConsDoc.ico  cursor1.cur
> ..  GUICons.rc2  Toolbar.bmp     icon1.ico
> 
> ./Wam2Ma:
> .   Makefile     bt_string.c  wam2ma.c      wam_parser.h
> ..  Makefile.in  bt_string.h  wam_parser.c  wam_protos.h
> 
> address@hidden /cygdrive/c/Program Files/GNU-Prolog 1.2.8/gprolog-1.2.8/src
> $
> 
> -----Original Message-----
> From: Daniel Diaz [mailto:address@hidden
> Sent: 26 April 2002 11:30
> To: B. S. Skoda
> Cc: GNU-Prolog Bug Report
> Subject: Re: Error in installation of GNU Prolog
> 
> Hi,,
> 
> <remark>
> Normally non-member cannot post on this list to avoid SPAM. So will not see
> any
> answer, except if people add you explicitely. If you want to subscribe, see
> http://gprolog.inria.fr
> </remark>
> 
> Thank you first for your detailed bug report.
> The strange line is:
> 
> > gplc -c -C '-O3 ' obj_begin.c
> > gcc: cannot specify -o with -c or -S and multiple compilations
> 
> So please could you test:
> 
> cd .../src
> make
> (gives the error above mentioned)
> cd EnginePl
> gplc -v -c -C '-O3 ' obj_begin.c
> (I added a -v to see how gplc calls gcc)
> and can you send us the output (or at least to me:
> address@hidden)
> 
> Thank you
> 
> Quoting "B. S. Skoda" <address@hidden>:
> 
> > Installation/compilation with Cygwin gcc version 2.95.3-5
> >
> >
> > Message from Make log:
> >             gcc: cannot specify -o with -c or -S and multiple
> > compilations
> >             compilation failed
> >
> >
> > The type of machine you are using (use uname -a under Unix).
> >             i386 PC, Win 2000, Cygwin (latest), make version 3.79.1-5,
> > gcc
> > version 2.95.3-5
> >
> > GNU Prolog version (use gprolog --version).
> >             1.2.8
> >
> >
> > The operands given to the `configure' and the output of the
> > configuration if
> > the bug concerns the compilation/installation phase.
> >             no operand
> >
> > The complete text of any files needed to reproduce the bug. Try to
> > obtain a
> > minimal example showing the bug.
> > The precise commands we need to type to reproduce the bug.
> >             In the cygwin console window:
> >             change directory to GNU-Prolog "src"
> >                         ./configure
> >                         make
> >
> > A description of what behavior you observe that you believe is
> > incorrect.
> > If you wish to mention something in the GNU Prolog source, show the line
> > of
> > code with a few lines of context.  Do not just give a line number.
> >             Message on the make log:
> >                         gcc: cannot specify -o with -c or -S and
> > multiple
> > compilations
> >                         compilation failed
> > --------------------------------------------------------------------------
> --
> > ---
> > Here is the copy of the Cygwin console log:
> >
> > address@hidden /cygdrive/c/Program Files/GNU-Prolog 1.2.8/gprolog-1.2.8/src
> > $ make
> > (cd EnginePl; make config)
> > make[1]: Entering directory `/cygdrive/c/Program Files/GNU-Prolog
> > 1.2.8/gprolog-
> > 1.2.8/src/EnginePl'
> > make[1]: Nothing to be done for `config'.
> > make[1]: Leaving directory `/cygdrive/c/Program Files/GNU-Prolog
> > 1.2.8/gprolog-1
> > .2.8/src/EnginePl'
> > . ./SETVARS;for i in TopComp EnginePl Wam2Ma Ma2Asm Linedit BipsPl
> > Pl2Wam
> > Fd2C E
> > ngineFD BipsFD;do (cd $i; make) || exit 1; done;\
> > (cd TopComp; make gprolog.exe)
> > make[1]: Entering directory `/cygdrive/c/Program Files/GNU-Prolog
> > 1.2.8/gprolog-
> > 1.2.8/src/TopComp'
> > make[1]: Nothing to be done for `first'.
> > make[1]: Leaving directory `/cygdrive/c/Program Files/GNU-Prolog
> > 1.2.8/gprolog-1
> > .2.8/src/TopComp'
> > make[1]: Entering directory `/cygdrive/c/Program Files/GNU-Prolog
> > 1.2.8/gprolog-
> > 1.2.8/src/EnginePl'
> > gplc -c -C '-O3 ' obj_begin.c
> > gcc: cannot specify -o with -c or -S and multiple compilations
> > compilation failed
> > make[1]: *** [obj_begin.o] Error 1
> > make[1]: Leaving directory `/cygdrive/c/Program Files/GNU-Prolog
> > 1.2.8/gprolog-1
> > .2.8/src/EnginePl'
> > make: *** [all] Error 1
> >
> > address@hidden /cygdrive/c/Program Files/GNU-Prolog 1.2.8/gprolog-1.2.8/src
> > $



reply via email to

[Prev in Thread] Current Thread [Next in Thread]