Re: [Axiom-developer] wh-sandbox and aldor

[Franz Lehner]

> This is due to recent change in wh-sandbox.  The following patch
> should fix this problem:
Thanks, that did it.
Below are (roughly, it took some trial and error to figure it out) the 
steps which made it work, perhaps it can be useful to others.

Franz


svn co https://axiom.svn.sourceforge.net/svnroot/axiom/branches/wh-sandbox
cd wh-sandbox
svn co 
https://axiom.svn.sourceforge.net/svnroot/axiom/branches/build-improvements/gcl 
gcl
cd zips
wget 
https://axiom.svn.sourceforge.net/svnroot/axiom/trunk/axiom/zips/noweb-2.10a.tgz

#
# Two patches kindly suggested by Waldek Hebisch
#
#apply patch to enable checking
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+++ wh-sandbox/src/interp/interp-proclaims.lisp
00000 +0200
@@ -1,4 +1,6 @@
-
+(eval-when (:execute :compile-toplevel :load-toplevel)
+  (proclaim
+    '(optimize (safety 3))))
 (IN-PACKAGE "USER")
 (PROCLAIM '(FTYPE (FUNCTION (*) (VALUES T T)) BOOT:|ReadLine|))
 (PROCLAIM

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

#apply patch to make ALDOR work
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+++ wh-sandbox2/src/interp/i-syscmd.boot.pamphlet
@@ -657,7 +643,8 @@
     if ^beQuiet then sayKeyedMsg("S2IZ0038A",[namestring args, asharpArgs])

     command :=
-<<remove TRUENAME>>
+      STRCONC(STRCONC(getEnv('"ALDORROOT"),'"/bin/"),_
+                    "aldor ", asharpArgs, '" ", namestring args)
     rc := OBEY command

     if (rc = 0) and doCompileLisp then
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++



cd ../..
mkdir ax-build
cd ax-build
../wh-sandbox/configure 
make

#get some coffee
#the build took 12 hours on AMD Athlon(tm) 64 Processor 3000+

#Aldor
export AXIOM=$WHEREVERYOUARE/ax-build/target/x86_64-unknown-linux
export ALDORROOT=<ALDOR-directory>/linux/1.0.2

(cd $AXIOM/bin; ln -s ../../../build/scripts/document .)
mkdir -p obj/x86_64-unknown-linux
(cd obj/x86_64-unknown-linux ; ln -s ../../build/x86_64-unknown-linux/bin .)
(cd obj/x86_64-unknown-linux$; ln -s ../../src/interp/ .)

cd src
#for axiom.sty
ln -s ../../wh-sandbox/src/scripts/ .

tar xzf ../../src_aldor2.tgz
cd aldor
ln -s ../../build/x86_64-unknown-linux .

#extract the Makefiles
for pp in *.pamphlet; do document $pp;done

make
#after error Martin Rubey recommends:
# (I think it does not occur if all the pamphlets are extracted at once
# as indicated in the loop above, but you never know)

touch ../../int/aldor/dep_spad.stamp
document Make.functions.pamphlet
make

#cross your fingers