[Axiom-developer] RE: [TeXmacs] Axiom plugin

[Bill Page]

Camm,

Arrrggggh!

They are just undoing the use of AXIOMsys that Joris agreed
to the last time he updated the tm_axiom source... <sigh>

Couldn't they have at least used /usr/bin/AXIOMsys ??

Is this standard Debian policy to put such absolute
names in products instead of update PATH or putting
a link in a standard place?  This seems wrong to me.

About: "I haven't yet released the new Debian axiom
with the symlink and am wondering if it is still
advisable."

In my opinion, yes it is still advisable and the TeXmacs
maintainer should return to the source as distributed
by Joris.

Regards,
Bill Page.

> -----Original Message-----
> From: Camm Maguire [mailto:address@hidden 
> Sent: Thursday, February 26, 2004 10:11 AM
> To: Bill. Page1 (E-mail)
> Cc: 'chu-ching huang'; Axiom-Developer (E-mail)
> Subject: Re: [TeXmacs] Axiom plugin
> 
> 
> Greetings!
> 
> ... 
> > Do you still have problems with compatibility between
> > TeXmacs and Axiom on the Debian platforms? (unrelated
> > question)
> 
> The Debian texmacs maintainer has beat me to it.  He has 
> applied the following patch to texmacs for Debian, which 
> (I've just confirmed) makes axiom thereunder work just fine:
> 
> diff -urNad 
> /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/progs/
> init-axiom.scm texmacs-1.0.3/plugins/axiom/progs/init-axiom.scm
> --- 
> /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/progs/
> init-axiom.scm        2004-01-13 21:00:39.000000000 +0100
> +++ texmacs-1.0.3/plugins/axiom/progs/init-axiom.scm  
> 2004-01-23 21:12:22.000000000 +0100
> @@ -17,7 +17,7 @@
>    (lazy-input-converter (axiom-input) axiom))
>  
>  (plugin-configure axiom
> -  (:require (url-exists-in-path? "AXIOMsys"))
> +  (:require (url-exists-in-path? "/usr/bin/axiom"))
>    (:initialize (axiom-initialize))
>    (:launch "tm_axiom")
>    (:session "Axiom"))
> diff -urNad 
> /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/src/tm
> _axiom.c texmacs-1.0.3/plugins/axiom/src/tm_axiom.c
> --- 
> /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/src/tm
> _axiom.c      2004-01-13 21:00:39.000000000 +0100
> +++ texmacs-1.0.3/plugins/axiom/src/tm_axiom.c        
> 2004-01-23 21:12:20.000000000 +0100
> @@ -299,8 +299,8 @@
>      case 0: /* Axiom */
>        dup2(p1[1],1); close(p1[1]); close(p1[0]);
>        dup2(p2[0],0); close(p2[0]); close(p2[1]);
> -      execlp("AXIOMsys","AXIOMsys","-noclef",0);
> -      fatal("exec AXIOMsys");
> +      execlp("/usr/bin/axiom","/usr/bin/axiom","-noclef",0);
> +      fatal("exec /usr/bin/axiom");
>      default: /* parent */
>        close(p1[1]); close(p2[0]);
>        axin=fdopen(p2[1],"w"); axout=fdopen(p1[0],"r");
> 
> I haven't yet released the new Debian axiom with the symlink 
> and am wondering if it is still advisable.
> 
> Take care,
>