[polyml] 03/13: Add support for Alpha

[James Clarke]

This is an automated email from the git hooks/post-receive script.

jrtc27-guest pushed a commit to branch master
in repository polyml.

commit 6651fee01ee9a59dda83974eed51d8422b2ce3a1
Author: James Clarke <jrtc27 at jrtc27.com>
Date:   Fri Mar 11 15:56:30 2016 +0000

    Add support for Alpha
---
 debian/changelog          |  7 +++++++
 debian/patches/alpha.diff | 49 +++++++++++++++++++++++++++++++++++++++++++++++
 debian/patches/series     |  1 +
 3 files changed, 57 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 1f73821..15e2969 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+polyml (5.6-3) UNRELEASED; urgency=low
+
+  * New patches:
+    - alpha.diff: Add support for alpha
+
+ -- James Clarke <jrtc27 at jrtc27.com>  Tue, 02 Feb 2016 21:15:49 +0000
+
 polyml (5.6-2) unstable; urgency=low
 
   * Replaced soft-float-rounding.diff with upstream's
diff --git a/debian/patches/alpha.diff b/debian/patches/alpha.diff
new file mode 100644
index 0000000..ee824a2
--- /dev/null
+++ b/debian/patches/alpha.diff
@@ -0,0 +1,49 @@
+Description: Add support for Alpha
+Author: James Clarke <jrtc27 at jrtc27.com>
+Forwarded: https://github.com/polyml/polyml/pull/26
+Applied-Upstream: https://github.com/polyml/polyml/commit/e9028e9395549525fc22484a24fd78f5cb0beed3
+---
+This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
+--- a/config.h.in
++++ b/config.h.in
+@@ -557,6 +557,9 @@
+ /* Define if the host is an ARM (64-bit) */
+ #undef HOSTARCHITECTURE_AARCH64
+ 
++/* Define if the host is an Alpha (64-bit) */
++#undef HOSTARCHITECTURE_ALPHA
++
+ /* Define if the host is an ARM (32-bit) */
+ #undef HOSTARCHITECTURE_ARM
+ 
+--- a/configure.ac
++++ b/configure.ac
+@@ -459,6 +459,15 @@
+             AC_DEFINE([HOSTARCHITECTURE_S390], [1], [Define if the host is an S/390 (32-bit)])
+             polyarch=interpret
+             ;;
++      alpha*)
++            AC_DEFINE([HOSTARCHITECTURE_ALPHA], [1], [Define if the host is an Alpha (64-bit)])
++            polyarch=interpret
++            # GCC defaults to non-conforming floating-point, and does not respect the rounding mode
++            # in the floating-point control register, so we force it to conform to IEEE and use the
++            # dynamic suffix on the floating-point instructions it produces.
++            CFLAGS="$CFLAGS -mieee -mfp-rounding-mode=d"
++            CXXFLAGS="$CXXFLAGS -mieee -mfp-rounding-mode=d"
++            ;;
+       *) AC_MSG_ERROR([Poly/ML is not supported for this architecture]) ;;
+ esac
+ 
+--- a/libpolyml/elfexport.cpp
++++ b/libpolyml/elfexport.cpp
+@@ -397,6 +397,10 @@
+     fhdr.e_flags = EF_MIPS_CPIC;
+ #endif
+     useRela = true;
++#elif defined(HOSTARCHITECTURE_ALPHA)
++    fhdr.e_machine = EM_ALPHA;
++    directReloc = R_ALPHA_REFQUAD;
++    useRela = true;
+ #else
+ #error "No support for exporting on this architecture"
+ #endif
diff --git a/debian/patches/series b/debian/patches/series
index 2f387da..07a1ca1 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -10,3 +10,4 @@ unix-const-vec-unsigned.diff
 fix-script-args.diff
 fix-heap-ratio-assert.diff
 use-polyunsigned-consistently-for-stream-ids.diff
+alpha.diff

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/polyml.git