[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] wh-sandbox and aldor
From: |
Franz Lehner |
Subject: |
Re: [Axiom-developer] wh-sandbox and aldor |
Date: |
Wed, 6 Jun 2007 11:45:48 +0200 (CEST) |
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