[m-rev.] for review 1/4: Disable GCC Labels on RISC-V

[Paul Bone]

The configure test runs an infinite loop on RISC-V, disable it.

configure.ac:
    As above.
---
 configure.ac | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/configure.ac b/configure.ac
index 6fc12e0cc..9b1285862 100644
--- a/configure.ac
+++ b/configure.ac
@@ -2437,6 +2437,13 @@ case "$ac_cv_c_compiler_gnu" in yes)
                     ;;
             esac
             ;;
+        riscv*)
+            # Attempting to detect gcc label support on RISC-V hits an
+            # infinite loop.
+            MERCURY_MSG("gcc labels do not work on RISC-V")
+            mercury_cv_asm_labels=no
+            mercury_cv_gcc_labels=no
+            ;;
     esac
     ;;
 esac
-- 
2.25.1