Set correct default abi for rv32e

8 years ago · fe2000356d
2 changed files with 3 additions and 0 deletions
--- a/2
+++ b/2
@ -3268,6 +3268,8 @@ if test "x$with_abi" == xdefault; then :
    with_abi=lp64f ;; #(
  *rv64*) :
    with_abi=lp64 ;; #(
+  *rv32e*) :
+    with_abi=ilp32e ;; #(
  *rv32g* | *rv32*d*) :
    with_abi=ilp32d ;; #(
  *rv32*f*) :
--- a/configure.ac
+++ b/configure.ac
@ -76,6 +76,7 @@ AS_IF([test "x$with_abi" == xdefault],
 		[*rv64g* | *rv64*d*], [with_abi=lp64d],
 		[*rv64*f*], [with_abi=lp64f],
 		[*rv64*], [with_abi=lp64],
+		[*rv32e*], [with_abi=ilp32e],
 		[*rv32g* | *rv32*d*], [with_abi=ilp32d],
 		[*rv32*f*], [with_abi=ilp32f],
 		[*rv32*], [with_abi=ilp32],