Pure and TeXmacs on Ubuntu

[Albert Graef]

Hi all,

This was reported by Kurt Pagani a while ago, so I wanted to point everyone using TeXmacs with Pure on Ubuntu to this ticket:

https://github.com/agraef/pure-lang/issues/36

It contains instructions on how to build TeXmacs 2.1.2 (+ Guile 1.8) on Ubuntu 22.04 from source, and install the Pure TeXmacs plugin. This setup works perfectly, as it does on Arch (where TeXmacs is in the AUR). The problem on Ubuntu is that TeXmacs is not in the official Ubuntu repos any more, and the packages on the TeXmacs website are outdated and buggy, so you want to compile the latest version of TeXmacs yourself to make it work.

As soon as I find the time, I'll do proper Debian/Ubuntu packages of Guile 1.8 and TeXmacs on the OBS, but for the time being, the build instructions in ticket #36 should help you out.

Thanks,

Albert

--

Dr. Albert Gr"af
Computer Music Research Group, JGU Mainz, Germany
Email: agg...@gmail.com, web: https://agraef.github.io/

[Kurt Pagani]

Hi there

Just an update:

PRETTY_NAME="Ubuntu 24.04.1 LTS"

https://download.opensuse.org/repositories/home:/aggraef:/pure/xUbuntu_22.04/all/pure-texmacs_0.68-3_all.deb

$ sudo apt install ./pure-texmacs_0.68-3_all.deb

works fine, however, the plugin is installed in /usr/share/texmacs/TeXmacs/plugins/, while TeXmacs is installed (when using [2], see below) in /usr/local/share/TeXmacs/. I copied the plugin manually to $HOME/.TeXmacs/plugins and this works perfectly (as well when moving to plugin to the global dir)..

[1] https://www.texmacs.org/tmweb/download/linux.en.html

[2] https://www.texmacs.org/tmweb/download/linux-repos.en.html#ubuntu

Everything is exceptionally stable :)

Best wishes

kfp@omega:~$ apt show pure-texmacs
Package: pure-texmacs
Version: 0.68-3
Status: install ok installed
Priority: extra
Section: devel
Source: pure
Maintainer: Albert Graef <agg...@gmail.com>
Installed-Size: 1,274 kB
Depends: pure (>= 0.68-3)
Homepage: https://agraef.github.io/pure-lang
Download-Size: unknown
APT-Manual-Installed: yes
APT-Sources: /var/lib/dpkg/status
Description: Functional programming language based on term rewriting - texmacs plugin
 Pure is a modern-style functional programming language based on term
 rewriting. It offers equational definitions with pattern matching, full
 symbolic rewriting capabilities, dynamic typing, eager and lazy evaluation,
 lexical closures, built-in list and matrix support and an easy-to-use C
 interface. The interpreter uses LLVM as a backend to JIT-compile Pure
 programs to fast native code.
 .
 This package contains the Pure TeXmacs plugin and related files.