axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: David MENTRE
Subject: Re: [Axiom-developer] Re: [TeXmacs] Axiom plugin
Date: Mon, 05 Apr 2004 18:55:39 +0200
User-agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux)

Hello Camm,

Camm Maguire <address@hidden> writes:

> 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");

Just poping some old mails, I discovered the above patch. Like Bill put
it at that time, I think AXIOMsys and not axiom should be called. If the
path to AXIOMsys in not in the PATH, then, of course, an absolute path
can be used.

My 0.02 euros,
Yours,
david
-- 
David MENTRE <address@hidden> -- http://www.nongnu.org/axiom/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]