aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.install
diff options
context:
space:
mode:
authorGravatar Emilio Jesus Gallego Arias <e+git@x80.org>2018-05-03 23:34:20 +0200
committerGravatar Emilio Jesus Gallego Arias <e+git@x80.org>2018-05-21 03:07:27 +0200
commit053812dc5f32635f177fafbf566936aa079bfeed (patch)
tree8906575b0fc1b7b34216f0cce98622480717d05f /Makefile.install
parentd6eb4a26648817f6b034e95c02622cadf0fa65ca (diff)
[ci] Add Dune to the base system.
It is needed by Elpi and pidetop, and it is anyways needed for most OCaml packages, including some Coq tools in the future. The future base Docker image will include it by default.
Diffstat (limited to 'Makefile.install')
0 files changed, 0 insertions, 0 deletions