From 44eb1efda2384b0929701934dccdc91244a3775a Mon Sep 17 00:00:00 2001 From: Bikal Lem Date: Mon, 19 Dec 2022 15:48:44 +0000 Subject: [PATCH] misc: develop against vendored dependencies --- .gitignore | 3 ++- eio/tests/dune | 1 + vendor/dune | 1 + 3 files changed, 4 insertions(+), 1 deletion(-) create mode 100644 vendor/dune diff --git a/.gitignore b/.gitignore index 5d77f80f..cd2eed45 100644 --- a/.gitignore +++ b/.gitignore @@ -14,4 +14,5 @@ mirage/*/tls_server Makefile key_gen.ml -random/ \ No newline at end of file +random/ +vendor/ diff --git a/eio/tests/dune b/eio/tests/dune index d2638c01..0997b136 100644 --- a/eio/tests/dune +++ b/eio/tests/dune @@ -10,6 +10,7 @@ server-ec.pem server-ec.key (package tls-eio) + (package mirage-crypto-rng-eio) (package eio_main))) ; "dune runtest" just does a quick run with random inputs. diff --git a/vendor/dune b/vendor/dune new file mode 100644 index 00000000..94865487 --- /dev/null +++ b/vendor/dune @@ -0,0 +1 @@ +(vendored_dirs vendor)