From a32505058323af0f31d98cc82dafe16b3c216db2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Tue, 20 Aug 2019 15:33:24 +0200
Subject: [PATCH] [CI] Bump to llvm 7
---
nix/default.nix | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/nix/default.nix b/nix/default.nix
index a60721c1..3525a599 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -5,9 +5,9 @@
plugins.helpers.simple_plugin
{ inherit pkgs stdenv src opam2nix ocaml_version plugins;
name = "frama-clang";
- deps = [ pkgs.llvmPackages_4.clang-unwrapped pkgs.llvm_4 pkgs.gnused ];
+ deps = [ pkgs.llvmPackages_7.clang-unwrapped pkgs.llvm_7 pkgs.gnused ];
opamPackages = [ "camlp4" ];
postPatch = ''
- sed -i Makefile.config.in -e "s&@CLANG_INCDIR@&${pkgs.llvmPackages_4.clang-unwrapped}/include&"
+ sed -i Makefile.config.in -e "s&@CLANG_INCDIR@&${pkgs.llvmPackages_7.clang-unwrapped}/include&"
'';
}
--
GitLab