> > yum install noweb failed.
> > where should i get the recommended noweb?
> >
>
> What's wrong with your installation of yum?
>
> Or do you mean that noweb is not in the yum archive?
>
> 'apt-get install noweb' works fine on Debian.
my guess is that yum is not in the fedora archives.
yum doe
On Tue, 12 Sep 2006, Page, Bill wrote:
| That is was not automatically built is a bug.
it is a dependency working assumption I made. It will be lifted -- it
is on the TODO list.
-- Gaby
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
htt
On Tue, 12 Sep 2006, root wrote:
| do you require a specific version or can i use the one in zips?
You can use the one in the zips (just way --without-gcl) -- though I
also build with GCL-2.6.7
If you have GCL installed, configure will detect it and use it.
| i'm trying not to make assumptions
On Tuesday, September 12, 2006 11:17 PM Tim Daly wrote:
>
> yum install noweb failed.
> where should i get the recommended noweb?
>
What's wrong with your installation of yum?
Or do you mean that noweb is not in the yum archive?
'apt-get install noweb' works fine on Debian.
Regards,
Bill Page
Tim,
>
> do you require a specific version or can i use the one in
> zips? i'm trying not to make assumptions so i can do a valid
> test of your makefiles.
>
Noweb's master distribution is here:
http://www.eecs.harvard.edu/nr/noweb/dist
You can use that if you want. The executables have to be
do you require a specific version or can i use the one in zips?
i'm trying not to make assumptions so i can do a valid test of
your makefiles.
t
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axio
On Tue, 12 Sep 2006, root wrote:
| yum install noweb failed.
I'm puzzled.
| where should i get the recommended noweb?
I took that of Norman Ramsey.
-- Gaby
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/
yum install noweb failed.
where should i get the recommended noweb?
t
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
On Tue, 12 Sep 2006, root wrote:
| checking for notangle... no
| checking for noweave... no
[...]
| make[3]: Entering directory `/home/arch/bi/src'
| cd . && notangle -t8 Makefile.pamphlet > ./Makefile.in
| /bin/sh: notangle: command not found
| make[3]: *** [Makefile.in] Error 127
| make[3]: Le
[EMAIL PROTECTED] bi]$ ./configure
checking build system type... i686-pc-linux
checking host system type... i686-pc-linux
checking target system type... i686-pc-linux
checking for gcc... gcc
checking for C compiler default output file name... a.out
checking whether the C compiler works... yes
check
On Tue, 12 Sep 2006, root wrote:
| Gaby,
|
| Be sure you test your build on Fedora Core 5.
| I had to special case that platform.
yes, testing on as many as supported platforms is a prerequisite for
merge to silver. At this point, I'm still working on an experimental
branch. I would like to mo
Gaby,
Be sure you test your build on Fedora Core 5.
I had to special case that platform.
t
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
On Tue, 12 Sep 2006, Page, Bill wrote:
| Gaby,
|
| On Tue, 12 Sep 2006 I wrote:
| > |
| > | I don't have access to a mac right now, but I can confirm
| > | that the following commands build Axiom just fine on
| > | axiom-developer.org with both noweb and gcl pre-installed.
| >
|
| Here is another
Gaby,
On Tue, 12 Sep 2006 I wrote:
> |
> | I don't have access to a mac right now, but I can confirm
> | that the following commands build Axiom just fine on
> | axiom-developer.org with both noweb and gcl pre-installed.
>
Here is another report:
I have successfully built the Axiom Silver build.
On Tue, 12 Sep 2006, Page, Bill wrote:
| On Monday, September 11, 2006 11:23 PM Gabriel Dos Reis wrote:
| >
| > I've long errouneously blamed GCL. Detailed investigation turned
| > out top be an Axiom doing. Fixed thusly.
| >
| > Tested on:
| >
| > * i686-pc-linux with GCL and noweb installed
On Monday, September 11, 2006 11:23 PM Gabriel Dos Reis wrote:
>
> I've long errouneously blamed GCL. Detailed investigation turned
> out top be an Axiom doing. Fixed thusly.
>
> Tested on:
>
> * i686-pc-linux with GCL and noweb installed
> * x86_64-suse-linux without GCL and with noweb in
I've long errouneously blamed GCL. Detailed investigation turned out
top be an Axiom doing. Fixed thusly.
Tested on:
* i686-pc-linux with GCL and noweb installed
* x86_64-suse-linux without GCL and with noweb installed
Bill, if you can give it a try on mac, that would be very appreciated.
17 matches
Mail list logo