[Gcl-devel] Re: address@hidden: Re: request for windows gcl 2.6.8.help from address@hidden

[Camm Maguire]

Greetings!

"David L. Rager" <address@hidden> writes:

> Hi Folks,
> 
> I was able to download, configure, and compile the 2.6.8_pre from cvs using
> cygwin/cvs/emacs.  Now I'm trying to figure out how to install and run it

Great!

Am I correct in reading cygwin here?  Or do you mean mingw?  If the
former, I'd be most interested in your configure output, as I thought
this was not possible at present.  If the latter, would you be
interested in trying out the small patch below:
=============================================================================
Index: h/mingw.h
===================================================================
RCS file: /cvsroot/gcl/gcl/h/mingw.h,v
retrieving revision 1.17.6.6
diff -u -r1.17.6.6 mingw.h
--- h/mingw.h   23 Apr 2004 03:15:32 -0000      1.17.6.6
+++ h/mingw.h   27 Mar 2007 16:35:32 -0000
@@ -213,3 +213,6 @@
 
 /* End for cmpinclude */
 
+extern int mingwlisten(FILE *);
+#undef LISTEN_FOR_INPUT
+#define LISTEN_FOR_INPUT(fp) do {if (mingwlisten(fp)) return 0;} while (0)
Index: o/mingfile.c
===================================================================
RCS file: /cvsroot/gcl/gcl/o/mingfile.c,v
retrieving revision 1.5.18.1
diff -u -r1.5.18.1 mingfile.c
--- o/mingfile.c        15 Jan 2005 16:46:42 -0000      1.5.18.1
+++ o/mingfile.c        27 Mar 2007 16:35:34 -0000
@@ -1,5 +1,6 @@
 #include "include.h"
 #include "windows.h"
+#include "winsock2.h"
 
 extern object truename(object);
 extern object make_pathname();
@@ -52,3 +53,14 @@
        }
 }
 
+int
+mingwlisten(FILE *fp) {
+
+  int c = 0;
+  if (1) {
+    ioctlsocket(fileno(fp), FIONREAD, &c);
+    if (c<=0)
+      return 1;
+  }
+  return 0;
+}
=============================================================================

To run, just try unixport/saved_gcl, unless I again misunderstand your
question.  make install has always had some problems which I intend to
fix.  Beyond this there is a windows installer package which Mike
Thomas put together and of which I know nothing else -- sure would be
great if this was familiar to someone.

Take care,

