Unverified Commit 5d04ea30 authored by Christoph Jabs's avatar Christoph Jabs
Browse files

kissat: use finalAttrs

parent 6a8d682e

pkgs/by-name/ki/kissat/package.nix

+5 −5
Original line number Diff line number Diff line
@@ -26,14 +26,14 @@ let 
    homepage = "https://fmv.jku.at/kissat";

  };

in

stdenv.mkDerivation rec {

stdenv.mkDerivation (finalAttrs: {

  pname = "kissat";

  version = "4.0.4";



  src = fetchFromGitHub {

    owner = "arminbiere";

    repo = "kissat";

    rev = "rel-${version}";

    rev = "rel-${finalAttrs.version}";

    sha256 = "sha256-hgB1U2Pmh1hEyNA3ej3fXxxf0YjCRgtOuSddRl6s0eo=";

  };
@@ -90,9 +90,9 @@ stdenv.mkDerivation rec { 
    libdir=${placeholder "lib"}/lib

    includedir=\''${prefix}/include



    Name: ${pname}

    Name: ${finalAttrs.pname}

    Description: ${meta.description}

    Version: ${version}

    Version: ${finalAttrs.version}

    Libs: -L\''${libdir} -lkissat

    Cflags: -I\''${includedir}

    EOF
@@ -101,4 +101,4 @@ stdenv.mkDerivation rec { 
  '';



  inherit meta;

}
 
})