From 183e59a2115346c7c16591b25d0f74437653f911 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 30 Jul 2021 11:27:07 +0200
Subject: [PATCH] [ci] enforce check phase in build-from-distrib-tarball
derivation
otherwise, the tests won't be run...
---
nix/default.nix | 1 +
1 file changed, 1 insertion(+)
diff --git a/nix/default.nix b/nix/default.nix
index 8dab3661d40..17772aa3109 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -160,6 +160,7 @@ pkgs.lib.makeExtensible
build-from-distrib-tarball = mk_deriv {
name = "frama-c-build-from-distrib-tarball";
+ doCheck = true;
buildInputs = self.buildInputs;
opamPackages = self.build-distrib-tarball.opamPackages;
src = self.build-distrib-tarball.out ;
--
GitLab