diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-02-17 19:31:49 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-02-17 19:31:49 +0000 |
| commit | 31176813d3f18db6c7f76257be416b7b8b60b92d (patch) | |
| tree | 0907a25d4182c123a76900752121dc9538b36f34 /default.nix | |
| parent | 1d7a8f8e795d2fac612f1730a70c3d69eddb2f45 (diff) | |
| download | vericert-kvx-31176813d3f18db6c7f76257be416b7b8b60b92d.tar.gz vericert-kvx-31176813d3f18db6c7f76257be416b7b8b60b92d.zip | |
Fix makefile and add travis build
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"; } |