RE: [Axiom-developer] Axiom/GCL on windows

[Bill Page]

On December 14, 2006 11:44 PM Gabriel Dos Reis wrote:
> ... 
> As of revision 403, I can successfully build
> Axiom.build-improvements
> to produce AXIOMsys on Windows, using MinGW/MSYS.  I followed
> the existing description of the dependencies between components,
> so I did not build src/input.  I believe that is not correct.
> We should be able to build src/input too , and in particular to
> run the regression test.

There may be some input files that depend on the presence of
X. Do we want to just let these fail or somehow prevent them
from running?

> This is a heads-up, that something is buiilding and running.

I updated to revision 403 and then got the following result:

$ mkdir axiom.test
$ cd axiom.test
$ ../build-improvements/configure
...
configure: creating ./config.status
config.status: creating src/booklets/Makefile
config.status: creating Makefile
config.status: creating src/Makefile
config.status: creating src/lib/Makefile
config.status: creating src/lisp/Makefile
config.status: creating src/boot/Makefile
config.status: creating src/interp/Makefile
config.status: creating src/share/Makefile
config.status: creating src/algebra/Makefile
config.status: creating src/etc/Makefile
config.status: creating src/doc/Makefile
config.status: creating build/scripts/document
config.status: creating config/axiom-c-macros.h
building list of Algebra bootstrap files...done
extracting list of SPAD type definitions...done

$ make 2>&1 | tee build.log
Making in noweb
make[1]: Entering directory `/home/Administrator/axiom.test/noweb/src'
cd c; make "CC=gcc -ansi -pedantic" "CFLAGS=" all 
make[2]: Entering directory `/home/Administrator/axiom.test/noweb/src/c'
notangle -Rheader getline.nw > getline.h
/bin/sh: notangle: command not found
make[2]: *** [getline.h] Error 127
make[2]: Leaving directory `/home/Administrator/axiom.test/noweb/src/c'
make[1]: *** [all] Error 2
make[1]: Leaving directory `/home/Administrator/axiom.test/noweb/src'
make: *** [build/i686-pc-mingw32/bin/notangle] Error 2

-----------

I don't understand the line:

  notangle -Rheader getline.nw > getline.h

since noweb is not yet built.

> 
> Furthermore, when I run AXIOMsys to test simple things, I noticed
> that I don't have the usual output under linux or other 
> unix-variant systems.  I don't know whether this is "normal" under
> windows, or a collateral damage I've done recently.  Your insight
> would be most appreciated.
> 
> Below is a sample session I run.
> 
> Thanks,
> 
> -- Gaby
> 
> $ DAASE=./target/i686-pc-mingw32 
> AXIOM=./target/i686-pc-mingw32/ ./target/i686-
> pc-mingw32/bin/AXIOMsys.exe
> GCL (GNU Common Lisp)  2.6.8 CLtL1    Dec 14 2006 20:51:04
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License:  GPL due to GPL'ed components: (UNEXEC)
> Modifications of this banner must retain notice of a 
> compatible license
> Dedicated to the memory of W. Schelter
> 
> Use (help) to get some basic information on how to use GCL.
> Temporary directory for compiler files set to 
> C:/DOCUME~1/gdr/LOCALS~1/Temp/
>                         AXIOM Computer Algebra System
>              Version: Axiom build-improvements branch 2006-12-04
>              Timestamp: Thursday December 14, 2006 at 22:00:35
> --------------------------------------------------------------
> ---------------
>    Issue )copyright to view copyright notices.
>    Issue )summary for a summary of useful system commands.
>    Issue )quit to leave AXIOM and return to shell.
> --------------------------------------------------------------
> ---------------
> 
>    Using local database 
> ./target/i686-pc-mingw32/algebra/compress.daase..   Usin  g 
> local database ./target/i686-pc-mingw32/algebra/interp.daase..
>    Using local database 
> ./target/i686-pc-mingw32/algebra/operation.daase..
>    Using local database 
> ./target/i686-pc-mingw32/algebra/category.daase..
>    Using local database 
> ./target/i686-pc-mingw32/algebra/browse.daase..
> (1) -> 2 + 3
> 
>    (1)  5
> \axPrintType{\lispLink{\verb!(|conPage| '( |PositiveInteger| 
> ))!}{\verb`Positive  Integer`}}(2) ->
> (2) -> x + 3 * x^3
>    Loading ./target/i686-pc-mingw32//algebra/UPMP.o for package
>       UnivariatePolynomialMultiplicationPackage
> 
>           3
>    (2)  3x  + x
> \axPrintType{\lispLink{\verb!(|conPage| '( |Polynomial| ( 
> |Integer| ) ))!}{\verb  `Polynomial`} 
> \lispLink{\verb!(|conPage| '( |Integer| 
> ))!}{\verb`Integer`}}(3) -  > )quit
> 
> 

This stuff:

> \axPrintType{\lispLink{\verb!(|conPage| '( |Polynomial| ( 
> |Integer| ) ))!}{\verb  `Polynomial`} 
> \lispLink{\verb!(|conPage| '( |Integer| 
> ))!}{\verb`Integer`}}(3) -  > )quit

is definitely not normal. Of course it should look exactly the
same as on linux. This looks like the type information in some
hyperdoc markup format. Very strange.

Regards,
Bill Page.