tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ lib, mkDerivation, fetchFromGitHub, ghc }:
2
3mkDerivation rec {
4 pname = "cubical";
5 version = "unstable-2023-02-09";
6
7 src = fetchFromGitHub {
8 repo = pname;
9 owner = "agda";
10 rev = "6b1ce0b67fd94693c1a3e340c8e8765380de0edc";
11 hash = "sha256-XRCaW94oAgy2GOnFiI9c5A8mEx7AzlbT4pFd+PMmc9o=";
12 };
13
14 # The cubical library has several `Everything.agda` files, which are
15 # compiled through the make file they provide.
16 nativeBuildInputs = [ ghc ];
17 buildPhase = ''
18 runHook preBuild
19 make
20 runHook postBuild
21 '';
22
23 meta = with lib; {
24 description =
25 "A cubical type theory library for use with the Agda compiler";
26 homepage = src.meta.homepage;
27 license = licenses.mit;
28 platforms = platforms.unix;
29 maintainers = with maintainers; [ alexarice ryanorendorff ncfavier ];
30 };
31}