tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 haskellPackages,
4 fetchFromGitHub,
5}:
6
7haskellPackages.mkDerivation {
8 pname = "autosubst2";
9 version = "0-unstable-2022-07-04";
10
11 src = fetchFromGitHub {
12 owner = "uds-psl";
13 repo = "autosubst2";
14 rev = "8a71e1dc4dea81f13a9572ea302064eb374566c6";
15 hash = "sha256-3n87NBi3NbuDb44/oEnzjNk/TAHUwATJYuaw70k/tpk=";
16 };
17 patches = [ ./imports.patch ];
18
19 isLibrary = true;
20 isExecutable = true;
21 libraryHaskellDepends = with haskellPackages; [
22 base
23 parsec
24 containers
25 mtl
26 array
27 wl-pprint
28 graphviz
29 text
30 ];
31 executableHaskellDepends = with haskellPackages; [
32 base
33 optparse-applicative
34 wl-pprint
35 directory
36 ];
37 testHaskellDepends = with haskellPackages; [
38 base
39 QuickCheck
40 containers
41 ];
42 doCheck = false;
43
44 homepage = "https://github.com/uds-psl/autosubst2";
45 description = "Tool for generating de Bruijn boilerplate Coq code to handle substitutions in languages with binders";
46 maintainers = with lib.maintainers; [ chen ];
47 license = lib.licenses.bsd3;
48 mainProgram = "as2-exe";
49}