Gabriel Dos Reis wrote:
On Mon, 6 Nov 2006, Humberto Ortiz-Zuazaga wrote:
| I built --without-noweb --with-gcl, the configure for the built in gcl
| isn't working right. I think it's a bug in gcl-2.6.8pre (if you call
| configure with no --prefix, the make tries to echo data into /bin/gcl
| and fails with permission problems).
Camm --
Did you had a chance to look into this?
-- Gaby
I think it's more like you need to run configure after a make clean,
even if you don't specify any prefix it will work, but
make clean; make
fails with the permission problem on /bin/gcl (I think a GCLDIR
configuration variable is being blown away). I'm sorry I haven't had the
time to fix this yet.
--
Humberto Ortiz-Zuazaga
Programmer-Archaeologist
University of Puerto Rico
http://www.hpcf.upr.edu/~humberto/
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
