From 3f85af166e0d28fd2fd4be47f238c65db536be54 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Mon, 5 Aug 2019 13:38:44 +0200
Subject: [PATCH] [CI] initialization Frama-CI
But with clang 3.5 instead of 3.3
---
.gitlab-ci.yml | 10 ++++++++++
nix/default.nix | 10 ++++++++++
nix/frama-ci.sh | 0
3 files changed, 20 insertions(+)
create mode 100644 .gitlab-ci.yml
create mode 100644 nix/default.nix
mode change 100644 => 100755 nix/frama-ci.sh
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 00000000..147aa758
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,10 @@
+Tests:
+ variables:
+ CURRENT: $CI_COMMIT_REF_NAME
+ DEFAULT: "master"
+ OCAML: "4_05"
+ FRAMA_CI_OPT: "--override frama-clang:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
+ script:
+ - nix/frama-ci.sh build -A frama-clang.tests
+ tags:
+ - nix
diff --git a/nix/default.nix b/nix/default.nix
new file mode 100644
index 00000000..28a102de
--- /dev/null
+++ b/nix/default.nix
@@ -0,0 +1,10 @@
+# paramaterised derivation with dependencies injected (callPackage style)
+ { pkgs, stdenv, src ? ../., opam2nix,
+ ocaml_version ? "ocamlPackages_latest.ocaml", plugins ? { } }:
+
+plugins.helpers.simple_plugin
+ { inherit pkgs stdenv src opam2nix ocaml_version plugins;
+ name = "frama-clang";
+ deps = [ pkgs.clang_4 pkgs.llvm_4 ];
+ opamPackages = [ "camlp4" ];
+ }
diff --git a/nix/frama-ci.sh b/nix/frama-ci.sh
old mode 100644
new mode 100755
--
GitLab