Re: [Axiom-developer] Problem compiling wh-sandbox

[Bill Page]

Quoting C Y:
> I hit the same thing and worked around it by copying the gcl tree over
> from build-improvements.
>
> Cheers,
> CY
>
> Martin Rubey wrote:
> > It seems I've got a problem compiling version 441 of wh-sandbox.
> >
> > * gcl is not insatlled on my machine

It may not be obvious but you do not need to checkout the complete
build-improvements branch in order to get gcl and noweb. The following
svn commands are sufficient:

  svn co
https://axiom.svn.sourceforge.net/svnroot/axiom/branches/build-improvements/gcl

  svn co
https://axiom.svn.sourceforge.net/svnroot/axiom/branches/build-improvements/noweb

To build gcl just the default build would be sufficient:

  $ cd ~/gcl
  $ ./configure
  $ make
  $ make install

( by default installs in /usr/local )

But if you want optimize GCL just for building Axiom you can use:

  $ ./configure --prefix=... --disable-tkconfig --disable-x --disable-xgcl

where ... is where you want to install gcl and '.../bin' must in the PATH

  $ export PATH=.../bin:$PATH

To install noweb you must edit the Makefile by hand:

  $ cd ~/noweb/src

or apply the following patch to install noweb in /usr/local:

-------- noweb.patch ----------
  $ diff -au Makefile.orig Makefile
--- Makefile.orig       2007-02-27 17:10:46.000000000 -0600
+++ Makefile    2007-02-27 17:17:12.000000000 -0600
@@ -6,9 +6,9 @@
 CFLAGS=
 # If you have Icon, you should use the Icon versions of the noweb pipeline.
 # Set LIBSRC=icon
-LIBSRC=awk
+LIBSRC=icon
 # If you have no Icon compiler, but do have icont, make ICONC=icont
-ICONC=iconc
+ICONC=icont
 ICONT=icont

 # BIN is where the commands (notangle, noweave, nountangle, noroots) land
@@ -18,9 +18,9 @@
 # MAN7EXT is the extension for the nowebstyle man page (usually 7)
 # TEXINPUTS is the directory for TeX macro files
 # ELISP is the directory for emacs lisp files, or /dev/null not to install
-BIN=/usr/local/noweb
-LIB=/usr/local/noweb/lib
-MAN=/usr/local/noweb/man
+BIN=/usr/local/bin
+LIB=/usr/local/lib
+MAN=/usr/local/man
 MANEXT=1
 MAN7EXT=7
 TEXINPUTS=/usr/local/tex/inputs

---------

  $ patch < noweb.patch
  $ make
  $ make install

Note:

This patch uses the 'icon' option instead of 'awk'. Using icon results in
a significantly faster version of noweb. You can download icon from

  http://www.cs.arizona.edu/icon

Regards,
Bill Page.