The unpac monorepo manager self-hosting as a monorepo using unpac
Merge pull request #155 from redianthus/master
fix documentation and add `shell.nix`
authored by
Jean-Christophe Filliatre
and committed by
GitHub
b321c191
688534e3
+20
-3
+2
-1
vendor/opam/ocamlgraph/.gitignore
+2
-1
vendor/opam/ocamlgraph/.gitignore
+16
vendor/opam/ocamlgraph/shell.nix
+16
vendor/opam/ocamlgraph/shell.nix
···
1
+
{ pkgs ? import (builtins.fetchTarball {
2
+
url = "https://github.com/NixOS/nixpkgs/archive/nixos-unstable.tar.gz";
3
+
}) {}
4
+
}:
5
+
6
+
pkgs.mkShell {
7
+
nativeBuildInputs = with pkgs.ocamlPackages; [
8
+
dune_3
9
+
findlib
10
+
ocaml
11
+
lablgtk
12
+
];
13
+
buildInputs = with pkgs.ocamlPackages; [
14
+
graphics
15
+
];
16
+
}
+2
-2
vendor/opam/ocamlgraph/src/persistent.mli
+2
-2
vendor/opam/ocamlgraph/src/persistent.mli
···
73
73
standard concrete directional graphs. But accessing predecessors and
74
74
removing a vertex are faster. *)
75
75
76
-
(** Imperative Unlabeled, bidirectional graph. *)
76
+
(** Persistent Unlabeled, bidirectional graph. *)
77
77
module ConcreteBidirectional (V: COMPARABLE) :
78
78
Sig.P with type V.t = V.t and type V.label = V.t and type E.t = V.t * V.t
79
79
and type E.label = unit
80
80
81
-
(** Imperative Labeled and bidirectional graph. *)
81
+
(** Persistent Labeled and bidirectional graph. *)
82
82
module ConcreteBidirectionalLabeled(V:COMPARABLE)(E:ORDERED_TYPE_DFT) :
83
83
Sig.P with type V.t = V.t and type V.label = V.t
84
84
and type E.t = V.t * E.t * V.t and type E.label = E.t