dev/ci/nix/coq_dpdgraph.nix


1
2
3
4
5
6
7

{ autoconf, ocamlPackages }:

{
  buildInputs = [ autoconf ] ++ (with ocamlPackages; [ ocaml findlib camlp5 ocamlgraph ]);
  configure = "autoconf && ./configure";
  make = "make all test-suite";
}