Merge pull request #222896 from wegank/projectcenter-fix

gnustep.projectcenter: 0.6.2 -> 0.7.0
This commit is contained in:
Weijia Wang 2023-03-24 16:11:57 +02:00 committed by GitHub
commit 710f06363a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,15 +1,19 @@
{ fetchurl
{ lib, fetchFromGitHub
, base, back, gsmakeDerivation, gui, gorm
, gnumake, gdb
}:
let
version = "0.6.2";
version = "0.7.0";
in
gsmakeDerivation {
name = "projectcenter-${version}";
src = fetchurl {
url = "ftp://ftp.gnustep.org/pub/gnustep/dev-apps/ProjectCenter-${version}.tar.gz";
sha256 = "0wwlbpqf541apw192jb633d634zkpjhcrrkd1j80y9hihphll465";
pname = "projectcenter";
inherit version;
src = fetchFromGitHub {
owner = "gnustep";
repo = "apps-projectcenter";
rev = "projectcenter-${lib.replaceStrings [ "." ] [ "_" ] version}";
hash = "sha256-uXT2UUvMZNc6Fqi2BUXQimbZk8b3IqXzB+A2btBOmms=";
};
# NOTE: need a patch for ProjectCenter to help it locate some necessary tools: