diff options
| author | Palmer Dabbelt <palmer@dabbelt.com> | 2017-08-02 10:42:45 -0700 |
|---|---|---|
| committer | Palmer Dabbelt <palmer@dabbelt.com> | 2017-08-02 12:32:45 -0700 |
| commit | 0d202e9dd4c8dd6c6aaba173a958bf29eeb7bcee (patch) | |
| tree | 3007d73165ccbe2414a78ccb51866d63c335b908 /configure.ac | |
| parent | 298984cbe6ffd7ab8507fa40e15199c7d5386aab (diff) | |
| download | riscv-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.ac | 6 |
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"]) |