Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 11, 2022

• Dockerfile fix: clash between mlton and mpl library installs

  shwestrick

  committed
  a8bd943

Commits on Jul 8, 2022

• update Dockerfile for mpl v0.3 and fix mlton dependency

  shwestrick

  committed
  f219fdf

Commits on Jan 15, 2020

• dockerfile: simplify and also install so that mpl is in path

  shwestrick

  committed
  a969232

Commits on Jan 14, 2020

• dockerfile and describe docker in readme

  shwestrick

  committed
  a800070

Commits on Jun 14, 2019

• Merge branch 'unstable' of github.com:MLtop/mlton-parmem into unstable

  MatthewFluet

  committed
  92f6fdd

Commits on Apr 30, 2019

• added dockerfile that builds

  

  Rohan Yadav

  committed
  25ade9f

Commits on Feb 1, 2018

• Drop apt-get install autotools from ./Dockerfile

  MatthewFluet

  committed
  071769f

Commits on Jan 31, 2018

• Revert rudimentary support for ./configure

  Show description for dbe51c4
  MatthewFluet

  committed
  dbe51c4

Commits on Dec 5, 2017

• remove (actually suffix) left over from before autoconf conversion

  

  myegorov

  authored and

  rcythr

  committed
  fc73ed2

• Changed the approach from rsync to overriding the PREFIX make variable.

  rcythr

  committed
  94bd0d0

• Added a simple dockerfile to build MLton from scratch on the latest version of Ubuntu. The default entrypoint runs the regression tests.

  rcythr

  committed
  7f53157

Loading