> (actually I'm willing to skip the install step).  Any tips?  I followed the
> instructions at:
> http://www.cs.utexas.edu/users/moore/acl2/v3-2/installation/requirements.htm
> l#Obtaining-GCL and am now stuck on part F.  Do I need tcl?  I'm using GNU
> tar 1.16.1 and have included the make install error messages below.
> 
> Thanks,
> David
> 
> 
> 
> David address@hidden /home/dlr/gcl/gcl-2.6.8pre
> $ make install
> make install1 "INSTALL_LIB_DIR=/usr/local/lib/gcl-`cat majvers`.`cat
> minvers`" "prefix=/usr/local" "DESTDIR="
> make[1]: Entering directory `/home/David Rager/gcl/gcl-2.6.8pre'
> mkdir -p /usr/local/lib 
> mkdir -p /usr/local/bin
> mkdir -p /usr/local/lib/gcl-2.6.8
> MINSTALL_LIB_DIR=`echo /usr/local/lib/gcl-2.6.8 | sed -e
> 'sX^\([a-z]\):X/\1Xg'` ; \
>       make install-command "INSTALL_LIB_DIR=/usr/local/lib/gcl-2.6.8"
> "prefix=/usr/local" "DESTDIR=" "BINDIR=$MINSTALL_LIB_DIR/unixport"
> make[2]: Entering directory `/home/David Rager/gcl/gcl-2.6.8pre'
> rm -f /usr/local/bin/gcl
> (echo '#!/bin/sh' ; \
>       echo exec /usr/local/lib/gcl-2.6.8/unixport/saved_gcl.exe \\ ; \
>       echo '   -dir' /usr/local/lib/gcl-2.6.8/unixport/ \\ ; \
>       echo '   -libdir' /usr/local/lib/gcl-2.6.8/ \\ ; \
>       echo '   -eval '\''(setq si::*allow-gzipped-file* t)'\' \\ ;\
>       ! [ -d "" ] || echo '   -eval '\''(setq si::*tk-library* '\"\"')'\'
> \\;\
>       echo '     '\"address@hidden" ) > /usr/local/bin/gcl;
> echo '#' other options: -load "/tmp/foo.o" -load "jo.lsp" -eval '"(joe 3)"'
> >> /usr/local/bin/gcl
> chmod a+x /usr/local/bin/gcl
> rm -f /usr/local/bin/gclm.bat
> if gcc --version | grep mingw >/dev/null 2>&1 ; then (echo '@SET cd='; \
>        echo '@SET promp%prompt%'; \
>        echo '@PROMPT SET cd'; \
>        echo '@CALL>%temp%.\setdir.bat'; \
>        echo '@'; \
>        echo '% do not delete this line %'; \
>        echo '@ECHO off'; \
>        echo 'PROMPT %promp'; \
>        echo 'FOR %%c IN (CALL DEL) DO %%c %temp%.\setdir.bat'; \
>        echo 'set cwd=%cd%'; \
>        echo 'set libdir=%cd%\..\lib\gcl-`cat majvers`.`cat minvers`'; \
>        echo 'set unixportdir=%libdir%\unixport'; \
>        echo 'path %cd%\..\mingw\bin;%PATH%'; \
>        echo "start %unixportdir%\saved_gcl.exe -dir %unixportdir% -libdir
> %libdir% -eval \"(setq si::*allow-gzipped-file* t)\" %1 %2 %3 %4 %5 %6 %7 %8
> %9" ) > /usr/local/bin/gclm.bat ; fi
> rm -f /usr/local/bin/gclfinal.bat
> if gcc --version | grep -i mingw >/dev/null 2>&1 ; then (echo 'ECHO path
> %1\mingw\bin;%PATH% > gcli.bat'; \
>        echo "ECHO start %1\lib\gcl-`cat majvers`.`cat
> minvers`\unixport\saved_gcl.exe -dir %1\lib\gcl-`cat majvers`.`cat
> minvers`\unixport -libdir %1\lib\gcl-`cat majvers`.`cat minvers` -eval
> \"(setq si::*allow-gzipped-file* t)\" %1 %2 %3 %4 %5 %6 %7 %8 %9 >>
> gcli.bat" ) > /usr/local/bin/gclfinal.bat ; fi
> make[2]: Leaving directory `/home/David Rager/gcl/gcl-2.6.8pre'
> rm -f /usr/local/bin/gcl.exe
> tar cf - unixport/saved_gcl.exe info/*.info* cmpnew/gcl_collectfn.o
> cmpnew/gcl_collectfn.lsp xgcl-2/sysdef.lisp xgcl-2/gcl_dwtest.lsp
> xgcl-2/gcl_dwtestcases.lsp lsp/gcl_gprof.lsp lsp/gcl_info.o
> lsp/gcl_profile.lsp lsp/gcl_export.lsp lsp/gcl_autoload.lsp
> cmpnew/gcl_cmpmain.lsp cmpnew/gcl_cmpopt.lsp cmpnew/gcl_lfun_list.lsp
> lsp/gcl_auto_new.lsp h/cmpinclude.h unixport/init_gcl.lsp unixport/libgcl.a
> unixport/libgclp.a gcl-tk/tk-package.lsp gcl-tk/tkl.o gcl-tk/tinfo.o
> gcl-tk/decode.tcl gcl-tk/demos/*.lsp gcl-tk/demos/*.lisp gcl-tk/demos/*.o
> o/firstfile.o o/lastfile.o lsp/sys-proclaim.lisp cmpnew/sys-proclaim.lisp
> pcl/sys-proclaim.lisp clcs/sys-proclaim.lisp  \
>       gcl-tk/gcl.tcl gcl-tk/gcltkaux.exe  |  (cd /usr/local/lib/gcl-2.6.8
> ;tar xf -)
> tar: unixport/saved_gcl.exe: Cannot stat: No such file or directory
> tar: info/*.info*: Cannot stat: No such file or directory
> tar: cmpnew/gcl_collectfn.o: Cannot stat: No such file or directory
> tar: lsp/gcl_info.o: Cannot stat: No such file or directory
> tar: unixport/init_gcl.lsp: Cannot stat: No such file or directory
> tar: unixport/libgcl.a: Cannot stat: No such file or directory
> tar: unixport/libgclp.a: Cannot stat: No such file or directory
> tar: gcl-tk/tkl.o: Cannot stat: No such file or directory
> tar: gcl-tk/tinfo.o: Cannot stat: No such file or directory
> tar: gcl-tk/demos/*.lsp: Cannot stat: No such file or directory
> tar: gcl-tk/demos/*.o: Cannot stat: No such file or directory
> tar: o/firstfile.o: Cannot stat: No such file or directory
> tar: o/lastfile.o: Cannot stat: No such file or directory
> tar: gcl-tk/gcltkaux.exe: Cannot stat: No such file or directory
> tar: Error exit delayed from previous errors
> if gcc --version | grep -i mingw >/dev/null 2>&1 ; then if grep -i oncrpc
> makedefs >/dev/null 2>&1 ; then cp /mingw/bin/oncrpc.dll
> /usr/local/lib/gcl-2.6.8/unixport; fi ; fi
> cd /usr/local/lib/gcl-2.6.8/unixport && \
>               mv saved_gcl.exe temp.exe && \
>               echo '(reset-sys-paths
> "/usr/local/lib/gcl-2.6.8/")(si::save-system "saved_gcl.exe")' | ./temp.exe
> && \
>               rm -f temp.exe
> bash: line 0: cd: /usr/local/lib/gcl-2.6.8/unixport: No such file or
> directory
> make[1]: *** [install1] Error 1
> make[1]: Leaving directory `/home/David Rager/gcl/gcl-2.6.8pre'
> make: *** [install] Error 2
> ]0;/home/dlr/gcl/gcl-2.6.8pre
> 
> David address@hidden /home/dlr/gcl/gcl-2.6.8pre
> 
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah