https://github.com/fdekeers/mozart-container

A Docker container to accommodate Mozart 1.4.0 on 64-bit architectures
https://github.com/fdekeers/mozart-container

Last synced: 4 days ago
JSON representation

A Docker container to accommodate Mozart 1.4.0 on 64-bit architectures

• Host: GitHub
• URL: https://github.com/fdekeers/mozart-container
• Owner: fdekeers
• Created: 2021-08-16T10:34:10.000Z (about 3 years ago)
• Default Branch: main
• Last Pushed: 2021-09-17T13:01:44.000Z (about 3 years ago)
• Last Synced: 2024-10-11T09:49:59.274Z (28 days ago)
• Language: Dockerfile
• Size: 26.5 MB
• Stars: 6
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Docker container for Mozart 1.4.0

**Contributors: DEFRERE Sacha, DE KEERSMAEKER François, KUPERBLUM Jérémie** \

**Date: Sep. 17, 2021** \

**Git: https://github.com/fdekeers/mozart-container**

This repository contains the files to build and run

the Oz development environment, [Mozart 1.4.0](http://mozart2.org/mozart-v1/),

inside a Docker container.

The 1.4.0 version of Mozart provides the most functionality,

but its maintenance has been stopped,

and it only exists as a 32-bit program.

To overcome this, and allow it to run on the widest range of platforms,

this repository provides a Docker image to run Mozart 1.4.0 on multiple platforms.

For Mozart 1.4.0 documentation, please visit

http://mozart2.org/mozart-v1/doc-1.4.0/.

## Installation

To use the Docker container, Docker must be installed on the computer.

To this end, please visit Docker's installation instructions for your machine:

https://docs.docker.com/get-docker/.

Note : Docker for Windows will require you to install WSL on your computer, which steps are described in the Docker installation guide for Windows.

Afterwards, please switch to the git branch corresponding to your host platform

(`linux`, `windows` or `macos`)

to build and run the container, and profit from the power of

[Mozart 1.4.0](http://mozart2.org/mozart-v1/).

## Docker image

This branch `main` only contains a [Dockerfile](Dockerfile) describing the Docker image used to build instances of the container.

This image is also available on Docker Hub (https://hub.docker.com/r/fdekeers/mozart-1.4.0),

and can be pulled with the following command:

```shell

docker pull fdekeers/mozart-1.4.0

```

This is also done automatically when running the container.

## Support for different platforms

The image has been tested and approved on the following platforms:

- Linux

    - Ubuntu 20.04, 18.04, 16.04

    - Debian 11

    - Fedora 34, 33

    - Centos 8, 7

- Windows

    - Windows 10

- MacOS