aboutsummaryrefslogtreecommitdiffstats
path: root/shell.nix
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2020-12-17 10:03:56 +0000
committerYann Herklotz <git@yannherklotz.com>2020-12-17 10:03:56 +0000
commitfd52cc1edbe192e3a4b6e6780be8761d5702664b (patch)
treea71e7bf8978b60f9e1cdec5cc1721297cf999879 /shell.nix
parent82b3cfa677c21e7d1fab907f1824bb101f819291 (diff)
downloadvericert-kvx-fd52cc1edbe192e3a4b6e6780be8761d5702664b.tar.gz
vericert-kvx-fd52cc1edbe192e3a4b6e6780be8761d5702664b.zip
Add build files for loop pipelining
Diffstat (limited to 'shell.nix')
-rw-r--r--shell.nix1
1 files changed, 1 insertions, 0 deletions
diff --git a/shell.nix b/shell.nix
index 81d40f6..a80b1be 100644
--- a/shell.nix
+++ b/shell.nix
@@ -3,5 +3,6 @@ with import <nixpkgs> {};
mkShell {
buildInputs = (import ./.).buildInputs ++ [ ocamlPackages.ocp-indent
ocamlPackages.merlin ocamlPackages.utop
+ # (import ./.)
];
}