diff options
Diffstat (limited to '')
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | Dockerfile | 2 | ||||
| -rw-r--r-- | wormhole.opam | 34 |
3 files changed, 2 insertions, 35 deletions
@@ -10,6 +10,7 @@ _opam/ node_modules/ example/*/package-lock.json +.wormhole.opam # esy _esy/ esy.lock @@ -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" |