Replace shell.nix with a flake devShell attribute

2019-05-08 18:12:24 +02:00
parent 4172b5b290
commit 2ecc06e557
3 changed files with 8 additions and 4 deletions
--- a/release.nix
+++ b/release.nix
@ -138,9 +138,7 @@ rec {

      preConfigure = "autoreconf -vfi";

-      NIX_LDFLAGS = [
-          "-lpthread"
-	];
+      NIX_LDFLAGS = [ "-lpthread" ];

      enableParallelBuilding = true;