Cygwin bug with GProlog 1.4.0 executable

[Mark Utting]

Hi,

I've been using gprolog 1.3 for years (thanks for a great Prolog implementation!), and am trying to upgrade to 1.4.0, on Windows 7 with cygwin.

I downloaded and installed the following executable, which installed itself into C:\GNU-Prolog successfully.

    Windows intel 64 bits auto-install setup (compiled under x86_64 / Windows 7 with MinGW64 gcc under Cygwin).


The interpreter works fine.

However, when I try to compile a simple hello world program with gplc, I get this 'File not found' error:

$ gplc.exe -o hello hello.pl
error trying to execute x86_64-w64-mingw32-gcc   -o hello C:\Apps\cygwin\tmp\gplc5.o C:\GNU-Prolog\lib\all_pl_bips.o C:\GNU-Prolog\lib\all_fd_bips.o C:\GNU-Prolog\lib\top_level.o C:\GNU-Prolog\lib\debugger.o C:\GNU-Prolog\lib\libbips_fd.a C:\GNU-Prolog\lib\libengine_fd.a C:\GNU-Prolog\lib\libbips_pl.a C:\GNU-Prolog\lib\libengine_pl.a C:\GNU-Prolog\lib\liblinedit.a -ladvapi32 -luser32 -lws2_32 : No such file or directory
compilation failed



I tried adding C:\GNU-Prolog\bin to my Windows system PATH (instead of my cygwin PATH), but that did not help.

Indeed, there is a x86_64-w64-mingw32-as.exe in that bin directory, but no x86_64-w64-mingw32-gcc.exe.


Can you suggest how I could work around this problem?
Are there extra dependencies or cygwin packages that I need to install first?
(Are there any installation instructions for the binary distributables?)

Thanks
Mark


Details:

$ uname -a
CYGWIN_NT-6.1-WOW64 RWS034 1.7.9(0.237/5/3) 2011-03-29 10:10 i686 Cygwin

$ more hello.pl
:- initialization(main).

main :- format('Hello World~n', []).

$ gprolog --version
Prolog top-Level (GNU Prolog) 1.4.0
By Daniel Diaz
Copyright (C) 1999-2011 Daniel Diaz

GNU Prolog comes with ABSOLUTELY NO WARRANTY.
This is free software; see the source or the file
named COPYING for copying conditions.

$ gplc.exe -v -o hello hello.pl
Prolog compiler (GNU Prolog) 1.4.0
By Daniel Diaz
Copyright (C) 1999-2011 Daniel Diaz

GNU Prolog comes with ABSOLUTELY NO WARRANTY.
This is free software; see the source or the file
named COPYING for copying conditions.

Path used: C:\GNU-Prolog

*** Compiling

--- file: hello.pl
pl2wam -o C:\Apps\cygwin\tmp\gplc2.wam hello.pl
wam2ma -o C:\Apps\cygwin\tmp\gplc3.ma C:\Apps\cygwin\tmp\gplc2.wam
delete C:\Apps\cygwin\tmp\gplc2.wam
ma2asm -o C:\Apps\cygwin\tmp\gplc4.s C:\Apps\cygwin\tmp\gplc3.ma
delete C:\Apps\cygwin\tmp\gplc3.ma
x86_64-w64-mingw32-as  -o C:\Apps\cygwin\tmp\gplc5.o C:\Apps\cygwin\tmp\gplc4.s
delete C:\Apps\cygwin\tmp\gplc4.s

*** Linking

x86_64-w64-mingw32-gcc   -o hello C:\Apps\cygwin\tmp\gplc5.o C:\GNU-Prolog\lib\all_pl_bips.o C:\GNU-Prolog\lib\all_fd_bips.o C:\GNU-Prolog\lib\top_level.o C:\GNU-Prolog\lib\debugger.o C:\GNU-Prolog\lib\libbips_fd.a C:\GNU-Prolog\lib\libengine_fd.a C:\GNU-Prolog\lib\libbips_pl.a C:\GNU-Prolog\lib\libengine_pl.a C:\GNU-Prolog\lib\liblinedit.a -ladvapi32 -luser32 -lws2_32
error trying to execute x86_64-w64-mingw32-gcc   -o hello C:\Apps\cygwin\tmp\gplc5.o C:\GNU-Prolog\lib\all_pl_bips.o C:\GNU-Prolog\lib\all_fd_bips.o C:\GNU-Prolog\lib\top_level.o C:\GNU-Prolog\lib\debugger.o C:\GNU-Prolog\lib\libbips_fd.a C:\GNU-Prolog\lib\libengine_fd.a C:\GNU-Prolog\lib\libbips_pl.a C:\GNU-Prolog\lib\libengine_pl.a C:\GNU-Prolog\lib\liblinedit.a -ladvapi32 -luser32 -lws2_32 : No such file or directory
compilation failed
deleting temporary files before exit
delete C:\Apps\cygwin\tmp\gplc5.o
delete C:\Apps\cygwin\tmp\gplc5.o

$