2023-10-31 17:31:12 +01:00
|
|
|
{ lib, buildNimPackage, fetchFromGitea }:
|
2023-02-01 20:36:35 +01:00
|
|
|
|
2023-08-02 13:34:23 +02:00
|
|
|
buildNimPackage (final: prev: {
|
2023-02-01 20:36:35 +01:00
|
|
|
pname = "eris";
|
2023-08-02 13:34:23 +02:00
|
|
|
version = "20230722";
|
2023-02-01 20:36:35 +01:00
|
|
|
outputs = [ "bin" "out" ];
|
2023-10-31 17:31:12 +01:00
|
|
|
requiredNimVersion = 1;
|
2023-02-01 20:36:35 +01:00
|
|
|
src = fetchFromGitea {
|
|
|
|
domain = "codeberg.org";
|
|
|
|
owner = "eris";
|
2023-08-02 13:34:23 +02:00
|
|
|
repo = "nim-eris";
|
|
|
|
rev = final.version;
|
|
|
|
hash = "sha256-JVl2/PmFVYuD4s9hKoQwVDKUa3PBWK5SBDEmVHVSuig=";
|
2023-02-01 20:36:35 +01:00
|
|
|
};
|
2023-10-31 17:31:12 +01:00
|
|
|
lockFile = ./lock.json;
|
2023-02-01 20:36:35 +01:00
|
|
|
postInstall = ''
|
2023-07-16 21:11:11 +02:00
|
|
|
mkdir -p "$bin/share/recoll/filters"
|
|
|
|
mv "$bin/bin/rclerislink" "$bin/share/recoll/filters/"
|
|
|
|
|
2023-02-01 20:36:35 +01:00
|
|
|
mkdir -p "$bin/share/applications"
|
|
|
|
substitute "eris-open.desktop" "$bin/share/applications/eris-open.desktop"\
|
|
|
|
--replace "Exec=eriscmd " "Exec=$bin/bin/eriscmd "
|
|
|
|
|
|
|
|
install -D "eris-link.xml" -t "$bin/share/mime/packages"
|
|
|
|
install -D "eris48.png" "$bin/share/icons/hicolor/48x48/apps/eris.png"
|
|
|
|
'';
|
2023-08-02 13:34:23 +02:00
|
|
|
meta = final.src.meta // {
|
|
|
|
homepage = "https://codeberg.org/eris/nim-eris";
|
2023-02-01 20:36:35 +01:00
|
|
|
license = lib.licenses.unlicense;
|
|
|
|
maintainers = with lib.maintainers; [ ehmry ];
|
|
|
|
mainProgram = "eriscmd";
|
2023-05-28 10:00:47 +02:00
|
|
|
badPlatforms = lib.platforms.darwin;
|
2023-02-01 20:36:35 +01:00
|
|
|
};
|
2023-08-02 13:34:23 +02:00
|
|
|
})
|