diff options
Diffstat (limited to 'dev-lang/mercury/files/mercury-0.12.2-unboxed_floats.patch')
| -rw-r--r-- | dev-lang/mercury/files/mercury-0.12.2-unboxed_floats.patch | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/dev-lang/mercury/files/mercury-0.12.2-unboxed_floats.patch b/dev-lang/mercury/files/mercury-0.12.2-unboxed_floats.patch deleted file mode 100644 index b8e91b7d9d06..000000000000 --- a/dev-lang/mercury/files/mercury-0.12.2-unboxed_floats.patch +++ /dev/null @@ -1,39 +0,0 @@ ---- mercury-compiler-0.12.2.orig/configure 2006-01-25 17:24:01.000000000 +1300 -+++ mercury-compiler-0.12.2/configure 2007-01-07 16:19:08.000000000 +1300 -@@ -7232,21 +7232,21 @@ - - echo "$as_me:$LINENO: result: $mercury_cv_unboxed_floats" >&5 - echo "${ECHO_T}$mercury_cv_unboxed_floats" >&6 --if test "$mercury_cv_unboxed_floats" = yes; then -- if test "$BOOTSTRAP_MC" = ""; then -- { echo "$as_me:$LINENO: WARNING: Mercury compiler not yet installed - --**** cannot use unboxed floats, bootstrapping using boxed floats --**** after installation is complete you may want to reinstall --**** from scratch so you can use unboxed floats, which are more --**** efficient." >&5 --echo "$as_me: WARNING: Mercury compiler not yet installed - --**** cannot use unboxed floats, bootstrapping using boxed floats --**** after installation is complete you may want to reinstall --**** from scratch so you can use unboxed floats, which are more --**** efficient." >&2;} -- mercury_cv_unboxed_floats=no -- fi --fi -+#if test "$mercury_cv_unboxed_floats" = yes; then -+# if test "$BOOTSTRAP_MC" = ""; then -+# { echo "$as_me:$LINENO: WARNING: Mercury compiler not yet installed - -+#**** cannot use unboxed floats, bootstrapping using boxed floats -+#**** after installation is complete you may want to reinstall -+#**** from scratch so you can use unboxed floats, which are more -+#**** efficient." >&5 -+#echo "$as_me: WARNING: Mercury compiler not yet installed - -+#**** cannot use unboxed floats, bootstrapping using boxed floats -+#**** after installation is complete you may want to reinstall -+#**** from scratch so you can use unboxed floats, which are more -+#**** efficient." >&2;} -+# mercury_cv_unboxed_floats=no -+# fi -+#fi - if test "$mercury_cv_unboxed_floats" = yes; then - HAVE_BOXED_FLOATS="--unboxed-float" - else |