-
Notifications
You must be signed in to change notification settings - Fork 0
/
default.nix
76 lines (61 loc) · 1.6 KB
/
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
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
75
76
let
fetchTarballFromGitHub =
{ owner, repo, rev, sha256, ... }:
builtins.fetchTarball {
url = "https://github.com/${owner}/${repo}/archive/${rev}.tar.gz";
inherit sha256;
};
fromJSONFile = f: builtins.fromJSON (builtins.readFile f);
in
{ nixpkgs ? fetchTarballFromGitHub (fromJSONFile ./nix/srcs/nixpkgs.json) }:
with import nixpkgs {
overlays = [
(import ./nix/overlays/ocaml)
(import ./nix/overlays/fstar)
(import ./nix/overlays/emacs)
];
};
stdenv.mkDerivation rec {
name = "learning-fstar-${version}";
version = builtins.readFile ./VERSION;
src = ./.;
HOME = src;
configurePhase = ''
addToSearchPath OCAMLPATH "${fstar}/lib/ocaml/${ocaml.version}/site-lib/"
addToSearchPath PYTHONPATH "${emacsPackagesNg.melpaPackages.fstar-mode}/share/emacs/site-lisp/elpa/fstar-mode-${emacsPackagesNg.melpaPackages.fstar-mode.version}/etc"
'';
makeFlags = [ "PREFIX=$(out)" ];
preBuild = ''
install -dm755 $out/lib
install -dm755 $out/share
# install -dm755 $out/bin
'';
postBuild = ''
make -f Makefile.sphinx html
'';
buildInputs = [
emacs
fstar
iosevka
kremlin
ocaml
python2
z3
] ++ (with ocamlPackages; [
batteries
findlib
ppx_deriving
ppx_deriving_yojson
stdint
zarith
]) ++ (with python2Packages; [
docutils
sphinx
]);
installPhase = ''
cp -r _build/html $out/share/
'';
shellHook = ''
export PATH="$PATH:${emacsPackagesNg.melpaPackages.fstar-mode}/share/emacs/site-lisp/elpa/fstar-mode-${emacsPackagesNg.melpaPackages.fstar-mode.version}/etc/fslit"
'';
}