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 | |
| 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')
| -rwxr-xr-x | configure | 14 |
1 files changed, 14 insertions, 0 deletions
@@ -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" |