Skip to content
Packer scripts for generating Virtual Box OVFs that have Idris preinstalled.
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
http
scripts
.gitignore
README.org
idris-playground-stable.json

README.org

README

Packer is a tool for virtual machine image and container management supporting creation and provisioning of multiple boxes.

This repository contains a collection of scripts to build a VirtualBox OVF image, and a Vagrant Box that contains an installation of the latest stable release of Idris.

The idea behind this box provisioning is to provide fellow researchers with an image suitable for production of Research Artifacts suitable for evaluation. While we, as Scientists, often publish papers and code online, these artifacts are more tuned towards reproducible results and conservancy of the research as it was done at the time.

The box is intended to allow evaluators access to a working Idris compiler, and evaluate artifacts using the command line.

Soon, I will publish example packer scripts demonstrating how we can use this base virtual box image to create actual research artifacts.

While we could use Docker, Packer is a Swiss Army knife of tooling that supports generation of many kinds of images.

Note

  • This vagrant box has not been tested with vagrant.
  • This box will take around 40 minutes to build. The build of the time is spent downloading GHC and building Idris [fn:f9e343f29bb1fab].

Details

Base OSUbuntu Server 18.04.02 LTS
CPU64-AMD
Memory4 GB
Disk20 GB
Cores2
GHC8.2.2
Cabal2.0
Idris1.3.1
Boxname
idris-playground
Username
idris-playground
Password
idris-playground

PreInstalled Software

The box provisioned is Ubuntu 18.04.02 Server.

Extra software was installed to support Idris installation.

Other notable installed software include:

mg
A lightweight emacs clone.
tmux
For advanced terminal usage.

Logging output

We use this command for obtaining logs.

PACKER_LOG=1 PACKER_LOG_PATH="packer-log.txt" packer build idris-playground-stable.json

Footnotes

[fn:f9e343f29bb1fab] We need some binary distribution tools for Idris but sadly that is not a priority.

You can’t perform that action at this time.