Re: Cygwin bug with GProlog 1.4.0 executable

Hello Mark,

you need to install mingw-w64. You can install it under cygwin using
the cygwin setup.exe utility.

NB: i686-w64-mingw32-gcc is the 32-bit compiler and
x86_64-w64-mingw32-gcc is the 64-bit one (you need here the 64
bits).

Once this is installed you should have x86_64-w64-mingw32-gcc in
/usr/bin.

Daniel

Le 16/11/2011 22:33, Mark Utting a écrit :

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

$

--

Ce message a été vérifié par
MailScanner
pour des virus ou des polluriels et rien de
suspect n'a été trouvé.

_______________________________________________
Bug-prolog mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-prolog

--

Ce message a été vérifié par
MailScanner
pour des virus ou des polluriels et rien de
suspect n'a été trouvé.

_______________________________________________
Bug-prolog mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-prolog