File 04_axiom.patch of Package texmacs

Overview Repositories Revisions Requests Users Attributes Meta

File 04_axiom.patch of Package texmacs (Revision 3236c4bb5bbeb3ea0153e62f65984e5d)

Currently displaying revision 3236c4bb5bbeb3ea0153e62f65984e5d , Show latest

#!/bin/sh -e
## 04_axiom.dpatch by Ralf Treinen <treinen@debian.org>
## and modified by Atsuhito Kohda <kohda AT debian.org>
## All lines beginning with `## DP:' are a description of the patch.
## DP: modify the axiom plugin to use /usr/bin/axiom instead of AXIOMsys
## DP: #229172 and also #567339

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
@@ -298,8 +298,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",NULL);
-      fatal("exec AXIOMsys");
+      execlp("/usr/bin/axiom","/usr/bin/axiom","-noclef","-noht","-nogr",0);
+      fatal("exec /usr/bin/axiom");
     default: /* parent */
       close(p1[1]); close(p2[0]);
       axin=fdopen(p2[1],"w"); axout=fdopen(p1[0],"r");
--- texmacs-1.0.7.3/plugins/axiom/progs/init-axiom.scm~	2009-11-27 03:55:20.000000000 +0900
+++ texmacs-1.0.7.3/plugins/axiom/progs/init-axiom.scm	2010-02-17 07:35:44.000000000 +0900
@@ -12,7 +12,7 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 (plugin-configure axiom
-  (:require (url-exists-in-path? "AXIOMsys"))
+  (:require (url-exists-in-path? "axiom"))
   (:launch "tm_axiom")
   (:session "Axiom"))

Places

File 04_axiom.patch of Package texmacs (Revision 3236c4bb5bbeb3ea0153e62f65984e5d)

Places