diff options
author | Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU> | 2010-08-24 02:22:20 -0700 |
---|---|---|
committer | Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU> | 2010-08-24 02:22:20 -0700 |
commit | dd84f5743dd5527f08df7cebb1423149926eacdc (patch) | |
tree | 75f46a739d8f10d5864669bde6b7403a15adace3 /configure | |
parent | 049091755596801479538bcc4722bc2810471aa0 (diff) | |
download | riscv-pk-dd84f5743dd5527f08df7cebb1423149926eacdc.zip riscv-pk-dd84f5743dd5527f08df7cebb1423149926eacdc.tar.gz riscv-pk-dd84f5743dd5527f08df7cebb1423149926eacdc.tar.bz2 |
[pk] proxy kernel support for mixed 32b/64b operation
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 51 |
1 files changed, 51 insertions, 0 deletions
@@ -635,6 +635,9 @@ ac_user_opts=' enable_option_checking enable_stow enable_optional_subprojects +enable_vm +enable_kernel_64bit +enable_user_64bit ' ac_precious_vars='build_alias host_alias @@ -1267,6 +1270,9 @@ Optional Features: --enable-stow Enable stow-based install --enable-optional-subprojects Enable all optional subprojects + --disable-vm Disable virtual memory + --disable-kernel-64bit Disable 64-bit kernel operation + --disable-user-64bit Disable 64-bit user operation Some influential environment variables: CC C compiler command @@ -3967,6 +3973,51 @@ $as_echo "$as_me: configuring default subproject : pk" >&6;} $as_echo "#define PK_ENABLED /**/" >>confdefs.h + # Check whether --enable-vm was given. +if test "${enable_vm+set}" = set; then : + enableval=$enable_vm; +fi + +if test "x$enable_vm" != "xno"; then : + + +$as_echo "#define PK_ENABLE_VM /**/" >>confdefs.h + + +fi + +# Check whether --enable-kernel-64bit was given. +if test "${enable_kernel_64bit+set}" = set; then : + enableval=$enable_kernel_64bit; +fi + +if test "x$enable_kernel_64bit" != "xno"; then : + + +$as_echo "#define PK_ENABLE_KERNEL_64BIT /**/" >>confdefs.h + + +else + + CFLAGS="$CFLAGS -mabi=32" + + LDFLAGS="$LDFLAGS -mabi=32" + + +fi + +# Check whether --enable-user-64bit was given. +if test "${enable_user_64bit+set}" = set; then : + enableval=$enable_user_64bit; +fi + +if test "x$enable_user_64bit" != "xno"; then : + + +$as_echo "#define PK_ENABLE_USER_64BIT /**/" >>confdefs.h + + +fi |