1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#!/bin/bash
set -e
options=(
--prefix=/usr --sysconfdir=/etc --localstatedir=/var
--with-tables-directory=/usr/share/brltty --disable-i18n --disable-icu
--disable-iconv --disable-polkit --disable-api --disable-emacs-bindings
--disable-java-bindings --disable-lisp-bindings --disable-lua-bindings
--disable-ocaml-bindings --disable-python-bindings --disable-tcl-bindings
--disable-x --disable-expat --disable-liblouis --disable-gpm
--disable-speech-support --without-curses --without-gui-toolkit
--without-rgx-package --without-bell-package --without-leds-package
--without-pcm-package --without-midi-package --without-fm-package
--without-bluetooth-package --without-libbraille --without-service-package
--with-braille-driver=fs --with-screen-driver=lx --without-dynld-package
--without-pgmprivs-package
)
make distclean
./autogen
./configure --quiet "${options[@]}"
exit 0
|
