tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ lib, mkDerivation, fetchFromGitHub, standard-library }:
2
3mkDerivation rec {
4 pname = "generic";
5 version = "0.1.0.2";
6
7 src = fetchFromGitHub {
8 owner = "effectfully";
9 repo = "Generic";
10 rev = "v${version}";
11 sha256 = "05igsd2gaj6h9bkqwp8llhvn4qvc5gmi03x4fnz096ba8m6x8s3n";
12 };
13
14 buildInputs = [
15 standard-library
16 ];
17
18 preBuild = ''
19 echo "module Everything where" > Everything.agda
20 find src -name '*.agda' | sed -e 's/src\///;s/\//./g;s/\.agda$//;s/^/import /' >> Everything.agda
21 '';
22
23 meta = with lib; {
24 # Remove if a version compatible with agda 2.6.2 is made
25 broken = true;
26 description =
27 "A library for doing generic programming in Agda";
28 homepage = src.meta.homepage;
29 license = licenses.mit;
30 platforms = platforms.unix;
31 maintainers = with maintainers; [ alexarice turion ];
32 };
33}