tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 stdenv,
3 pkgs,
4 ocaml,
5 findlib,
6 framac,
7 camlzip,
8 dune-site,
9 ocamlgraph,
10 menhirLib,
11 ppx_deriving,
12 yaml,
13 yojson,
14 zarith,
15}:
16
17stdenv.mkDerivation {
18 pname = "ocaml${ocaml.version}-frama-c";
19 inherit (framac) version meta;
20
21 dontUnpack = true;
22
23 buildInputs = [ findlib ];
24
25 propagatedBuildInputs = [
26 camlzip
27 dune-site
28 menhirLib
29 ocamlgraph
30 ppx_deriving
31 yaml
32 yojson
33 zarith
34 ];
35
36 installPhase = ''
37 runHook preInstall
38 mkdir -p $OCAMLFIND_DESTDIR
39 for p in ${framac}/lib/*
40 do
41 ln -s $p $OCAMLFIND_DESTDIR/
42 done
43 runHook postInstall
44 '';
45}