aboutsummaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
diff options
context:
space:
mode:
authorAdelyn Breedlove <[email protected]>2019-01-29 00:32:09 +0000
committerAdelyn Breedlove <[email protected]>2019-01-29 00:32:09 +0000
commitbb79dae13d2631114fc9b3aa8bc34c61f3452a91 (patch)
treeeccec053d48a340d27673d3139c8ed3f24d25978 /.gitlab-ci.yml
parentAdd m4 install so conf-m4 can compile, odoc dep (diff)
parentCi setup (diff)
downloaddisml-bb79dae13d2631114fc9b3aa8bc34c61f3452a91.tar.xz
disml-bb79dae13d2631114fc9b3aa8bc34c61f3452a91.zip
Merge branch 'ci-setup' into 'master'
Ci setup See merge request Mishio595/disml!15
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r--.gitlab-ci.yml10
1 files changed, 6 insertions, 4 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7092f75..7c3b06f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,18 +1,20 @@
image: ocaml/opam2:latest
before_script:
- - sudo apt-get install m4
+ - sudo apt-get -y install m4 pkg-config libssl-dev libffi-dev
- opam init
- eval `opam config env`
- opam update
- - opam install dune odoc
+ - opam pin add ppx_deriving_yojson https://github.com/ocaml-ppx/ppx_deriving_yojson.git#82bc0b8
+ - opam pin add -d disml .
pages:
stage: deploy
script:
- dune build @doc
+ - cp -r _build/default/_doc/_html/ public/
artifacts:
paths:
- - _build/default/_doc/_html
+ - public
only:
- - master \ No newline at end of file
+ - tags \ No newline at end of file