-
Notifications
You must be signed in to change notification settings - Fork 14
/
default.nix
42 lines (40 loc) · 836 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
{ pkgs ? import (fetchTarball {
url = "https://github.com/NixOS/nixpkgs/archive/280db3decab4cbeb22a4599bd472229ab74d25e1.tar.gz";
sha256 = "sha256:17n9wji64l7d16s8r100ypwlxkmwrypll4q3wkkfjswbilxkqjr6";
}) { } }:
pkgs.stdenv.mkDerivation rec {
name = "coqbot";
src = null;
buildInputs = with pkgs.ocamlPackages; [ # Compiler and dev tools
ocaml
findlib
dune_3
utop
pkgs.ncurses
merlin
ocaml-lsp
pkgs.ocamlformat
pkgs.nixfmt-rfc-style
pkgs.nodePackages.get-graphql-schema
# Direct dependencies
base
camlzip
cohttp
cohttp-lwt-unix
hex
iso8601
mirage-crypto
mirage-crypto-rng-lwt
yojson
graphql_ppx
toml
eqaf
x509
cstruct
ppx_expect
odoc
];
shellHook = ''
export OCAMLFORMAT_LOCATION=${pkgs.ocamlformat}
'';
}