2018-10-04 14:57:07 +02:00
|
|
|
{ haskell, lib, haskellPackages, fetchFromGitHub }:
|
|
|
|
|
|
|
|
let
|
2019-05-08 09:14:18 +02:00
|
|
|
version = "1.4.3";
|
|
|
|
sha256 = "0i12x7qzfmmdvi09k96x53zzzrva2w3zbl2f6dkxb8kk5scqqa4v";
|
2018-10-04 14:57:07 +02:00
|
|
|
|
|
|
|
in (haskellPackages.mkDerivation {
|
|
|
|
pname = "taskell";
|
|
|
|
inherit version;
|
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "smallhadroncollider";
|
|
|
|
repo = "taskell";
|
|
|
|
rev = version;
|
|
|
|
inherit sha256;
|
|
|
|
};
|
|
|
|
|
|
|
|
postPatch = ''${haskellPackages.hpack}/bin/hpack'';
|
|
|
|
|
|
|
|
# basically justStaticExecutables; TODO: use justStaticExecutables
|
|
|
|
enableSharedExecutables = false;
|
|
|
|
enableLibraryProfiling = false;
|
|
|
|
isExecutable = true;
|
|
|
|
doHaddock = false;
|
|
|
|
postFixup = "rm -rf $out/lib $out/nix-support $out/share/doc";
|
|
|
|
|
|
|
|
# copied from packages.yaml
|
|
|
|
libraryHaskellDepends = with haskellPackages; [
|
|
|
|
classy-prelude
|
|
|
|
# base <=5
|
|
|
|
aeson
|
|
|
|
brick
|
|
|
|
# bytestring
|
|
|
|
config-ini
|
|
|
|
# containers
|
|
|
|
# directory
|
|
|
|
file-embed
|
2019-04-28 12:19:43 +02:00
|
|
|
fold-debounce
|
2018-10-04 14:57:07 +02:00
|
|
|
http-conduit
|
|
|
|
http-client
|
|
|
|
http-types
|
|
|
|
lens
|
2019-04-28 12:19:43 +02:00
|
|
|
raw-strings-qq
|
2018-10-04 14:57:07 +02:00
|
|
|
# mtl
|
|
|
|
# template-haskell
|
|
|
|
# text
|
|
|
|
time
|
|
|
|
vty
|
|
|
|
];
|
|
|
|
|
|
|
|
executableHaskellDepends = [];
|
|
|
|
|
|
|
|
testHaskellDepends = with haskellPackages; [
|
|
|
|
tasty
|
|
|
|
tasty-discover
|
|
|
|
tasty-expected-failure
|
|
|
|
tasty-hunit
|
|
|
|
];
|
|
|
|
|
2019-05-08 16:49:00 +02:00
|
|
|
description = "Command-line Kanban board/task manager with support for Trello boards and GitHub projects";
|
|
|
|
homepage = "https://taskell.app";
|
|
|
|
license = lib.licenses.bsd3;
|
|
|
|
maintainers = with lib.maintainers; [ matthiasbeyer ];
|
|
|
|
platforms = with lib.platforms; unix ++ darwin;
|
2018-10-04 14:57:07 +02:00
|
|
|
})
|