misc: develop against vendored dependencies

mirleft · Dec 22, 2022 · 44eb1ef · 44eb1ef
1 parent 2456cd7
commit 44eb1ef
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -14,4 +14,5 @@ mirage/*/tls_server
 Makefile
 key_gen.ml
 
-random/
+random/
+vendor/
diff --git 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
@@ -0,0 +1 @@
+(vendored_dirs vendor)
-Original file line number
+Diff line change
@@ Expand Up / @@ -14,4 +14,5 @@ mirage/*/tls_server @@
     Makefile
     key_gen.ml
-    random/
+    random/
+    vendor/