diff options
author | Felix Buehler <account@buehler.rocks> | 2021-07-17 19:56:23 +0200 |
---|---|---|
committer | Felix Buehler <account@buehler.rocks> | 2021-07-18 00:19:24 +0200 |
commit | 87316d778be9234ada273c0892ce9788bd23ab9f (patch) | |
tree | 58ab70c7d52e4bf2221679f7f3937000dabc5337 /pkgs/development/tools/minizinc | |
parent | a314be4b4d6403df29c9fe3ed0cd92a39ffbcdb2 (diff) |
various: cleanup of "inherit version;"
Diffstat (limited to 'pkgs/development/tools/minizinc')
-rw-r--r-- | pkgs/development/tools/minizinc/default.nix | 7 | ||||
-rw-r--r-- | pkgs/development/tools/minizinc/ide.nix | 7 |
2 files changed, 4 insertions, 10 deletions
diff --git a/pkgs/development/tools/minizinc/default.nix b/pkgs/development/tools/minizinc/default.nix index c1e0a356df353..06a6bd3dfd549 100644 --- a/pkgs/development/tools/minizinc/default.nix +++ b/pkgs/development/tools/minizinc/default.nix @@ -1,10 +1,7 @@ { lib, stdenv, fetchFromGitHub, cmake, flex, bison }: -let - version = "2.5.5"; -in -stdenv.mkDerivation { +stdenv.mkDerivation rec { pname = "minizinc"; - inherit version; + version = "2.5.5"; nativeBuildInputs = [ cmake flex bison ]; diff --git a/pkgs/development/tools/minizinc/ide.nix b/pkgs/development/tools/minizinc/ide.nix index a1ce9d0a69606..ef7dcb353215f 100644 --- a/pkgs/development/tools/minizinc/ide.nix +++ b/pkgs/development/tools/minizinc/ide.nix @@ -1,10 +1,7 @@ { lib, mkDerivation, fetchFromGitHub, qtbase, qtwebengine, qtwebkit, qmake, minizinc }: -let - version = "2.5.3"; -in -mkDerivation { +mkDerivation rec { pname = "minizinc-ide"; - inherit version; + version = "2.5.3"; nativeBuildInputs = [ qmake ]; buildInputs = [ qtbase qtwebengine qtwebkit ]; |