diff options
| -rw-r--r-- | debian/patches/arm64_short_int.patch | 16 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 17 insertions, 0 deletions
diff --git a/debian/patches/arm64_short_int.patch b/debian/patches/arm64_short_int.patch new file mode 100644 index 0000000..4bec1ef --- /dev/null +++ b/debian/patches/arm64_short_int.patch @@ -0,0 +1,16 @@ +Description: Support ARM64 ("aarch64") platform +Forwarded: yes +Author: Martin Michlmayr <tbm@hp.com> +--- scm~/scmfig.h 2015-07-15 15:18:06.109091000 +0000 ++++ scm/scmfig.h 2015-07-15 15:21:18.669091000 +0000 +@@ -253,6 +253,10 @@ + # endif + # endif + #endif ++#ifdef __aarch64__ ++# define SHORT_INT ++# define CDR_DOUBLES ++#endif + #ifdef __alpha + # define SHORT_INT + #endif diff --git a/debian/patches/series b/debian/patches/series index cf3a15e..08793dc 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -2,3 +2,4 @@ not-usr-local.patch kfreebsd_support.patch texinfo5_fixes.patch ppc64_short_int.patch +arm64_short_int.patch |