You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Aaruni Kaushik edited this page Feb 20, 2025
·
3 revisions
MaPS - MaRDI Packaging System
Introduction
MaPS, short for MaRDI Packaging System is the working name for the software system created by TA1 Computer Algebra for Measure 1.4 Predefined software environments. MaPS provides a unified interface both, to package a software inside a functional environment (called a runtime), and to "install" a published runtime onto a computer system in a user friendly way, while still keeping it separate from the computer's host environment.
Requirements
We depend on the following other programs and libraries:
libcairo2-dev
gcc
python3-dev
libgirepository1.0-dev
libostree-dev
pygobject
bubblewrap
tomli
tuspy
progress
Technical Overview
Deploying Software
We deploy software in $HOME/.var/org.mardi.maps/remote/app-id/, in directories rofs, and rwfs. Ostree repo is checked out in rofs, and marked as read only. Then rwfs is overlayed on rofs at runtime. This way the user gets a live mutable tree, but the actual ostree repo is left unmodified and can be reverted to.