goblint-cil build patch to detect more recent gcc

See discussion in #24423

Author: raphael-proust

packages/goblint-cil/goblint-cil.2.0.0/files/realGccConfigure.patch

@@ -0,0 +1,15 @@
+diff --git a/bin/realGccConfigure.ml b/bin/realGccConfigure.ml
+index 738f419e..90337c2f 100644
+--- a/bin/realGccConfigure.ml
++++ b/bin/realGccConfigure.ml
+@@ -13,6 +13,10 @@ let is_real_gcc c gcc =
+ 
+ let gccs = [
+   "gcc";
++  "gcc-16";
++  "gcc-15";
++  "gcc-14";
++  "gcc-13";
+   "gcc-12";
+   "gcc-11";
+   "gcc-10";

packages/goblint-cil/goblint-cil.2.0.0/opam

@@ -41,6 +41,7 @@ depends: [
   "cppo"
   "conf-gcc"
 ]
+extra-files: ["realGccConfigure.patch" "md5=8cbe9cc88a05dc7b034b54930b31baed"]
 conflicts: ["cil"]
 build: [
   ["dune" "subst"] {dev}

packages/goblint-cil/goblint-cil.2.0.1/files/realGccConfigure.patch

@@ -0,0 +1,15 @@
+diff --git a/bin/realGccConfigure.ml b/bin/realGccConfigure.ml
+index 738f419e..90337c2f 100644
+--- a/bin/realGccConfigure.ml
++++ b/bin/realGccConfigure.ml
+@@ -13,6 +13,10 @@ let is_real_gcc c gcc =
+ 
+ let gccs = [
+   "gcc";
++  "gcc-16";
++  "gcc-15";
++  "gcc-14";
++  "gcc-13";
+   "gcc-12";
+   "gcc-11";
+   "gcc-10";

packages/goblint-cil/goblint-cil.2.0.1/opam

@@ -41,6 +41,7 @@ depends: [
   "cppo"
   "conf-gcc"
 ]
+extra-files: ["realGccConfigure.patch" "md5=8cbe9cc88a05dc7b034b54930b31baed"]
 conflicts: ["cil"]
 build: [
   ["dune" "subst"] {dev}