diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index f440043e684f48de64bdc7d4808c169368d42ae8..87a04dec1dace223139cf4ab44f8f56f6218dd78 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 10884c5aeec0a140f74122ca99c5c0e4136bdd69..1c04cb5762757956b9fb3ee923ce6668b84725c3 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))))