aboutsummaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
diff options
context:
space:
mode:
authorAdelyn Breelove <[email protected]>2019-01-28 11:05:10 -0700
committerAdelyn Breelove <[email protected]>2019-01-28 11:05:10 -0700
commit823a62d97d13021fb6801e367a594282834ae3ef (patch)
tree10df4acb0d92c11470d38f81c76572c20a57082e /.gitlab-ci.yml
parentWhy won't it work.... (diff)
downloaddisml-823a62d97d13021fb6801e367a594282834ae3ef.tar.xz
disml-823a62d97d13021fb6801e367a594282834ae3ef.zip
Add m4 install so conf-m4 can compile, odoc dep
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r--.gitlab-ci.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5a53974..7092f75 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,6 +1,7 @@
image: ocaml/opam2:latest
before_script:
+ - sudo apt-get install m4
- opam init
- eval `opam config env`
- opam update