diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update WIN32 instructions.

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1878 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2007-05-06 09:55:12 +00:00
parent d9b7100f37
commit dd2126958b
1 changed files with 22 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
docs/yap.tex
View File

@ -672,7 +672,7 @@ make
make install make install
@end example @end example
By default, YAP will use the @code{--enable-cygwin=no} option to By default, YAP will use the @code{-mno-cygwin} option to
disable the use of the cygwin dll and to enable the mingw32 subsystem disable the use of the cygwin dll and to enable the mingw32 subsystem
instead. YAP thus will not need the cygwin dll. It instead accesses instead. YAP thus will not need the cygwin dll. It instead accesses
the system's @code{CRTDLL.DLL} @code{C} run time library supplied with the system's @code{CRTDLL.DLL} @code{C} run time library supplied with
@ -684,15 +684,15 @@ You should check the default installation path which is set to
@code{/YAP} in the standard Makefile. This string will usually @code{/YAP} in the standard Makefile. This string will usually
be expanded into @code{c:\YAP} by Windows. be expanded into @code{c:\YAP} by Windows.
The cygwin environment does not provide @t{gmp}. You can fetch a dll for The cygwin environment does not provide @t{gmp} on the MINGW
the @t{gmp} library from @url{http://www.sf.net/projects/mingwrep}. subsystem. You can fetch a dll for the @t{gmp} library from
@url{http://www.sf.net/projects/mingwrep}.
It is also possible to configure YAP to be a part of the cygwin It is also possible to configure YAP to be a part of the cygwin
environment. In this case you should use: environment. In this case you should use:
@example @example
mkdir cyg mkdir cyg
$YAPSRC/configure --enable-coroutining \\ $YAPSRC/configure --enable-max-performance \\
--enable-max-performance \\
--enable-cygwin=yes --enable-cygwin=yes
make make
make install make install
@ -700,7 +700,9 @@ make install
YAP will then compile using the cygwin library and will be installed YAP will then compile using the cygwin library and will be installed
in cygwin's @code{/usr/local}. You can use YAP from a cygwin console, in cygwin's @code{/usr/local}. You can use YAP from a cygwin console,
or as a standalone application as long as it can find or as a standalone application as long as it can find
@code{cygwin1.dll} in its path. @code{cygwin1.dll} in its path. Note that you may use to use
@code{--enable-depth-limit} for Aleph compatibility, and that you may
want to be sure that GMP is installed.
@end table @end table
@ -11903,6 +11905,20 @@ system. Under Linux (i386 and Alpha) you should use:
ld -shared -o my_process.so my_process.o ld -shared -o my_process.so my_process.o
@end example @end example
@noindent @noindent
Under WIN32 in a MINGW/CYGWIN environment, using the standard
installation path you should use:
@example
gcc -mno-cygwin -I "c:/Yap/include" -c my_process.c
gcc -mno-cygwin "c:/Yap/bin/yap.dll" --shared -o my_process.dll my_process.o
@end example
@noindent
Under WIN32 in a pure CYGWIN environment, using the standard
installation path, you should use:
@example
gcc -I/usr/local -c my_process.c
gcc -shared -o my_process.dll my_process.o /usr/local/bin/yap.dll
@end example
@noindent
Under Solaris2 it is sufficient to use: Under Solaris2 it is sufficient to use:
@example @example
gcc -fPIC -c my_process.c gcc -fPIC -c my_process.c
@ -11930,12 +11946,6 @@ Note that since YAP4.3.3 you should not give the suffix for object
files. YAP will deduce the correct suffix from the operating system it files. YAP will deduce the correct suffix from the operating system it
is running under. is running under.
YAP4.3.3 now supports loading WIN/NT DLLs. Currently you must compile
YAP under cygwin to create a library yap.dll first. You can then use
this dll to create your own dlls. Have a look at the code in
library/regex to see how to create a dll under the cygwin/mingw32
environment.
After loading that file the following prolog goal After loading that file the following prolog goal
@example @example
my_process_id(N) my_process_id(N)