diff options
| author |   Keri Harris <keri@gentoo.org> | 2007-01-07 03:34:51 +0000 |
|---|---|---|
| committer | Keri Harris <keri@gentoo.org> | 2007-01-07 03:34:51 +0000 |
| commit | 08c9fa600f81416e0e02cdd3046b9cb8e72e5b18 (patch) | |
| tree | fc789ccee1b801a207a48ed57899834aede4a160 /dev-lang/mercury/files | |
| parent | Version bump. (diff) | |
| download | gentoo-2-08c9fa600f81416e0e02cdd3046b9cb8e72e5b18.tar.gz gentoo-2-08c9fa600f81416e0e02cdd3046b9cb8e72e5b18.tar.bz2 gentoo-2-08c9fa600f81416e0e02cdd3046b9cb8e72e5b18.zip | |
Unboxed float fix on stage1 bootstrap.
(Portage version: 2.1.2_rc4-r2)
Diffstat (limited to 'dev-lang/mercury/files')
| -rw-r--r-- | dev-lang/mercury/files/mercury-0.12.2-unboxed_floats.patch | 39 | ||||
| -rw-r--r-- | dev-lang/mercury/files/mercury-0.13.1-unboxed_floats.patch | 39 |
2 files changed, 78 insertions, 0 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 new file mode 100644 index 000000000000..b8e91b7d9d06 --- /dev/null +++ b/dev-lang/mercury/files/mercury-0.12.2-unboxed_floats.patch @@ -0,0 +1,39 @@ +--- 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 diff --git a/dev-lang/mercury/files/mercury-0.13.1-unboxed_floats.patch b/dev-lang/mercury/files/mercury-0.13.1-unboxed_floats.patch new file mode 100644 index 000000000000..13a68c2df81d --- /dev/null +++ b/dev-lang/mercury/files/mercury-0.13.1-unboxed_floats.patch @@ -0,0 +1,39 @@ +--- mercury-compiler-0.13.1.orig/configure 2007-01-07 16:27:24.000000000 +1300 ++++ mercury-compiler-0.13.1/configure 2007-01-07 16:26:47.000000000 +1300 +@@ -7410,21 +7410,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 |