Update packages/elpi/elpi.3.2.0/opam

gares · jmid · web-flow · commit 238453d461ed · 2025-09-02T09:51:31.000+02:00
Co-authored-by: Jan Midtgaard &lt;mail@janmidtgaard.dk&gt;
diff --git a/packages/elpi/elpi.3.2.0/opam b/packages/elpi/elpi.3.2.0/opam
@@ -10,7 +10,7 @@ bug-reports: "https://github.com/LPCIC/elpi/issues"
 build: [
   ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
-  [make "tests" "DUNE_OPTS=-p %{name}%" "SKIP=performance_HO" "SKIP+=performance_FO" "SKIP+=elpi_api_performance"] {with-test & os != "macos" & os-distribution != "alpine" & os-distribution != "freebsd"}
+  [make "tests" "DUNE_OPTS=-p %{name}%" "SKIP=performance_HO" "SKIP+=performance_FO" "SKIP+=elpi_api_performance"] {with-test & os != "macos" & os-distribution != "alpine" & os-distribution != "freebsd" & arch != "arm32" & arch != "x86_32"}
 ]
 x-maintenance-intent: ["(latest)"]
 depends: [

Original file line number	Diff line number	Diff line change
`@@ -10,7 +10,7 @@ bug-reports: "https://github.com/LPCIC/elpi/issues"`
`10`	`10`	`build: [`
`11`	`11`	`["dune" "subst"] {dev}`
`12`	`12`	`["dune" "build" "-p" name "-j" jobs]`
`13`		`- [make "tests" "DUNE_OPTS=-p %{name}%" "SKIP=performance_HO" "SKIP+=performance_FO" "SKIP+=elpi_api_performance"] {with-test & os != "macos" & os-distribution != "alpine" & os-distribution != "freebsd"}`
	`13`	`+ [make "tests" "DUNE_OPTS=-p %{name}%" "SKIP=performance_HO" "SKIP+=performance_FO" "SKIP+=elpi_api_performance"] {with-test & os != "macos" & os-distribution != "alpine" & os-distribution != "freebsd" & arch != "arm32" & arch != "x86_32"}`
`14`	`14`	`]`
`15`	`15`	`x-maintenance-intent: ["(latest)"]`
`16`	`16`	`depends: [`