From 01be71430cadc4b6df7ed16a4d32dd7c57c9bb34 Mon Sep 17 00:00:00 2001
From: emelcher <elmar@dsc.ufcg.edu.br>
Date: Mon, 23 Aug 2021 20:01:20 -0300
Subject: configure option --with-target (#776)

* add configure option --with-target

* executed autoconf
---
 configure | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

(limited to 'configure')

diff --git a/configure b/configure
index b524a77..5445b30 100755
--- a/configure
+++ b/configure
@@ -714,6 +714,7 @@ with_boost_regex
 with_isa
 with_priv
 with_varch
+with_target
 enable_commitlog
 enable_histogram
 enable_dirty
@@ -1394,6 +1395,8 @@ Optional Packages:
   --with-priv=MSU         Sets the default RISC-V privilege modes supported
   --with-varch=vlen:128,elen:64,slen:128
                           Sets the default vector config
+  --with-target=riscv64-unknown-elf
+                          Sets the default target config
 
 Some influential environment variables:
   CC          C compiler command
@@ -5924,6 +5927,22 @@ fi
 
 
 
+# Check whether --with-target was given.
+if test "${with_target+set}" = set; then :
+  withval=$with_target;
+cat >>confdefs.h <<_ACEOF
+#define TARGET_ARCH "$withval"
+_ACEOF
+
+else
+
+cat >>confdefs.h <<_ACEOF
+#define TARGET_ARCH "riscv64-unknown-elf"
+_ACEOF
+
+fi
+
+
 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for library containing dlopen" >&5
 $as_echo_n "checking for library containing dlopen... " >&6; }
 if ${ac_cv_search_dlopen+:} false; then :
-- 
cgit v1.1