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