diff options
Diffstat (limited to 'default.nix')
-rw-r--r-- | default.nix | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/default.nix b/default.nix index d0bb746..4569d22 100644 --- a/default.nix +++ b/default.nix @@ -6,6 +6,4 @@ stdenv.mkDerivation { buildInputs = [ coq_8_10 ocamlPackages.menhir dune ocaml ocamlPackages.findlib ]; - - buildPhase = "make"; } |