From 86301a5872a8211aeef9d808e39e7b9688921229 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Thu, 6 Aug 2020 14:13:25 +0200
Subject: [PATCH] [Nix] AllowUnfree for alt-ergo.

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0211783..1706bed 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -7,6 +7,7 @@ variables:
     DEFAULT: "master"
     OCAML: "4_08"
     FRAMA_CI_OPT: "--override frama-clang:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
+    NIXPKGS_ALLOW_UNFREE: "1"
 
 #avoid a nix error https://github.com/NixOS/nix/issues/2087
 git-update:
-- 
GitLab