Unverified Commit 904d4b9d authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

Merge pull request #261336 from wegank/guile-lint-drop 

guile-lint: drop
parents 1f3eaa40 c8355034

pkgs/development/tools/guile/guile-lint/default.nix

deleted100644 → 0
+0 −30
Original line number Diff line number Diff line 
{ 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;

  };

}

pkgs/top-level/aliases.nix

+1 −0
Original line number Diff line number Diff line
@@ -332,6 +332,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 ###

pkgs/top-level/all-packages.nix

+0 −4
Original line number Diff line number Diff line
@@ -19363,10 +19363,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;















  };