tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ lib, mkDerivation, fetchFromGitHub }:
2
3mkDerivation (rec {
4 version = "1.5.0";
5 pname = "iowa-stdlib";
6
7 src = fetchFromGitHub {
8 owner = "cedille";
9 repo = "ial";
10 rev = "v${version}";
11 sha256 = "0dlis6v6nzbscf713cmwlx8h9n2gxghci8y21qak3hp18gkxdp0g";
12 };
13
14 libraryFile = "";
15 libraryName = "IAL-1.3";
16
17 buildPhase = ''
18 patchShebangs find-deps.sh
19 make
20 '';
21
22 meta = {
23 homepage = "https://github.com/cedille/ial";
24 description = "Agda standard library developed at Iowa";
25 license = lib.licenses.free;
26 platforms = lib.platforms.unix;
27 # broken since Agda 2.6.1
28 broken = true;
29 maintainers = with lib.maintainers; [ alexarice turion ];
30 };
31})