mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Wed, 4 Jun 2003, David Allouche wrote:
> On Tue, Jun 03, 2003 at 04:20:47PM -0500, address@hidden wrote:
> >
> > which makes me think another question: How can I change the Scheme
> > interpreter of TeXmacs from Guile to mzscheme (the used in htdp for
> > examples?)

First of all, we indeed would like to migrate to MzScheme,
which seems to be far more efficient than Guile.
So any work on such a port would be highly appreciated.

> This is something we would like to do, but really no specific work in
> that direction has been done yet.
>
> If everything is well, you would need modify:
>
>   -- src/Guile
>
>      For the Glue proper.
>      The public interfaces are in "src/Guile/Scheme/*.hh".
>
>   -- src/System/Boot/init_texmacs.cc
>
>      For initialization.
>
>   -- src/Texmacs/Texmacs/texmacs.cc
>
>      To remove the use of the GUILE and put MzScheme in place.
>
>   -- configure.in
>      src/makefile
>      src/common.makefile.in
>      COMPILE
>
>      To make required changes to the build system and its
>      documentation.
>
>   -- Adaptations for Guile-specific features in Scheme code.
>
>      Look mainly for boot.scm and compat.scm in progs/core/boot.
>
>   -- More fixes for all the various things which did not went as well
>      as expected.

Notice also that the MzScheme developers started to provide a dynamic
library for guile compatability. You might first want to contact them and
ask them whether they plan to complete this port. TeXmacs might be a good
working example for them too in order to measure the quality of this port.
Notice also that we provide backward compatability for Guile,
so a port for any version of Guile would do.