From 0d202e9dd4c8dd6c6aaba173a958bf29eeb7bcee Mon Sep 17 00:00:00 2001
From: Palmer Dabbelt <palmer@dabbelt.com>
Date: Wed, 2 Aug 2017 10:42:45 -0700
Subject: Add the '--with-platform' argument and the sifive-vc707-devkit
 platform

Since we don't have a coherent platform specification right now, we've
ended up with slightly different platforms between spike and our FPGA
dev kit.  For now I've added an autoconf option that allows users to
select the relevant platform.
---
 configure | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'configure')

diff --git a/configure b/configure
index 25de84d..a9296e0 100755
--- a/configure
+++ b/configure
@@ -592,6 +592,7 @@ subprojects_enabled
 subprojects
 BBL_PAYLOAD
 install_subdir
+PLATFORM_NAME
 RISCV
 EGREP
 GREP
@@ -669,6 +670,7 @@ ac_user_opts='
 enable_option_checking
 enable_stow
 enable_32bit
+with_platform
 enable_optional_subprojects
 enable_vm
 enable_logo
@@ -1325,6 +1327,7 @@ Optional Features:
 Optional Packages:
   --with-PACKAGE[=ARG]    use PACKAGE [ARG=yes]
   --without-PACKAGE       do not use PACKAGE (same as --with-PACKAGE=no)
+  --with-platform=spike   Select the target platform
   --with-payload          Set ELF payload for bbl
 
 Some influential environment variables:
@@ -4090,6 +4093,17 @@ case "${BUILD_32BIT}" in
 esac
 
 
+# Check whether --with-platform was given.
+if test "${with_platform+set}" = set; then :
+  withval=$with_platform; PLATFORM_NAME=$withval
+else
+  PLATFORM_NAME=spike
+fi
+
+PLATFORM_NAME=$PLATFORM_NAME
+
+
+
 
 LIBS="-lgcc"
 
-- 
cgit v1.1