Update packages/irmin-tezos/irmin-tezos.3.6.0/opam

metanivek · kit-ty-kate · web-flow · commit 70c7251061be · 2023-02-15T06:10:57.000-08:00
Co-authored-by: Kate &lt;kit.ty.kate@disroot.org&gt;
diff --git a/packages/irmin-tezos/irmin-tezos.3.6.0/opam b/packages/irmin-tezos/irmin-tezos.3.6.0/opam
@@ -23,7 +23,7 @@ depends: [
 ]
 build: [
   ["dune" "subst"] {dev}
-  ["dune" "build" "-p" name "-j" jobs "@runtest" {with-test & arch != "arm32" & arch != "x86_32"}]
+  ["dune" "build" "-p" name "-j" jobs "@install" "@runtest" {with-test & arch != "arm32" & arch != "x86_32"}]
 ]
 dev-repo: "git+https://github.com/mirage/irmin.git"
 url {

Original file line number	Diff line number	Diff line change
`@@ -23,7 +23,7 @@ depends: [`
`23`	`23`	`]`
`24`	`24`	`build: [`
`25`	`25`	`["dune" "subst"] {dev}`
`26`		`- ["dune" "build" "-p" name "-j" jobs "@runtest" {with-test & arch != "arm32" & arch != "x86_32"}]`
	`26`	`+ ["dune" "build" "-p" name "-j" jobs "@install" "@runtest" {with-test & arch != "arm32" & arch != "x86_32"}]`
`27`	`27`	`]`
`28`	`28`	`dev-repo: "git+https://github.com/mirage/irmin.git"`
`29`	`29`	`url {`