From 1876524107797fa8de0ecc4662dcb3c68d6b86cf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Mon, 5 Aug 2019 23:57:06 +0200
Subject: [PATCH] [Nix] try to give CLANG include dir
---
nix/default.nix | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/nix/default.nix b/nix/default.nix
index 28a102de..a60721c1 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -5,6 +5,9 @@
plugins.helpers.simple_plugin
{ inherit pkgs stdenv src opam2nix ocaml_version plugins;
name = "frama-clang";
- deps = [ pkgs.clang_4 pkgs.llvm_4 ];
+ deps = [ pkgs.llvmPackages_4.clang-unwrapped pkgs.llvm_4 pkgs.gnused ];
opamPackages = [ "camlp4" ];
+ postPatch = ''
+ sed -i Makefile.config.in -e "s&@CLANG_INCDIR@&${pkgs.llvmPackages_4.clang-unwrapped}/include&"
+ '';
}
--
GitLab