tjh.dev
1{
2 lib,
3 mkDerivation,
4 fetchFromGitHub,
5 ghc,
6}:
7
8mkDerivation rec {
9 pname = "cubical";
10 version = "0.8";
11
12 src = fetchFromGitHub {
13 repo = pname;
14 owner = "agda";
15 rev = "v${version}";
16 hash = "sha256-KwwN2g2naEo4/rKTz2L/0Guh5LxymEYP53XQzJ6eMjM=";
17 };
18
19 # The cubical library has several `Everything.agda` files, which are
20 # compiled through the make file they provide.
21 nativeBuildInputs = [ ghc ];
22 buildPhase = ''
23 runHook preBuild
24 make
25 runHook postBuild
26 '';
27
28 meta = with lib; {
29 description = "Cubical type theory library for use with the Agda compiler";
30 homepage = src.meta.homepage;
31 license = licenses.mit;
32 platforms = platforms.unix;
33 maintainers = with maintainers; [
34 alexarice
35 ryanorendorff
36 ncfavier
37 phijor
38 ];
39 };
40}