diff --git a/debian/patches/gcc-10.patch b/debian/patches/gcc-10.patch new file mode 100644 index 0000000..f44a3be --- /dev/null +++ b/debian/patches/gcc-10.patch @@ -0,0 +1,23 @@ +Description: Fix build failure with GCC 10 +Bug-Debian: https://bugs.debian.org/957354 + +--- a/ibis/src/ibis_wrap.c ++++ b/ibis/src/ibis_wrap.c +@@ -3004,7 +3004,6 @@ + + + /* globals */ +- ibis_t IbisObj; + static ibis_opt_t *ibis_opt_p; + ibis_opt_t IbisOpts; + +--- a/ibis/src/ibissh_wrap.cpp ++++ b/ibis/src/ibissh_wrap.cpp +@@ -3004,7 +3004,6 @@ + + + /* globals */ +- ibis_t IbisObj; + static ibis_opt_t *ibis_opt_p; + ibis_opt_t IbisOpts; + diff --git a/debian/patches/series b/debian/patches/series index 78935a6..be6c79d 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -4,3 +4,4 @@ do_not_use_tmp.patch makefile_dependencies.patch cross.patch +gcc-10.patch