[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Problem compiling wh-sandbox
From: |
Bill Page |
Subject: |
Re: [Axiom-developer] Problem compiling wh-sandbox |
Date: |
Tue, 27 Feb 2007 18:40:49 -0500 |
User-agent: |
Webmail 4.0 |
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.