Skip to content
Snippets Groups Projects
Commit 3f85af16 authored by François Bobot's avatar François Bobot Committed by Virgile Prevosto
Browse files

[CI] initialization Frama-CI

But with clang 3.5 instead of 3.3
parent 35d35a3c
No related branches found
No related tags found
No related merge requests found
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
# 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" ];
}
File mode changed from 100644 to 100755
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment