From 297b6a45068f936ece01f46b3e24d7d87596a854 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 26 Aug 2020 14:11:27 +0200
Subject: [PATCH] add instructions for testing MetACSL in CI
---
.gitlab-ci.yml | 7 +++++++
nix/default.nix | 5 ++++-
2 files changed, 11 insertions(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 87d65d5591a..7e14dfd7ff3 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -92,6 +92,13 @@ volatile:
tags:
- nix
+metacsl:
+ stage: tests
+ script:
+ - nix/frama-ci.sh build -A meta.tests
+ tags:
+ - nix
+
Security:
stage: tests
script:
diff --git a/nix/default.nix b/nix/default.nix
index fdce398cfe5..610b886c089 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -214,7 +214,9 @@ rec {
inherit src;
buildInputs = (mk_buildInputs { opamPackages = [ "xml-light" ]; } ) ++
[ pkgs.getopt
- pkgs.libxslt pkgs.libxml2 pkgs.autoPatchelfHook stdenv.cc.cc.lib
+ pkgs.libxslt pkgs.libxml2 pkgs.autoPatchelfHook
+ pkgs.swiProlog
+ stdenv.cc.cc.lib
];
counter_examples_src = plugins.counter-examples.src;
genassigns_src = plugins.genassigns.src;
@@ -226,6 +228,7 @@ rec {
volatile_src = plugins.volatile.src;
security_src = plugins.security.src;
context_from_precondition_src = plugins.context-from-precondition.src;
+ metacsl_src = plugins.meta.src;
postPatch = ''
patchShebangs .
'';
--
GitLab