[Gcl-devel] Re: gcl/acl2

[Camm Maguire]

Greetings!  Thanks Mike for the acl2 fix on Windows!  Does it certify
all its books?

Separately, I saw this plea for help on the maxima list mentioning
mingw gcl -- can you help here as well?

Take care,

=============================================================================
From: James Amundson <address@hidden>
Subject: [Maxima] First attempts at building under windows
To: Maxima List <address@hidden>
Date: 19 Nov 2002 13:36:58 -0600
Organization: 
Received: from localhost [127.0.0.1] (root)
        by intech5.enhanced.com with esmtp (Exim 3.12 #1 (Debian))
        id 18EEHc-00026q-00; Tue, 19 Nov 2002 14:43:40 -0500
Received: from 204.213.252.11
        by localhost with POP3 (fetchmail-5.3.3)
        for address@hidden (multi-drop); Tue, 19 Nov 2002 14:43:40 -0500 (EST)
Received: from mail.eticomm.net [204.213.252.22] 
        by ux1.eticomm.net with esmtp (Exim 1.61 #1)
        id 18EEEx-0001n5-00; Tue, 19 Nov 2002 14:40:55 -0500
Received: from [146.6.139.124] (helo=dell3.ma.utexas.edu)
        by relay.eticomm.net with esmtp (Exim 3.34 #2)
        id 18EEEv-0005Xj-00
        for address@hidden; Tue, 19 Nov 2002 14:40:54 -0500
Received: from dell3.ma.utexas.edu (localhost [127.0.0.1])
        by dell3.ma.utexas.edu (8.11.3/8.10.2) with ESMTP id gAJJeLq20962;
        Tue, 19 Nov 2002 13:40:21 -0600
Received: from dell5.ma.utexas.edu (dell5.ma.utexas.edu [146.6.139.126])
        by dell3.ma.utexas.edu (8.11.3/8.10.2) with ESMTP id gAJJb0q20695
        for <address@hidden>; Tue, 19 Nov 2002 13:37:00 -0600
Received: from abacus.dhcp.fnal.gov (IDENT:address@hidden [131.225.95.65])
        by dell5.ma.utexas.edu (8.9.3/8.9.1) with ESMTP id NAA27754
        for <address@hidden>; Tue, 19 Nov 2002 13:36:59 -0600
Received: (from address@hidden)
        by abacus.dhcp.fnal.gov (8.11.6/8.11.6) id gAJJawT06082
        for address@hidden; Tue, 19 Nov 2002 13:36:58 -0600
X-Authentication-Warning: abacus.dhcp.fnal.gov: amundson set sender to 
address@hidden using -f
Content-Type: text/plain
Content-Transfer-Encoding: 7bit
Message-Id: <address@hidden>
Mime-Version: 1.0
X-Mailer: Ximian Evolution 1.2.0 
Sender: address@hidden
Errors-To: address@hidden
X-BeenThere: address@hidden
X-Mailman-Version: 2.0.1
Precedence: bulk
List-Help: <mailto:address@hidden>
List-Post: <mailto:address@hidden>
List-Subscribe: <http://www.math.utexas.edu/mailman/listinfo/maxima>,
        <mailto:address@hidden>
List-Id: Maxima interest list <maxima.www.math.utexas.edu>
List-Unsubscribe: <http://www.math.utexas.edu/mailman/listinfo/maxima>,
        <mailto:address@hidden>
List-Archive: <http://www.math.utexas.edu/pipermail/maxima/>
X-UIDL: 3a0f4256a2217b478852ea7f668414ff
Lines: 72
Xref: intech19.enhanced.com mail.maxima:3437

Hi,

We desperately need documentation on building Maxima under windows. I am
posting my own notes in hopes that they are better than nothing.

I have have been only partially successful in building Maxima under
windows. I am posting my notes here in hopes that they will be corrected
by people who know better. I don't know much about windows (and it
shows.) Also, I am reconstructing these steps from memory, so I may be
leaving out steps.

1) Get a working msys+mingw installation from www.mingw.org.
        a) Follow the links to
<http://sourceforge.net/project/showfiles.php?group_id=2435>. Get MinGW
2.0.0-3.exe. I installed it in c:\MinGW
        b) From the same page, get msys Snapshot 1.0.8. I installed it in
c:\msys\1.0. The installer should magically find your mingw installation
and add it to your path.

2) Get Tcl/Tk 8.3 from
<http://members1.chello.nl/~j.nijtmans/mingw.html>. I installed it in
c:\tcltk.

3) Get GCL 2.5.0 snapshot binary from
<http://savannah.gnu.org/projects/gcl/>. Follow the links to
<ftp://ftp.gnu.org/pub/gnu/gcl/cvs/>. I installed it in c:\gcl.

4) Edit the paths in the gcl wrapper script (c:\gcl\bin\gcl) to reflect
the installation directory. Pay careful attention to the format of the
path descriptions (g:/gclm vs. /g/gclm). If you change the format of the
paths, you will get strange errors when you try to run gcl.

5) Edit your MSYS startup paths in c:\msys\1.0\etc\profile to put gcl
and tcltk in your PATH. I did so by adding the following line after the
initial setting of PATH:
        export PATH="/c/gcl/bin:/c/tcltk/bin:$PATH"

6) Download the Maxima 5.9.0 RC3 tarball. Using MSYS, extract it in your
home area.

7) In the maxima-5.9.0rc3 directory, type
        ./configure --with-wish=wish83 --prefix=/c/msys/1.0/local
        make

8) The build should work. "make check" should work. "./maxima-local"
should work. "make install" should work. "maxima" should work.

"./xmaxima-local" will not work. It will complain about not being able
to execute {{c:\msys\1.0\home\amundson\maxima-5.9.0rc3\maxima-local}}.
"xmaxima" will not work. It will complain about not being able to
execute "wish". That is a small bug we can fix. In the meantime, edit
the installed xmaxima script, changing
        exec wish
to
        exec wish83

It will complain about not being able to able to find its data
directory. I have tried all the permutations of pathnames I can think
of, i.e., c:\msys\1.0\local vs. /c/msys/1.0/local vs. /usr/local, etc.

I am stuck at this point. Please, someone help.

--Jim

-- 
James Amundson <address@hidden>
_______________________________________________
Maxima mailing list
address@hidden
http://www.math.utexas.edu/mailman/listinfo/maxima


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