From a058e88f6ba36eae8fafa1efe3d27c57500b692f Mon Sep 17 00:00:00 2001
From: Thierry Martinez <Thierry.Martinez@inria.fr>
Date: Wed, 16 Oct 2019 18:47:14 +0200
Subject: [PATCH] Add snapshot job
---
.gitlab-ci.yml | 11 ++++++++++-
dune-project | 2 ++
2 files changed, 12 insertions(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f440043..87a04de 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,7 +5,7 @@ stages:
- prepare
- build
- test
- - deploy
+ - snapshot
build_image:
stage: prepare
@@ -29,3 +29,12 @@ bigrt:
script:
- docker run --rm clangml-transforms-build
bash -c 'make -C /home/opam/memcad/ bigrt'
+
+snapshot:
+ only:
+ refs:
+ - master
+ script:
+ - wget https://gitlab.inria.fr/tmartine/redirect/raw/master/snapshot.sh
+ - chmod +x snapshot.sh
+ - ./snapshot.sh
diff --git a/dune-project b/dune-project
index 10884c5..1c04cb5 100644
--- a/dune-project
+++ b/dune-project
@@ -14,6 +14,8 @@
(name clangml-transforms)
(synopsis "Code transformers for clangml")
(depends
+ (ocaml (>= 4.04))
+ (dune (>= 1.10))
(clangml (>= 4.0.1))
(dolog (>= 4.0.0))
(visitors (>= 20190711))))
--
GitLab