28.08.2011 19:00, David Bremner пишет: > I'm not sure if open-axiom uses this feature (and I notice sbcl itself > also has broken #! lines in it's fasl files. In your case, I suspect the > upstream build process is putting the wrong path into the #! > lines. interpsys isn't installed by debian sbcl and it isn't included in > the open-axiom source package.
interpsys is a main tool to build OpenAxiom, it is not requred to run OA. One can think of it as of libtool or similar. Fasl-files are not used as scripts, but as modules (example below) I tried to change shebangs (keeping #!, of cause) - any little change confuses SBCL core. I wiil investigate more, though. AFAIK, fasl-files "is binary compatible only with the exact SBCL version it was generated with" (http://www.sbcl.org/manual/FASL-Format.html). Not sure whether they are arch-independent. (AO includes SBCL core, so SBCL itself is not required to run AO. And there is no problem to upgrade system SBCL :-) So, I guess I have to resolve two issues: 1. SBCL shebangs (I don't like it actually) 2. Location of HyperTex data (maybe symlink for a while). ============== Example of module usage ========== OpenAxiom: The Open Scientific Computation Platform Version: OpenAxiom 1.5.0-2011-07-07 Built on Sunday August 28, 2011 at 02:20:26 ----------------------------------------------------------------------------- Issue )copyright to view copyright notices. Issue )summary for a summary of useful system commands. Issue )quit to leave OpenAxiom and return to shell. ----------------------------------------------------------------------------- (1) -> )set messages autoload on (1) -> factor(x^3-x+2) Loading /usr/lib/open-axiom/algebra/UPMP.fasl for package UnivariatePolynomialMultiplicationPackage Loading /usr/lib/open-axiom/algebra/PAIR.fasl for domain Pair Loading /usr/lib/open-axiom/algebra/MULTFACT.fasl for package MultivariateFactorize Loading /usr/lib/open-axiom/algebra/COMPLEX.fasl for domain Complex Loading /usr/lib/open-axiom/algebra/INNMFACT.fasl for package InnerMultFact Loading /usr/lib/open-axiom/algebra/OAGROUP-.fasl for domain OrderedAbelianGroup& Loading /usr/lib/open-axiom/algebra/OAMON-.fasl for domain OrderedAbelianMonoid& Loading /usr/lib/open-axiom/algebra/MULTSQFR.fasl for package MultivariateSquareFree Loading /usr/lib/open-axiom/algebra/UPSQFREE.fasl for package UnivariatePolynomialSquareFree Loading /usr/lib/open-axiom/algebra/HEUGCD.fasl for package HeuGcd Loading /usr/lib/open-axiom/algebra/INMODGCD.fasl for package InnerModularGcd Loading /usr/lib/open-axiom/algebra/EMR.fasl for domain EuclideanModularRing Loading /usr/lib/open-axiom/algebra/MDDFACT.fasl for package ModularDistinctDegreeFactorizer Loading /usr/lib/open-axiom/algebra/MODRING.fasl for domain ModularRing Loading /usr/lib/open-axiom/algebra/ORDTYPE-.fasl for domain OrderedType& Loading /usr/lib/open-axiom/algebra/BASTYPE-.fasl for domain BasicType& Loading /usr/lib/open-axiom/algebra/DIFFSPC-.fasl for domain DifferentialSpace& Loading /usr/lib/open-axiom/algebra/DIFFDOM-.fasl for domain DifferentialDomain& Loading /usr/lib/open-axiom/algebra/PGCD.fasl for package PolynomialGcdPackage Loading /usr/lib/open-axiom/algebra/DSEXT-.fasl for domain DifferentialSpaceExtension& Loading /usr/lib/open-axiom/algebra/FRETRCT-.fasl for domain FullyRetractableTo& Loading /usr/lib/open-axiom/algebra/PDSPC-.fasl for domain PartialDifferentialSpace& Loading /usr/lib/open-axiom/algebra/EVALAB-.fasl for domain Evalable& Loading /usr/lib/open-axiom/algebra/PDDOM-.fasl for domain PartialDifferentialDomain& Loading /usr/lib/open-axiom/algebra/GENUFACT.fasl for package GenUFactorize Loading /usr/lib/open-axiom/algebra/GALFACT.fasl for package GaloisGroupFactorizer Loading /usr/lib/open-axiom/algebra/FSAGG-.fasl for domain FiniteSetAggregate& Loading /usr/lib/open-axiom/algebra/FLASORT.fasl for package FiniteLinearAggregateSort Loading /usr/lib/open-axiom/algebra/DIAGG-.fasl for domain Dictionary& Loading /usr/lib/open-axiom/algebra/DIOPS-.fasl for domain DictionaryOperations& Loading /usr/lib/open-axiom/algebra/SETAGG-.fasl for domain SetAggregate& Loading /usr/lib/open-axiom/algebra/BGAGG-.fasl for domain BagAggregate& Loading /usr/lib/open-axiom/algebra/BRILL.fasl for package BrillhartTests Loading /usr/lib/open-axiom/algebra/FLOAT.fasl for domain Float Loading /usr/lib/open-axiom/algebra/GALFACTU.fasl for package GaloisGroupFactorizationUtilities Loading /usr/lib/open-axiom/algebra/FPS-.fasl for domain FloatingPointSystem& Loading /usr/lib/open-axiom/algebra/RNS-.fasl for domain RealNumberSystem& Loading /usr/lib/open-axiom/algebra/TRANFUN-.fasl for domain TranscendentalFunctionCategory& Loading /usr/lib/open-axiom/algebra/ELEMFUN-.fasl for domain ElementaryFunctionCategory& Loading /usr/lib/open-axiom/algebra/HYPCAT-.fasl for domain HyperbolicFunctionCategory& Loading /usr/lib/open-axiom/algebra/ATRIG-.fasl for domain ArcTrigonometricFunctionCategory& Loading /usr/lib/open-axiom/algebra/TRIGCAT-.fasl for domain TrigonometricFunctionCategory& Loading /usr/lib/open-axiom/algebra/RADCAT-.fasl for domain RadicalCategory& Loading /usr/lib/open-axiom/algebra/GALUTIL.fasl for package GaloisGroupUtilities Loading /usr/lib/open-axiom/algebra/IROOT.fasl for package IntegerRoots Loading /usr/lib/open-axiom/algebra/INTFACT.fasl for package IntegerFactorizationPackage 3 (2) x - x + 2 Type: Factored Polynomial Integer -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
