diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-05-02 19:47:11 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:27:09 +0200 |
| commit | 5ccc7791cd3ea06c70af61cf5a580e06b10bcc37 (patch) | |
| tree | 5d9b0d56173aa6d6d3955e7ee2f3d7e9571f96d8 /configure.ac | |
| parent | 7104e4f22e9cc30921bfd68ac9a162a48a235ad1 (diff) | |
| download | gnumach-5ccc7791cd3ea06c70af61cf5a580e06b10bcc37.tar.gz gnumach-5ccc7791cd3ea06c70af61cf5a580e06b10bcc37.tar.bz2 gnumach-5ccc7791cd3ea06c70af61cf5a580e06b10bcc37.zip | |
2007-05-02 Thomas Schwinge <tschwinge@gnu.org>
* configure.ac (--disable-default-device-drivers): Transform into...
(--enable-device-drivers): ... this new option and extend it.
* i386/configfrag.ac (--enable-lpr): Adapt to that.
* linux/configfrag.ac (AC_OPTION_Linux_ix86_at, AC_Linux_DRIVER):
Likewise.
(AC_Linux_DRIVER_qemu): New definition. Use it for the `floppy', `ide'
and `ne' device drivers.
* doc/mach.texi: Document all that.
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 26 |
1 files changed, 19 insertions, 7 deletions
diff --git a/configure.ac b/configure.ac index 9aa6ba66..9a8c4ef9 100644 --- a/configure.ac +++ b/configure.ac @@ -101,13 +101,25 @@ AC_CHECK_PROG([PATCH], [patch], [patch], [patch-not-found]) m4_include([tests/configfrag.ac]) # Default set of device drivers. -AC_ARG_ENABLE([default-device-drivers], - AS_HELP_STRING([--disable-default-device-drivers], [have the options marked - with ``enabled by default'' disabled by default; then use the `--enable-*' - options to enable only those you actually want to have enabled])) -[if [ x"$enable_default_device_drivers" != xno ] -then enable_default_device_drivers=yes -fi] +AC_ARG_ENABLE([device-drivers], + AS_HELP_STRING([--enable-device-drivers=WHICH], [specify WHICH (on `ix86-at' + one of `default', `qemu', `none') to preset a certain subset of all + available device drivers, as indicated by the below-metioned ``enabled + ...'' comments; you can then still use further `--enable-*' or + `--disable-*' options to refine the selection of drivers to include in + order to choose only those you actually want to have enabled])) +[case $enable_device_drivers in + '') + enable_device_drivers=default;; + no) + enable_device_drivers=none;; + default | none | qemu) + :;; + *)] + AC_MSG_ERROR([invalid choice of] + [`--enable-device-drivers=$enable_device_drivers'.]) + [;; +esac] # Platform-specific configuration. |