Add graph-easy Ubuntu depext

sim642 · sim642 · commit 65ae0f0322aa · 2024-02-13T16:28:10.000+02:00
diff --git a/goblint.opam b/goblint.opam
@@ -81,6 +81,9 @@ pin-depends: [
   # TODO: add back after release, only pinned for optimization (https://github.com/ocaml-ppx/ppx_deriving/pull/252)
   [ "ppx_deriving.5.2.1" "git+https://github.com/ocaml-ppx/ppx_deriving.git#0a89b619f94cbbfc3b0fb3255ab4fe5bc77d32d6" ]
 ]
+depexts: [
+  ["libgraph-easy-perl"] {os-distribution = "ubuntu" & with-test}
+]
 post-messages: [
   "Do not benchmark Goblint on OCaml 5 (https://goblint.readthedocs.io/en/latest/user-guide/benchmarking/)." {ocaml:version >= "5.0.0"}
 ]
diff --git a/goblint.opam.locked b/goblint.opam.locked
@@ -140,3 +140,4 @@ pin-depends: [
     "git+https://github.com/ocaml-ppx/ppx_deriving.git#0a89b619f94cbbfc3b0fb3255ab4fe5bc77d32d6"
   ]
 ]
+depexts: ["libgraph-easy-perl"] {os-distribution = "ubuntu" & with-test}
diff --git a/goblint.opam.template b/goblint.opam.template
@@ -7,6 +7,9 @@ pin-depends: [
   # TODO: add back after release, only pinned for optimization (https://github.com/ocaml-ppx/ppx_deriving/pull/252)
   [ "ppx_deriving.5.2.1" "git+https://github.com/ocaml-ppx/ppx_deriving.git#0a89b619f94cbbfc3b0fb3255ab4fe5bc77d32d6" ]
 ]
+depexts: [
+  ["libgraph-easy-perl"] {os-distribution = "ubuntu" & with-test}
+]
 post-messages: [
   "Do not benchmark Goblint on OCaml 5 (https://goblint.readthedocs.io/en/latest/user-guide/benchmarking/)." {ocaml:version >= "5.0.0"}
 ]

Original file line number	Diff line number	Diff line change
`@@ -81,6 +81,9 @@ pin-depends: [`
`81`	`81`	`# TODO: add back after release, only pinned for optimization (https://github.com/ocaml-ppx/ppx_deriving/pull/252)`
`82`	`82`	`[ "ppx_deriving.5.2.1" "git+https://github.com/ocaml-ppx/ppx_deriving.git#0a89b619f94cbbfc3b0fb3255ab4fe5bc77d32d6" ]`
`83`	`83`	`]`
	`84`	`+depexts: [`
	`85`	`+ ["libgraph-easy-perl"] {os-distribution = "ubuntu" & with-test}`
	`86`	`+]`
`84`	`87`	`post-messages: [`
`85`	`88`	`"Do not benchmark Goblint on OCaml 5 (https://goblint.readthedocs.io/en/latest/user-guide/benchmarking/)." {ocaml:version >= "5.0.0"}`
`86`	`89`	`]`
Original file line number	Diff line number	Diff line change
`@@ -140,3 +140,4 @@ pin-depends: [`
`140`	`140`	`"git+https://github.com/ocaml-ppx/ppx_deriving.git#0a89b619f94cbbfc3b0fb3255ab4fe5bc77d32d6"`
`141`	`141`	`]`
`142`	`142`	`]`
	`143`	`+depexts: ["libgraph-easy-perl"] {os-distribution = "ubuntu" & with-test}`
Original file line number	Diff line number	Diff line change
`@@ -7,6 +7,9 @@ pin-depends: [`
`7`	`7`	`# TODO: add back after release, only pinned for optimization (https://github.com/ocaml-ppx/ppx_deriving/pull/252)`
`8`	`8`	`[ "ppx_deriving.5.2.1" "git+https://github.com/ocaml-ppx/ppx_deriving.git#0a89b619f94cbbfc3b0fb3255ab4fe5bc77d32d6" ]`
`9`	`9`	`]`
	`10`	`+depexts: [`
	`11`	`+ ["libgraph-easy-perl"] {os-distribution = "ubuntu" & with-test}`
	`12`	`+]`
`10`	`13`	`post-messages: [`
`11`	`14`	`"Do not benchmark Goblint on OCaml 5 (https://goblint.readthedocs.io/en/latest/user-guide/benchmarking/)." {ocaml:version >= "5.0.0"}`
`12`	`15`	`]`