-
Notifications
You must be signed in to change notification settings - Fork 0
/
default.nix
43 lines (41 loc) · 840 Bytes
/
default.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
{ pkgs ? import (fetchTarball {
name = "nixpkgs-unstable-2020-12-21";
url =
"https://github.com/NixOS/nixpkgs/archive/b6f7f1f673046ad2851728cb8f3a2f0888a1dcf0.tar.gz";
sha256 = "1f7w0kavvbh5rfvv04ja3hj5rzn1hp0ff0yq9wzbpzjchjskaf5w";
}) { } }:
with pkgs;
let ocamlPackages = ocaml-ng.ocamlPackages_4_10;
in stdenv.mkDerivation rec {
name = "coqbot";
src = null;
buildInputs = with ocamlPackages; [ # Compiler and dev tools
ocaml
findlib
dune_2
utop
ncurses
merlin
ocamlformat
nixfmt
nodePackages.get-graphql-schema
# Direct dependencies
base
cohttp
cohttp-lwt-unix
hex
mirage-crypto
yojson
graphql_ppx
toml
eqaf
x509
cstruct
odoc
# Publishing
heroku
];
shellHook = ''
export OCAMLFORMAT_LOCATION=${ocamlformat}
'';
}