From ce792e552d27e3c83251f11434795095dea7a93f Mon Sep 17 00:00:00 2001
From: Marc Coquand <marcc@fastmail.fr>
Date: Mon, 4 Dec 2023 08:19:29 -0600
Subject: Try again

---
 .gitignore    |  1 +
 Dockerfile    |  2 +-
 wormhole.opam | 34 ----------------------------------
 3 files changed, 2 insertions(+), 35 deletions(-)
 delete mode 100644 wormhole.opam

diff --git a/.gitignore b/.gitignore
index 5c52b1f..b26b1d5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,6 +10,7 @@ _opam/
 node_modules/
 example/*/package-lock.json
 
+.wormhole.opam
 # esy
 _esy/
 esy.lock
diff --git a/Dockerfile b/Dockerfile
index 93d745d..f158b0c 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -6,7 +6,7 @@ WORKDIR /home/opam
 
 # Install dependencies
 ADD wormhole.opam wormhole.opam
-RUN opam install . --deps-only 
+RUN opam install . --deps-only --verbose
 
 # Build project
 ADD . .
diff --git a/wormhole.opam b/wormhole.opam
deleted file mode 100644
index 886447e..0000000
--- a/wormhole.opam
+++ /dev/null
@@ -1,34 +0,0 @@
-version: "4771982-dirty"
-# This file is generated by dune, edit dune-project instead
-opam-version: "2.0"
-version: "4771982-dirty"
-synopsis: "A short synopsis"
-description: "A longer description"
-maintainer: ["Maintainer Name"]
-authors: ["Author Name"]
-license: "LICENSE"
-tags: ["topics" "to describe" "your" "project"]
-homepage: "https://github.com/username/reponame"
-doc: "https://url/to/documentation"
-bug-reports: "https://github.com/username/reponame/issues"
-depends: [
-  "ocaml"
-  "dune" {>= "3.11"}
-  "ppx_yojson_conv"
-  "odoc" {with-doc}
-]
-build: [
-  ["dune" "subst"] {dev}
-  [
-    "dune"
-    "build"
-    "-p"
-    name
-    "-j"
-    jobs
-    "@install"
-    "@runtest" {with-test}
-    "@doc" {with-doc}
-  ]
-]
-dev-repo: "git+https://github.com/username/reponame.git"
-- 
cgit v1.2.3