https://github.com/nderjung/mirage-docker

A development environment for MirageOS applications.
https://github.com/nderjung/mirage-docker

docker docker-image mirage ocaml toolchain

Last synced: about 2 months ago
JSON representation

A development environment for MirageOS applications.

• Host: GitHub
• URL: https://github.com/nderjung/mirage-docker
• Owner: nderjung
• Created: 2017-09-03T10:50:07.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2017-10-03T23:13:08.000Z (over 8 years ago)
• Last Synced: 2025-05-22T05:35:03.067Z (about 1 year ago)
• Topics: docker, docker-image, mirage, ocaml, toolchain
• Language: Makefile
• Homepage: https://hub.docker.com/r/nderjung/mirage
• Size: 3.91 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# MirageOS Toolchain Container

This is a containerised version of [MirageOS](https://github.com/mirage/mirage).

It enables quick instantiation of the mirage environment and the ability to use

the mirage cli interface in any ad-hoc manner.

At present the container is built on [`centos7`](https://hub.docker.com/_/centos/),

opam `1.2.2` and OCaml `4.03.0`.  In addition to the `mirage` toolchain it also

contains `mirage-xen` so as to be optimised for this virtualisation environment.

## Basic usage

To build a Mirage project, you can use the container to run `mirage configure`,

mounting your working directory to `/opam/app` like so:

    $ docker run --rm -it $(pwd):/opam/app \

        a1exanderjung/mirage-toolchain \

        mirage configure

## Future development

- [ ] Provide docker tags for all major OCaml versions

- [ ] Develop a kvm-based container