diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-02-04 14:53:03 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-02-04 14:53:03 +0000 |
| commit | b3b21c2d8cb6b89087e30cb901523915b8d71f44 (patch) | |
| tree | fa897bfaa43791bf9745206fcf572f8f610b289d /default.nix | |
| parent | 4d26fb772d1c685aca6da7e97b5a65da1dd6a833 (diff) | |
| download | vericert-kvx-b3b21c2d8cb6b89087e30cb901523915b8d71f44.tar.gz vericert-kvx-b3b21c2d8cb6b89087e30cb901523915b8d71f44.zip | |
Add nix file
Diffstat (limited to 'default.nix')
| -rw-r--r-- | default.nix | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/default.nix b/default.nix new file mode 100644 index 0000000..4e1cfbb --- /dev/null +++ b/default.nix @@ -0,0 +1,10 @@ +with import <nixpkgs> {}; + +stdenv.mkDerivation { + name = "CoqUp"; + src = ./.; + + buildInputs = [ coq_8_10 ]; + + buildPhase = "make"; +} |