2019-08-04 23:12:55 +00:00
|
|
|
#!/bin/sh -e
|
|
|
|
|
|
2019-08-18 10:54:00 +00:00
|
|
|
# Disable building 'cairo-sphinx'.
|
|
|
|
|
sed -i'' "s/BUILD_SPHINX_TRUE=/BUILD_SPHINX_TRUE='#'/" configure
|
|
|
|
|
sed -i'' "s/BUILD_SPHINX_FALSE='#'/BUILD_SPHINX_FALSE=/" configure
|
|
|
|
|
|
2019-08-04 23:12:55 +00:00
|
|
|
./configure \
|
|
|
|
|
--prefix=/usr \
|
|
|
|
|
--disable-static \
|
|
|
|
|
--enable-tee \
|
|
|
|
|
--enable-gl \
|
2019-08-18 10:54:00 +00:00
|
|
|
--enable-egl \
|
|
|
|
|
--enable-xlib-xcb \
|
|
|
|
|
--enable-xcb \
|
|
|
|
|
--enable-xlib-xrender \
|
|
|
|
|
--enable-xlib \
|
|
|
|
|
--disable-trace \
|
|
|
|
|
--disable-valgrind \
|
|
|
|
|
--disable-gtk-doc-html
|
2019-08-04 23:12:55 +00:00
|
|
|
|
|
|
|
|
make
|
|
|
|
|
make DESTDIR="$1" install
|
2019-08-18 10:54:00 +00:00
|
|
|
|
|
|
|
|
# Remove GTK docs.
|
|
|
|
|
rm -rf "$1/usr/share/gtk-doc"
|
