MathLibre-c

(Japanese)

MathLibre-c is a project for building containers for mathematical software environments.

Windows users can set up a Linux environment by installing WSL2. macOS users can use Unix toolsets as packages by installing Homebrew.

To use containers, install the three packages make, git, and podman in your Linux (Unix) environment.

After that, you can use Risa/Asir (OpenXM) with just the make command.

Containers

• mathlibre-c
  • Standard environment, amd64 deb，size:859MB
• mathlibre-c/openxm_from_git
  • amd64/arm64, source builded with github, size:3.92GB
• mathlibre-c/openxm_arch (experimental)
  • amd64, source builded with github, size:5.02GB
• mathlibre-c/openxm_sage (experimental)
  • amd64 deb，base_container:sagemath, size:4.22GB

Requirements

One of the following environments is required:

• Linux + X11 + make + git + podman
• Linux + Wayland + XWayland + make + git + podman
• Windows + WSL2 + make + git + podman
• macOS + Homebrew + qemu + Xquartz + make + git + podman

Linux

Install packages

apt install make git podman

or

dnf install make git podman

etc.

Windows

1. How to install Linux on Windows with WSL/Microsoft Run the following PowerShell:

wsl --install

2. After starting WSL2, follow the steps as for Linux

macOS

1. Install Homebrew/Homebrew

/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"

2. Install packages

brew install make git podman

3. The image is for amd64 noso ARM-based CPUs such as M-series Macs, qemu is required. (Not required on Intel Macs.)

brew install qemu

4. Install X

brew install --cask xquartz

5. On macOS, you need to set up a Podman machine (a Linux VM for macOS) once before using podman:

podman machine init
podman machine start

6. Launch XQuartz

open -a xquartz

7. When using X, you need to allow connections with xhost.

xhost +localhost

Container contents

The main included software is:

• openxm (Risa/Asir)
• vim-tiny

Use Risa/Asir

After running make or make run, the OpenXM prompt appears:

OpenXM/Risa/Asir-Contrib $Revision$ (20250117), Copyright 2000-2025, OpenXM.org committers
helph(); [html help], ox_help(0); ox_help("keyword"); ox_grep("keyword");
     for help messages (unix version only).
http://www.math.kobe-u.ac.jp/OpenXM/Current/doc/index-doc.html
[2113] 

You can then enter Risa/Asir commands. To exit the container, use the Risa/Asir exit command:

quit;

Use the shell

After running make shell, the bash prompt appears:

user@mathlibre:/work$ 

To start Risa/Asir:

openxm asir

To exit Risa/Asir:

quit;

To exit the shell:

exit

Remove the container image

The container image is extracted into ~/.local. You can delete the container image with the following command.

make clean

Get the container image

make pull

Build the container image (for developers)

For adding packages, edit Containerfile and rebuild it.

make build

Notes

• The container name has been changed to openxm.
• Use make run if you want to work with an editor on the host side.
• Use make shell if you want to use the container’s shell.
• The image size is about 860 MB when unpacked.
• 'work' is mounted into the container as '/work'.
• You cannot become root inside the container.
• To add packages, edit the Containerfile and run make build.

Reference

• Building, running, and managing containers (docs.redhat.com)