public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

pkgs/development/tools: stdenv.lib -> lib

Browse Source
This commit is contained in:
Ben Siraphob
2021-01-23 19:26:19 +07:00
parent f6a583eeec
commit c522fec274
534 changed files with 1314 additions and 1314 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/development/tools/analysis/spin/default.nix
View File

@@ -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;