From: Sam S. <sd...@gn...> - 2005-07-14 15:45:35
|
> * Devon Sean McCullough <Yvfc-Unpxre@Wbiv.Arg> [2005-07-14 11:27:14 -0400]: > > *STANDARD-OUTPUT* should go to the pipe. > *TERMINAL-IO* should go to the user. > To conflate the two may fall > in unspecified gray areas > but tastes like a bug. indeed, please see clisp/src/TODO and help. > PS: Thanks for the fix but this machine lacks EXT:MAKE-STREAM what is your clisp version? > so I must install my own personal CLISP version $ wget http://prdownloads.sourceforge.net/clisp/clisp-2.33.2.tar.bz2?download $ tar xfj clisp-2.33.2.tar.bz2 $ cd clisp-2.33.2 alternatively $ cvs -d:pserver:ano...@cv...:/cvsroot/clisp login $ cvs -z3 -d:pserver:ano...@cv...:/cvsroot/clisp co -P clisp $ cd clisp then: $ ./configure --build build --fsstnd=debian --with-module=... --with-module=... ... $ cd build $ sudo make install > using the diabolical Debian package abomination. I think you are confusing Debian GNU/Linux with *BSD. > Wish me luck and good luck! > send incantations if you know 'em, please! "apt-get install clisp-2.33.2" -- Sam Steingold (http://www.podval.org/~sds) running w2k <http://www.dhimmi.com/> <http://www.palestinefacts.org/> <http://www.memri.org/> <http://ffii.org/> <http://www.honestreporting.com> Experience always comes right after it would have been useful. |