aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure60
1 files changed, 60 insertions, 0 deletions
diff --git a/configure b/configure
index c1b2b73..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"
@@ -4433,6 +4447,51 @@ $as_echo "#define UTIL_ENABLED /**/" >>confdefs.h
+ # Determine if this is a required or an optional subproject
+
+
+
+ # Determine if there is a group with the same name
+
+
+
+ # Create variations of the subproject name suitable for use as a CPP
+ # enabled define, a shell enabled variable, and a shell function
+
+
+
+
+
+
+
+
+
+
+
+ # Add subproject to our running list
+
+ subprojects="$subprojects platform"
+
+ # Process the subproject appropriately. If enabled add it to the
+ # $enabled_subprojects running shell variable, set a
+ # SUBPROJECT_ENABLED C define, and include the appropriate
+ # 'subproject.ac'.
+
+
+ { $as_echo "$as_me:${as_lineno-$LINENO}: configuring default subproject : platform" >&5
+$as_echo "$as_me: configuring default subproject : platform" >&6;}
+ ac_config_files="$ac_config_files platform.mk:platform/platform.mk.in"
+
+ enable_platform_sproj="yes"
+ subprojects_enabled="$subprojects_enabled platform"
+
+$as_echo "#define PLATFORM_ENABLED /**/" >>confdefs.h
+
+
+
+
+
+
# Output make variables
@@ -5155,6 +5214,7 @@ do
"dummy_payload.mk") CONFIG_FILES="$CONFIG_FILES dummy_payload.mk:dummy_payload/dummy_payload.mk.in" ;;
"machine.mk") CONFIG_FILES="$CONFIG_FILES machine.mk:machine/machine.mk.in" ;;
"util.mk") CONFIG_FILES="$CONFIG_FILES util.mk:util/util.mk.in" ;;
+ "platform.mk") CONFIG_FILES="$CONFIG_FILES platform.mk:platform/platform.mk.in" ;;
"config.h") CONFIG_HEADERS="$CONFIG_HEADERS config.h" ;;
"Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;;