also register the extra files as patches

raphael-proust · raphael-proust · commit 061641357241 · 2023-09-21T14:36:00.000+02:00
diff --git a/packages/goblint-cil/goblint-cil.2.0.0/opam b/packages/goblint-cil/goblint-cil.2.0.0/opam
@@ -42,6 +42,7 @@ depends: [
   "conf-gcc"
 ]
 extra-files: ["realGccConfigure.patch" "md5=8cbe9cc88a05dc7b034b54930b31baed"]
+patches: ["realGccConfigure.patch"]
 conflicts: ["cil"]
 build: [
   ["dune" "subst"] {dev}
diff --git a/packages/goblint-cil/goblint-cil.2.0.1/opam b/packages/goblint-cil/goblint-cil.2.0.1/opam
@@ -42,6 +42,7 @@ depends: [
   "conf-gcc"
 ]
 extra-files: ["realGccConfigure.patch" "md5=8cbe9cc88a05dc7b034b54930b31baed"]
+patches: ["realGccConfigure.patch"]
 conflicts: ["cil"]
 build: [
   ["dune" "subst"] {dev}

Original file line number	Diff line number	Diff line change
`@@ -42,6 +42,7 @@ depends: [`
`42`	`42`	`"conf-gcc"`
`43`	`43`	`]`
`44`	`44`	`extra-files: ["realGccConfigure.patch" "md5=8cbe9cc88a05dc7b034b54930b31baed"]`
	`45`	`+patches: ["realGccConfigure.patch"]`
`45`	`46`	`conflicts: ["cil"]`
`46`	`47`	`build: [`
`47`	`48`	`["dune" "subst"] {dev}`