diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-10-16 08:36:08 +0200 |
---|---|---|
committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-10-16 08:36:37 +0200 |
commit | c83550340bf3ca7d6f2b470d18eaa5bae0ba5a47 (patch) | |
tree | 4134b250b2d646b53f7a190c6ed51b4cb16d4a3b /pkgs/development/tools/guile | |
parent | 0e86745f240faa40e254fda6f5fd93217119b06f (diff) |
guile-lint: drop
Diffstat (limited to 'pkgs/development/tools/guile')
-rw-r--r-- | pkgs/development/tools/guile/guile-lint/default.nix | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/pkgs/development/tools/guile/guile-lint/default.nix b/pkgs/development/tools/guile/guile-lint/default.nix deleted file mode 100644 index 6de9e48ae6675..0000000000000 --- a/pkgs/development/tools/guile/guile-lint/default.nix +++ /dev/null @@ -1,30 +0,0 @@ -{ lib, stdenv, fetchurl, guile }: - -stdenv.mkDerivation rec { - pname = "guile-lint"; - version = "14"; - - src = fetchurl { - url = "https://download.tuxfamily.org/user42/${pname}-${version}.tar.bz2"; - sha256 = "1gnhnmki05pkmzpbfc07vmb2iwza6vhy75y03bw2x2rk4fkggz2v"; - }; - - buildInputs = [ guile ]; - - unpackPhase = ''tar xjvf "$src" && sourceRoot="$PWD/${pname}-${version}"''; - - prePatch = '' - substituteInPlace guile-lint.in --replace \ - "exec guile" "exec ${guile}/bin/guile" - ''; - - doCheck = !stdenv.isDarwin; - - meta = with lib; { - description = "Checks syntax and semantics in a Guile program or module"; - homepage = "https://user42.tuxfamily.org/guile-lint/index.html"; - license = licenses.gpl3Plus; - maintainers = with maintainers; [ vyp ]; - platforms = platforms.all; - }; -} |