-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathflake.nix
74 lines (70 loc) · 2.23 KB
/
flake.nix
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
{
description = "A basic flake with a shell";
inputs.nixpkgs.url = "github:NixOS/nixpkgs/nixpkgs-unstable";
inputs.flake-utils.url = "github:numtide/flake-utils";
outputs =
{ nixpkgs, flake-utils, ... }:
flake-utils.lib.eachDefaultSystem (
system:
let
pkgs = import nixpkgs { inherit system; };
oj-verify =
with pkgs.python3Packages;
pkgs.python3Packages.buildPythonApplication {
name = "verification-helper";
version = "5.6.0";
pyproject = true;
src = pkgs.fetchFromGitHub {
owner = "online-judge-tools";
repo = "verification-helper";
rev = "adbff121b1f96de5f34e9f1483eb47d661c54075";
fetchSubmodules = false;
sha256 = "sha256-f7Ge8kLRQv9uxdNGtgNsypGVY0XAnKPCg8HYQ5nT6mI=";
};
build-system = [ setuptools ];
dependencies = [
colorlog
importlab
online-judge-tools
pyyaml
setuptools
toml
];
propagatedBuildInputs = [ setuptools ];
};
in
{
devShells.default =
with pkgs;
mkShell {
buildInputs = [
pkg-config
stack
cabal-install
llvmPackages_14.bintools
];
packages = [
just
oj-verify
online-judge-tools
python312Packages.selenium
python312Packages.pyaml
python312Packages.importlab
# haskell.compiler.ghc947.override { useLLVM = true; }
haskell.compiler.ghc947
(haskell-language-server.override { supportedGhcVersions = [ "947" ]; })
# # haskellPackages.doctest
# # TODO: fix doctest version
haskell.packages.ghc947.cabal-fmt
haskell.packages.ghc947.cabal-plan
haskell.packages.ghc947.doctest
haskell.packages.ghc947.implicit-hie
hlint
haskellPackages.hoogle
haskellPackages.ghcid
haskellPackages.ghcide
];
};
}
);
}