aboutsummaryrefslogtreecommitdiff
path: root/configure.ac
diff options
context:
space:
mode:
authorPalmer Dabbelt <palmer@dabbelt.com>2017-08-02 10:42:45 -0700
committerPalmer Dabbelt <palmer@dabbelt.com>2017-08-02 12:32:45 -0700
commit0d202e9dd4c8dd6c6aaba173a958bf29eeb7bcee (patch)
tree3007d73165ccbe2414a78ccb51866d63c335b908 /configure.ac
parent298984cbe6ffd7ab8507fa40e15199c7d5386aab (diff)
downloadriscv-pk-0d202e9dd4c8dd6c6aaba173a958bf29eeb7bcee.zip
riscv-pk-0d202e9dd4c8dd6c6aaba173a958bf29eeb7bcee.tar.gz
riscv-pk-0d202e9dd4c8dd6c6aaba173a958bf29eeb7bcee.tar.bz2
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.
Diffstat (limited to 'configure.ac')
-rw-r--r--configure.ac6
1 files changed, 6 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac
index d4db795..5813f3b 100644
--- a/configure.ac
+++ b/configure.ac
@@ -99,6 +99,12 @@ 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_SUBST(CFLAGS)
AC_SUBST(LDFLAGS)
AC_SUBST([LIBS], ["-lgcc"])