From b530f17fd3cd93e70a1643b28488416e09a758d0 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Fri, 29 Mar 2019 12:49:39 +0100
Subject: [PATCH] [Nix] adds pkgs.file for frama-c-distrib
---
nix/default.nix | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/nix/default.nix b/nix/default.nix
index 3bc25269109..7b153a9754f 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -2,7 +2,7 @@
{ pkgs, stdenv, src ? ../., opam2nix, ocaml_version ? "ocaml-ng.ocamlPackages_4_05.ocaml", plugins ? { } }:
let mk_buildInputs = { opamPackages ? [] } :
- [ pkgs.gnugrep pkgs.gnused pkgs.autoconf pkgs.gnumake pkgs.gcc pkgs.ncurses pkgs.time pkgs.python3 pkgs.perl] ++ opam2nix.build {
+ [ pkgs.gnugrep pkgs.gnused pkgs.autoconf pkgs.gnumake pkgs.gcc pkgs.ncurses pkgs.time pkgs.python3 pkgs.perl pkgs.file] ++ opam2nix.build {
specs = opam2nix.toSpecs ([ "ocamlfind" "zarith" "ocamlgraph"
{ name = "coq"; constraint = "=8.7.2"; }
] ++ opamPackages ++
@@ -108,7 +108,7 @@ rec {
distrib = stdenv.mkDerivation {
name = "frama-c-distrib";
inherit src;
- buildInputs = buildInputs ++ [ plugins.headache.installed ];
+ buildInputs = buildInputs ++ [ plugins.headache.installed pkgs.file ];
postPatch = ''
patchShebangs .
'';
--
GitLab