Chronological Thread 

< Chronological >      < Thread >

---

On Sat, 10 Dec 2011, Mark Brethen wrote:

"Alternatively, if you are not using Windows or Linux, you have to
compile tmprint.red yourself and place the binary tmprint.b in the
$HOME/.reduce/lisp/$LISP/$MACHINE/ directory."

This instruction is outdated: tmprint is already included in reduce.

If you have psl reduce, do the following (supposing redpsl is in your $PATH):

1. Edit /usr/share/TeXmacs/plugins/reduce/progs/init-reduce.scm (or whereever this script lives in MacOS): replace "reduce" -> "redpsl" in the line (:require (url-exists-in-path? "reduce"))

2. Edit /usr/libexec/TeXmacs/bin/tm_reduce (or whereever this script lives in MacOS): replace

exec reduce

by

exec redpsl

3. Create ~/.reducerc containing

lisp << if getenv("TEXMACS_REDUCE_PATH") then load tmprint >>$
end$

or, if you already have ~/.reducerc, add the first line above to it.

After that, the plugin should work. If you use csl reduce, you are out of luck: it does not change its prompt after loading tmprint, and TeXmacs cannot recognize it as a prompt. I'm currently in contact with the author of csl reduce; maybe, after some (unknown) time this will be fixed.

Andrey

---

• [TeXmacs] reduce plugin, Mark Brethen, 12/10/2011
  • Re: [TeXmacs] reduce plugin, Andrey G. Grozin, 12/11/2011
    • Re: [TeXmacs] reduce plugin, Mark Brethen, 12/18/2011
      • Re: [TeXmacs] reduce plugin, Andrey G. Grozin, 12/18/2011
        • Re: [TeXmacs] reduce plugin, Mark Brethen, 12/18/2011
        • Re: [TeXmacs] reduce plugin, Mark Brethen, 12/18/2011
        • Re: [TeXmacs] reduce plugin, Mark Brethen, 12/19/2011

---

Archive powered by MHonArc 2.6.19.