summaryrefslogtreecommitdiff
path: root/dev-lang/polyml/files
diff options
context:
space:
mode:
Diffstat (limited to 'dev-lang/polyml/files')
-rw-r--r--dev-lang/polyml/files/polyml-5.4.1-asm.patch28
-rw-r--r--dev-lang/polyml/files/polyml-5.4.1-configure.patch11
-rw-r--r--dev-lang/polyml/files/polyml-5.5.0-asm.patch10
-rw-r--r--dev-lang/polyml/files/polyml-5.5.0-configure.patch138
-rw-r--r--dev-lang/polyml/files/polyml-5.5.0-x-it-basis.patch21
5 files changed, 0 insertions, 208 deletions
diff --git a/dev-lang/polyml/files/polyml-5.4.1-asm.patch b/dev-lang/polyml/files/polyml-5.4.1-asm.patch
deleted file mode 100644
index af8bd8d..0000000
--- a/dev-lang/polyml/files/polyml-5.4.1-asm.patch
+++ /dev/null
@@ -1,28 +0,0 @@
---- polyml.5.4.1-orig/libpolyml/x86asm.asm 2011-07-13 00:06:49.000000000 +1000
-+++ polyml.5.4.1/libpolyml/x86asm.asm 2012-01-08 16:00:09.740684843 +1100
-@@ -2714,4 +2714,7 @@
-
-
- ENDIF
-+#if defined(__linux__) && defined(__ELF__)
-+.section .note.GNU-stack,"",%progbits
-+#endif
- END
---- polyml.5.4.1-orig/libpolyml/power_assembly.S 2010-04-09 01:49:20.000000000 +1000
-+++ polyml.5.4.1/libpolyml/power_assembly.S 2012-01-08 15:46:35.006200143 +1100
-@@ -1735,3 +1735,6 @@
- dd Mask_assign_byte /* 254 */
- dd Mask_assign_word /* 255 */
-
-+#if defined(__linux__) && defined(__ELF__)
-+.section .note.GNU-stack,"",%progbits
-+#endif
---- polyml.5.4.1-orig/libpolyml/sparc_assembly.S 2010-08-13 01:01:36.000000000 +1000
-+++ polyml.5.4.1/libpolyml/sparc_assembly.S 2012-01-08 15:46:12.516642791 +1100
-@@ -1498,3 +1498,6 @@
- .long Mask_assign_byte /* 254 */
- .long Mask_assign_word /* 255 */
-
-+#if defined(__linux__) && defined(__ELF__)
-+.section .note.GNU-stack,"",%progbits
-+#endif
diff --git a/dev-lang/polyml/files/polyml-5.4.1-configure.patch b/dev-lang/polyml/files/polyml-5.4.1-configure.patch
deleted file mode 100644
index aaaed02..0000000
--- a/dev-lang/polyml/files/polyml-5.4.1-configure.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- polyml.5.4.1-orig/configure.ac 2010-09-03 21:22:40.000000000 +1000
-+++ polyml.5.4.1/configure.ac 2012-01-09 22:44:04.153668402 +1100
-@@ -321,7 +321,7 @@
- AC_ARG_WITH([portable],
- [AS_HELP_STRING([--with-portable],
- [Build the portable interpreter version of Poly/ML instead of native @<:@default=no@:>@])], [
-- ac_cv_with_portable=yes], [
-+ ac_cv_with_portable="$withval"], [
- ac_cv_with_portable=no])
-
- case "${host_cpu}" in
diff --git a/dev-lang/polyml/files/polyml-5.5.0-asm.patch b/dev-lang/polyml/files/polyml-5.5.0-asm.patch
deleted file mode 100644
index cffa627..0000000
--- a/dev-lang/polyml/files/polyml-5.5.0-asm.patch
+++ /dev/null
@@ -1,10 +0,0 @@
---- polyml.5.5-orig/libpolyml/x86asm.asm 2012-05-03 21:07:59.000000000 +1000
-+++ polyml.5.5/libpolyml/x86asm.asm 2012-09-19 17:41:51.767737295 +1000
-@@ -3003,4 +3003,7 @@
- dd Mask_assign_byte ;# 254
- dd Mask_assign_word ;# 255
-
-+#if defined(__linux__) && defined(__ELF__)
-+.section .note.GNU-stack,"",%progbits
-+#endif
- END
diff --git a/dev-lang/polyml/files/polyml-5.5.0-configure.patch b/dev-lang/polyml/files/polyml-5.5.0-configure.patch
deleted file mode 100644
index 1a2e114..0000000
--- a/dev-lang/polyml/files/polyml-5.5.0-configure.patch
+++ /dev/null
@@ -1,138 +0,0 @@
-Index: polyml/configure
-===================================================================
---- polyml/configure (revision 1599)
-+++ polyml/configure (revision 1600)
-@@ -20870,10 +20870,8 @@
- # Check whether --with-portable was given.
- if test "${with_portable+set}" = set; then :
- withval=$with_portable;
-- ac_cv_with_portable=yes
- else
--
-- ac_cv_with_portable=no
-+ with_portable=check
- fi
-
-
-@@ -20894,36 +20892,46 @@
-
- $as_echo "#define HOSTARCHITECTURE_SPARC 1" >>confdefs.h
-
-- ac_cv_with_portable=yes
-+ polyarch=interpret
- ;;
- power* | ppc*)
-
- $as_echo "#define HOSTARCHITECTURE_PPC 1" >>confdefs.h
-
-- ac_cv_with_portable=yes
-+ polyarch=interpret
- ;;
- arm*)
-
- $as_echo "#define HOSTARCHITECTURE_ARM 1" >>confdefs.h
-
-- ac_cv_with_portable=yes
-+ polyarch=interpret
- ;;
- ia64*)
-
- $as_echo "#define HOSTARCHITECTURE_IA64 1" >>confdefs.h
-
-- ac_cv_with_portable=yes
-+ polyarch=interpret
- ;;
- *) as_fn_error $? "Poly/ML is not supported for this architecture" "$LINENO" 5 ;;
- esac
-
--# If we have explicitly set --with-portable or we are on a machine without
--# a code-generator set to use the interpreter.
--if test "$ac_cv_with_portable" = "yes"; then
-+# If we explicitly asked to use the interpreter set the architecture to interpreted.
-+if test "x$with_portable" = "xyes" ; then
-+ polyarch=interpret
-+fi
-
-+# If we asked not to use the interpreter check we have native code support.
-+if test "x$with_portable" = "xno" ; then
-+ if test "x$polyarch" = "xinterpret" ; then
-+ as_fn_error $? "--without-portable was given but native code is not supported on this platform" "$LINENO" 5
-+ fi
-+fi
-+
-+# Set the define if this is the interpreter. This is no longer actually used.
-+if test "x$polyarch" = "xinterpret" ; then
-+
- $as_echo "#define INTERPRETED 1" >>confdefs.h
-
-- polyarch=interpret
- fi
-
- # Put this test at the end where it's less likely to be missed.
-Index: polyml/configure.ac
-===================================================================
---- polyml/configure.ac (revision 1599)
-+++ polyml/configure.ac (revision 1600)
-@@ -368,10 +368,10 @@
- # Test the --with-portable option to build the interpreter even if
- # we have a code-generator.
- AC_ARG_WITH([portable],
-- [AS_HELP_STRING([--with-portable],
-- [Build the portable interpreter version of Poly/ML instead of native @<:@default=no@:>@])], [
-- ac_cv_with_portable=yes], [
-- ac_cv_with_portable=no])
-+ [AS_HELP_STRING([--with-portable],
-+ [Build the portable interpreter version of Poly/ML instead of native @<:@default=no@:>@])],
-+ [],
-+ [with_portable=check])
-
- case "${host_cpu}" in
- i[[3456]]86*)
-@@ -384,28 +384,39 @@
- ;;
- sparc*)
- AC_DEFINE([HOSTARCHITECTURE_SPARC], [1], [Define if the host is a Sparc (32 bit)])
-- ac_cv_with_portable=yes
-+ polyarch=interpret
- ;;
- power* | ppc*)
- AC_DEFINE([HOSTARCHITECTURE_PPC], [1], [Define if the host is a Power PC (32 bit)])
-- ac_cv_with_portable=yes
-+ polyarch=interpret
- ;;
- arm*)
- AC_DEFINE([HOSTARCHITECTURE_ARM], [1], [Define if the host is an ARM (32 bit)])
-- ac_cv_with_portable=yes
-+ polyarch=interpret
- ;;
- ia64*)
- AC_DEFINE([HOSTARCHITECTURE_IA64], [1], [Define if the host is Itanium])
-- ac_cv_with_portable=yes
-+ polyarch=interpret
- ;;
- *) AC_MSG_ERROR([Poly/ML is not supported for this architecture]) ;;
- esac
-
--# If we have explicitly set --with-portable or we are on a machine without
--# a code-generator set to use the interpreter.
--if test "$ac_cv_with_portable" = "yes"; then
-+# If we explicitly asked to use the interpreter set the architecture to interpreted.
-+if test "x$with_portable" = "xyes" ; then
-+ polyarch=interpret
-+fi
-+
-+# If we asked not to use the interpreter check we have native code support.
-+if test "x$with_portable" = "xno" ; then
-+ if test "x$polyarch" = "xinterpret" ; then
-+ AC_MSG_ERROR(
-+ [--without-portable was given but native code is not supported on this platform])
-+ fi
-+fi
-+
-+# Set the define if this is the interpreter. This is no longer actually used.
-+if test "x$polyarch" = "xinterpret" ; then
- AC_DEFINE([INTERPRETED], [1], [Define if using the interpreter] )
-- polyarch=interpret
- fi
-
- # Put this test at the end where it's less likely to be missed.
diff --git a/dev-lang/polyml/files/polyml-5.5.0-x-it-basis.patch b/dev-lang/polyml/files/polyml-5.5.0-x-it-basis.patch
deleted file mode 100644
index 2f6ce7b..0000000
--- a/dev-lang/polyml/files/polyml-5.5.0-x-it-basis.patch
+++ /dev/null
@@ -1,21 +0,0 @@
-Index: polyml/mlsource/extra/XWindows/ml_bind.ML
-===================================================================
---- polyml/mlsource/extra/XWindows/ml_bind.ML (revision 1600)
-+++ polyml/mlsource/extra/XWindows/ml_bind.ML (revision 1601)
-@@ -2437,7 +2437,7 @@
-
- exception XWindows = XWindows.XWindows;
-
--let
-+local
- open XWindows;
-
- fun printRect _ _ (r:XRectangle) =
-@@ -2447,6 +2447,6 @@
- PolyML.PrettyString ("Rect " ^ PolyML.makestring R)
- end;
- in
-- PolyML.addPrettyPrinter printRect
-+ val () = PolyML.addPrettyPrinter printRect
- end;
-
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-28 18:17:37 +0000