Description: __float128 is not available on all architectures
 .
 cbmc (5.12-1) unstable; urgency=low
 .
   * New upstream release
   * Updated Standards version to 4.5.0.1 (no changes required)
   * Acknowledge NMU - thanks Adrian for the build fix (Closes: #952256)
Author: Michael Tautschnig <mt@debian.org>
Bug-Debian: https://bugs.debian.org/952256

---
The information above should follow the Patch Tagging Guidelines, please
checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
are templates for supplementary fields that you might want to add:

Origin: <vendor|upstream|other>, <url of original patch>
Bug: <url in upstream bugtracker>
Bug-Debian: https://bugs.debian.org/<bugnumber>
Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
Forwarded: <no|not-needed|url proving that it has been forwarded>
Reviewed-By: <name and email of someone who approved the patch>
Last-Update: 2020-04-29

--- cbmc-5.12.orig/regression/cbmc/ts18661_typedefs/main.c
+++ cbmc-5.12/regression/cbmc/ts18661_typedefs/main.c
@@ -19,7 +19,11 @@
 #    endif
 
 #    if __GNUC_PREREQ(4, FLOAT128_MINOR_VERSION)
-#      define HAS_FLOAT128
+// https://gcc.gnu.org/onlinedocs/gcc/Floating-Types.html
+#      if defined(__i386__) || defined(__x86_64__) || defined(__ia64__) || \
+          defined(__hppa__) || defined(__powerpc__)
+#        define HAS_FLOAT128
+#      endif
 #    endif
 
 #  endif
