From 068ef5aaf2431902fe5267a0cdf32227976fc3dd Mon Sep 17 00:00:00 2001 From: MERCIER Michael <michael.mercier@inria.fr> Date: Tue, 26 Feb 2019 14:04:20 +0100 Subject: [PATCH] [nix] Better default.nix --- default.nix | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/default.nix b/default.nix index 05753d9..14551fd 100644 --- a/default.nix +++ b/default.nix @@ -1,16 +1,15 @@ let - pkgs = import (fetchTarball "https://github.com/NixOS/nixpkgs/archive/18.03.tar.gz") {}; kapack = import ( fetchTarball "https://github.com/oar-team/kapack/archive/master.tar.gz") - { inherit pkgs; }; + { }; in with kapack; -with pkgs; (batsched_dev.override {}).overrideAttrs (attrs: rec { name = "batsched-1.4.0-nix-local"; src = ../.; enableParallelBuilding = true; doCheck = false; + dontStrip = true; }) -- GitLab