It appears that you believe that your average user should be able to do:

   svn co open-axiom/trunk oaxiom
   cd oaxiom
   ./configure
   make
   make install

So, in order to see what the DEFAULT behavior actually is, I did that.
Unfortunately it appears that OpenAxiom will not build on axiom-developer.org
I have to report the error message:

./configure
bash: ./configure: /bin/sh: bad interpreter: Permission denied

when I attempted the build on axiom-developer.org running:

   Red Hat Linux release 9 (Shrike)

which is a quad processor machine Intel box.

Linux axiom-developer.org 2.6.17.13-RH211rc35 #12 
SMP Mon Oct 2 22:00:49 CDT 2006 i686 i686 i386 GNU/Linux

I do not know what the problem is because 

[EMAIL PROTECTED] oaxiom]$ sh
sh-2.05b$ 

works fine. The first line of configure says:
#! /bin/sh






Since Open-Axiom won't build I'm left with reading the sources.
Further investigation reveals (from Makefile.pamphlet):

install:
        @echo Installing OpenAxiom in $(prefix)
        @$(mkinstalldirs) $(DESTDIR)$(open_axiom_installdir)
        cp -pr $(builddir)/$(target)/* $(DESTDIR)$(open_axiom_installdir)
        rm -f $(bindir)/axiom
        @$(mkinstalldirs) $(bindir)
        $(INSTALL_PROGRAM) src/scripts/axiom $(bindir)
        @echo OpenAxiom installation finished.


and the src/scripts/axiom.in file contains

showuse() {
echo "axiom"
echo "     [-ht   |-noht]       whether to use HyperDoc"

Thus it appears to me that the DEFAULT behavior will install 
Open-Axiom using the command /usr/local/axiom

Once I can build a new virtual machine I'll try to build OpenAxiom
and verify that this is the case.

Tim



_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to