opam file fix (#43)

emarzion · Jan 11, 2025 · 290917c · 290917c
1 parent 7dcd06e
commit 290917c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/coqtbgen.opam b/coqtbgen.opam
@@ -10,9 +10,9 @@ license: "GPL"
 synopsis: "Games library and Tablebase generator"
 
 build: [
-  [dune build]
+  ["dune" "build" "-p" name]
 ]
-install: [dune install]
+install: ["dune" "install" "-p" name]
 
 depends: [
   "ocaml" {>= "4.14.0"}