Skip to Content.
Sympa Menu

texmacs-users - Re: [TeXmacs] reduce plugin

Subject: mailing-list for TeXmacs Users

List archive

Re: [TeXmacs] reduce plugin


Chronological Thread 
  • From: Mark Brethen <address@hidden>
  • To: Andrey G. Grozin <address@hidden>
  • Cc: address@hidden
  • Subject: Re: [TeXmacs] reduce plugin
  • Date: Sun, 18 Dec 2011 00:54:35 -0600

Andrey,

On starting a reduce session in TeXmacs I gt the following output:

Loading image file:
/opt/local/libexec/reduce-algebra/scripts/../pslbuild/x86_64-mac_10.7_lion-darwin11.2.0/red/reduce.img\


***** \0tmprint' load module not found

Break loop

<script-busy>

I have not installed or compiled tmprint. Where should tmprint be located?

On Dec 10, 2011, at 11:26 PM, Andrey G. Grozin wrote:

> 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



Mark







Archive powered by MHonArc 2.6.19.

Top of Page