2021-05-09 03:10:08 -03:00
|
|
|
#!/bin/sh -e
|
|
|
|
|
|
2021-05-11 01:07:37 -03:00
|
|
|
./configure \
|
|
|
|
|
--prefix=/usr
|
2021-05-09 03:10:08 -03:00
|
|
|
|
|
|
|
|
make
|
2021-05-11 01:07:37 -03:00
|
|
|
|
2021-05-09 03:10:08 -03:00
|
|
|
# Work around a bug in the generated install script
|
2021-05-11 01:07:37 -03:00
|
|
|
|
2021-05-09 03:10:08 -03:00
|
|
|
mkdir -p "$1/usr/share/X11/app-defaults"
|
|
|
|
|
make DESTDIR="$1" install
|
