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

[Vanuxem Gregory]

Le jeudi 14 décembre 2006 à 22:43 -0600, Gabriel Dos Reis a écrit :

[...]

> 
> 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.

[...]

> (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
> 

--- /usr/local/axiom-testing/src/interp/patches.lisp.pamphlet
+++ axiom-windows/AxiomOnWindows/src/interp/patches.lisp.pamphlet
@@ -66,8 +123,8 @@
 ;; browser stuff:
 #+:UNIX (defvar |$standard| 't)
 #-:UNIX (defvar |$standard| 'nil)
-#+:UNIX (defvar |$saturn| 'nil)
-#-:UNIX (defvar |$saturn| 't)
+#+(or :UNIX :WINNT) (defvar |$saturn| 'nil)
+#-(or :UNIX :WINNT) (defvar |$saturn| 't)

? (diff between build-improvements and AxiomOnWindows branch)

See src/interp/i-toplev.boot.pamphlet, the function printTypeAndTime. Or
if you prefer type in an Axiom session:

)boot $saturn := true
2+3

)boot $saturn := false
2+3

Hope this help,

Greg