From 22d44d296cbacc6ae2c8d346dbc0d39479516a53 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 27 Mar 2019 15:19:31 +0100
Subject: [PATCH] [NIX] tests tarball compilation
---
.gitlab-ci.yml | 24 ++++++++++++++++++++++++
1 file changed, 24 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0f54bad0335..f828c1b025b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -151,6 +151,30 @@ CFP:
tags:
- nix
+build-tarball:
+ stage: tests
+ variables:
+ CURRENT: $CI_COMMIT_REF_NAME
+ DEFAULT: "master"
+ OCAML: "4_05"
+ FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
+ script:
+ - nix/frama-ci.sh build -A frama-c.distrib
+ tags:
+ - nix
+
+tarball-compilation:
+ stage: distrib_and_compatibility
+ variables:
+ CURRENT: $CI_COMMIT_REF_NAME
+ DEFAULT: "master"
+ OCAML: "4_05"
+ FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
+ script:
+ - nix/frama-ci.sh build -A frama-c.tests-distrib
+ tags:
+ - nix
+
internal:
stage: distrib_and_compatibility
variables:
--
GitLab