diff options
author | Ben Siraphob <bensiraphob@gmail.com> | 2021-01-23 19:26:19 +0700 |
---|---|---|
committer | Ben Siraphob <bensiraphob@gmail.com> | 2021-01-23 20:30:03 +0700 |
commit | c522fec2743ffb95f2bc296f249232d73ae57dd1 (patch) | |
tree | c29207eba8c137fd2e9ff59d7186c9a4dfd0cdc4 /pkgs/development/tools/analysis/spin | |
parent | f6a583eeece936a1d917de67194fec4b6c74cf1f (diff) | |
download | nixpkgs-c522fec2743ffb95f2bc296f249232d73ae57dd1.tar nixpkgs-c522fec2743ffb95f2bc296f249232d73ae57dd1.tar.gz nixpkgs-c522fec2743ffb95f2bc296f249232d73ae57dd1.tar.bz2 nixpkgs-c522fec2743ffb95f2bc296f249232d73ae57dd1.tar.lz nixpkgs-c522fec2743ffb95f2bc296f249232d73ae57dd1.tar.xz nixpkgs-c522fec2743ffb95f2bc296f249232d73ae57dd1.tar.zst nixpkgs-c522fec2743ffb95f2bc296f249232d73ae57dd1.zip |
pkgs/development/tools: stdenv.lib -> lib
Diffstat (limited to 'pkgs/development/tools/analysis/spin')
-rw-r--r-- | pkgs/development/tools/analysis/spin/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/tools/analysis/spin/default.nix b/pkgs/development/tools/analysis/spin/default.nix index 73e88f9811c..49e31f53a84 100644 --- a/pkgs/development/tools/analysis/spin/default.nix +++ b/pkgs/development/tools/analysis/spin/default.nix @@ -2,13 +2,13 @@ , withISpin ? true, tk, swarm, graphviz }: let - binPath = stdenv.lib.makeBinPath [ gcc ]; - ibinPath = stdenv.lib.makeBinPath [ gcc tk swarm graphviz tk ]; + binPath = lib.makeBinPath [ gcc ]; + ibinPath = lib.makeBinPath [ gcc tk swarm graphviz tk ]; in stdenv.mkDerivation rec { pname = "spin"; version = "6.4.9"; - url-version = stdenv.lib.replaceChars ["."] [""] version; + url-version = lib.replaceChars ["."] [""] version; src = fetchurl { # The homepage is behind CloudFlare anti-DDoS protection, which blocks cURL. @@ -36,7 +36,7 @@ in stdenv.mkDerivation rec { --prefix PATH ':' "$out/bin:${ibinPath}" ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Formal verification tool for distributed software systems"; homepage = "http://spinroot.com/"; license = licenses.free; |