aboutsummaryrefslogtreecommitdiff
path: root/configure.ac
diff options
context:
space:
mode:
authorPalmer Dabbelt <palmer@dabbelt.com>2017-11-03 16:30:35 -0700
committerPalmer Dabbelt <palmer@dabbelt.com>2017-11-03 16:36:40 -0700
commitd1849cb5e3b8c714c2dae78bb15465f288707ac5 (patch)
treeb3aad5d06c4b9fec59d1e6ecba1fbd25d1833814 /configure.ac
parent3815c611158f435d36121c2c433af664ad86d8ca (diff)
downloadpk-d1849cb5e3b8c714c2dae78bb15465f288707ac5.zip
pk-d1849cb5e3b8c714c2dae78bb15465f288707ac5.tar.gz
pk-d1849cb5e3b8c714c2dae78bb15465f288707ac5.tar.bz2
Remove the platform interface
We now automatically detect everything that the platform interface used to be used for, so it's now obsolete!
Diffstat (limited to 'configure.ac')
-rw-r--r--configure.ac8
1 files changed, 1 insertions, 7 deletions
diff --git a/configure.ac b/configure.ac
index 31b275f..4cf9b61 100644
--- a/configure.ac
+++ b/configure.ac
@@ -99,12 +99,6 @@ case "${BUILD_32BIT}" in
;;
esac
-AC_ARG_WITH([platform],
- AS_HELP_STRING([--with-platform=spike], [Select the target platform]),
- PLATFORM_NAME=$withval,
- PLATFORM_NAME=spike)
-AC_SUBST(PLATFORM_NAME, $PLATFORM_NAME)
-
AC_ARG_ENABLE([print-device-tree], AS_HELP_STRING([--enable-print-device-tree], [Print DTS when booting]))
AS_IF([test "x$enable_print_device_tree" == "xyes"], [
AC_DEFINE([PK_PRINT_DEVICE_TREE],,[Define if the DTS is to be displayed])
@@ -122,7 +116,7 @@ AC_SUBST(install_subdir)
# The '*' suffix indicates an optional subproject. The '**' suffix
# indicates an optional subproject which is also the name of a group.
-MCPPBS_SUBPROJECTS([ pk, bbl, softfloat, dummy_payload, machine, util, platform ])
+MCPPBS_SUBPROJECTS([ pk, bbl, softfloat, dummy_payload, machine, util ])
#-------------------------------------------------------------------------
# MCPPBS subproject groups