guile-lint: drop

This commit is contained in:
Weijia Wang 2023-10-16 08:36:08 +02:00
parent 0e86745f24
commit c83550340b
3 changed files with 1 additions and 34 deletions

View File

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

View File

@ -328,6 +328,7 @@ mapAliases ({
gr-rds = throw "'gr-rds' has been renamed to/replaced by 'gnuradio3_7.pkgs.rds'"; # Converted to throw 2023-09-10
grub2_full = grub2; # Added 2022-11-18
grub = throw "grub1 was removed after not being maintained upstream for a decade. Please switch to another bootloader"; # Added 2023-04-11
guile-lint = throw "'guile-lint' has been removed, please use 'guild lint' instead"; # Added 2023-10-16
### H ###

View File

@ -19359,10 +19359,6 @@ with pkgs;
guile-hall = callPackage ../development/tools/guile/guile-hall { };
guile-lint = callPackage ../development/tools/guile/guile-lint {
guile = guile_1_8;
};
gwrap = callPackage ../development/tools/guile/g-wrap {
guile = guile_2_2;
};