On April 7, 2007 6:53 AM Gregory Vanuxem wrote:
> ...
> (8) -> DirectProduct(3,IntegerNumberSystem)
>
>(8) DirectProduct(3,IntegerNumberSystem)
> Type: Domain
> (9) -> [1,2,3]::%
>
>>> System error:
>NIL is not of type CONS.
>
> The interpeter
Gaby,
On April 8, 2007 7:14 PM you wrote:
> ...
> Bill Page wrote:
> | Perhaps I just screwed up the previous patch last night. The build
> | completed this time but I did have to make the following additional
> | patch:
> |
> | -bash-3.00$ svn diff src/sman/Makefile.pamphlet
> | Index: src/sman
Quoting Bill Page <[EMAIL PROTECTED]>:
Perhaps wh-sandbox needs some more of the autoconf magic that
is now part of build-improvements?
Can you suggest how to proceed?
Cherry picking from axiom.build-improvements is asking for trouble.
I would have thought that merge from axiom.build-improve
"Bill Page" <[EMAIL PROTECTED]> writes:
[...]
| I think the build is ok now and I can start AXIOMsys. But I
| do get an error when I try hyperdoc:
|
| -bash-3.00$ axiom
| (HyperDoc) read_ht_db: No ht.db file found
OK, I found where the bug comes from. It is a very stupid bug.
A while ago, I a
"Bill Page" <[EMAIL PROTECTED]> writes:
| Waldek,
|
| My attempt to build wh-sandbox from the most recent source
| fails with a configure error:
|
| -bash-3.00$ svn co
| https://axiom.svn.sourceforge.net/svnroot/axiom/branches/wh-sandbox
| ...
| Awh-sandbox/configure.ac.pamphlet
| Awh-sa
"Bill Page" <[EMAIL PROTECTED]> writes:
| Waldek,
|
| My attempt to build wh-sandbox from the most recent source
| fails with a configure error:
|
| -bash-3.00$ svn co
| https://axiom.svn.sourceforge.net/svnroot/axiom/branches/wh-sandbox
| ...
| Awh-sandbox/configure.ac.pamphlet
| Awh-sa
"Bill Page" <[EMAIL PROTECTED]> writes:
| Gaby,
|
| On April 8, 2007 2:13 PM you wrote:
| > ...
| > "Bill Page" <[EMAIL PROTECTED]> writes:
| > |
| > | Sorry, the earlier patch also did not work on 'i386-pc-solaris2.10'.
| > | The same error as before. No -lsocket was added to the gcc command.
"Bill Page" <[EMAIL PROTECTED]> writes:
[...]
| > | I will revert the earlier patch and svn update and try again.
| > |
| > | The first thing to check immedately after ./configure is the
| > | src/sman/Makefile, I guess...
| >
| > Yes, see what gets substituted there.
| >
|
| I think the buil
Waldek,
Ok, I think I have a real problem to report this time. The
configure worked but make fails as shown below:
-bash-3.00$ make 2>&1 | tee -a build.log
cd ../wh-sandbox && notangle -t8 Makefile.pamphlet > Makefile.inp \
&& mv Makefile.inp Makefile.in
cd /export/home0/wspage/axiom-san
On April 8, 2007 6:06 PM I wrote:
>
> My attempt to build wh-sandbox from the most recent source
> fails with a configure error:
> ...
> -bash-3.00$ ../wh-sandbox/configure 2>&1 | tee build
> ...
> config.status: creating src/doc/Makefile
> mkdir: "build/scripts": Not a directory
> config.status:
Waldek,
My attempt to build wh-sandbox from the most recent source
fails with a configure error:
-bash-3.00$ svn co
https://axiom.svn.sourceforge.net/svnroot/axiom/branches/wh-sandbox
...
Awh-sandbox/configure.ac.pamphlet
Awh-sandbox/axiomlogo.jpg
Checked out revision 496.
-bash-3.00$ mkd
Gaby,
On April 8, 2007 2:13 PM you wrote:
> ...
> "Bill Page" <[EMAIL PROTECTED]> writes:
> |
> | Sorry, the earlier patch also did not work on 'i386-pc-solaris2.10'.
> | The same error as before. No -lsocket was added to the gcc command.
>
> Huh. It was added on my machine and compiler-link f
"Bill Page" <[EMAIL PROTECTED]> writes:
| Gaby,
|
| On April 8, 2007 10:59 AM you wrote:
| > ...
| > The patch I sent did not work on GNU/Linux boxes, for the reason
| > that there is no separate libsocket library. Consequently, we
| > must special case the addition for solaris-based systems.
Gaby,
On April 8, 2007 10:59 AM you wrote:
> ...
> The patch I sent did not work on GNU/Linux boxes, for the reason
> that there is no separate libsocket library. Consequently, we
> must special case the addition for solaris-based systems. I've
> checked in a patch that does that and passes the
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
[...]
| You're almost there. Please could you try the patch below?
The patch I sent did not work on GNU/Linux boxes, for the reason that
there is no separate libsocket library. Consequently, we must special
case the addition for solaris-based system
> [EMAIL PROTECTED] writes:
> As of revision 491, I added a configure option --enable-checking for
> requesting runtime checking of Lisp codes, e.g. (proclaim '(optimize
> (safety 3))).
> That has the side effect of dramatically increasing the overall
> compilation time. In return, you get to kno
"Bill Page" <[EMAIL PROTECTED]> writes:
| Gaby,
|
| After 'svn update' to revision 491 my attempt to build Axiom
| from build-improvements threw the following error:
|
| ...
| ./../../build/scripts/document --tangle --output=i-output.boot
| ../../../build-improvements/src/interp/i-output.boot.pa
17 matches
Mail list logo
