diff options
Diffstat (limited to 'pk/pk.ac')
| -rw-r--r-- | pk/pk.ac | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/pk/pk.ac b/pk/pk.ac deleted file mode 100644 index 47c9207..0000000 --- a/pk/pk.ac +++ /dev/null @@ -1,9 +0,0 @@ -AC_ARG_ENABLE([vm], AS_HELP_STRING([--disable-vm], [Disable virtual memory])) -AS_IF([test "x$enable_vm" != "xno"], [ - AC_DEFINE([PK_ENABLE_VM],,[Define if virtual memory support is enabled]) -]) - -AC_ARG_ENABLE([fp-emulation], AS_HELP_STRING([--disable-fp-emulation], [Disable floating-point emulation])) -AS_IF([test "x$enable_fp_emulation" != "xno"], [ - AC_DEFINE([PK_ENABLE_FP_EMULATION],,[Define if floating-point emulation is enabled]) -]) |