Merge pull request #276732 from eownerdead/pr/pdpmake

pdpmake: init at 1.4.1
This commit is contained in:
Peder Bergebakken Sundt 2024-03-15 13:15:58 +01:00 committed by GitHub
commit 3d676bbf34
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 38 additions and 0 deletions

View File

@ -5789,6 +5789,15 @@
githubId = 418227;
name = "Jean-Philippe Braun";
};
eownerdead = {
name = "EOWNERDEAD";
email = "eownerdead@disroot.org";
github = "eownerdead";
githubId = 141208772;
keys = [{
fingerprint = "4715 17D6 2495 A273 4DDB 5661 009E 5630 5CA5 4D63";
}];
};
eperuffo = {
email = "info@emanueleperuffo.com";
github = "emanueleperuffo";

View File

@ -0,0 +1,29 @@
{ lib, stdenv, fetchFromGitHub }:
stdenv.mkDerivation rec {
pname = "pdpmake";
version = "1.4.1";
src = fetchFromGitHub {
owner = "rmyorston";
repo = "pdpmake";
rev = version;
hash = "sha256-N9MT+3nE8To0ktNTPT9tDHkKRrn4XsTYiTeYdBk9VtI=";
};
makeFlags = [ "PREFIX=$(out)" ];
doCheck = true;
checkTarget = "test";
enableParallelBuilding = true;
meta = with lib; {
homepage = "https://github.com/rmyorston/pdpmake";
description = "Public domain POSIX make";
license = licenses.unlicense;
maintainers = with maintainers; [ eownerdead ];
mainProgram = "pdpmake";
platforms = platforms.all;
badPlatforms = platforms.darwin; # Requires `uimensat`
};
}