2019-05-18 10:06:11 -06:00
|
|
|
#!/bin/sh -e
|
|
|
|
|
|
2020-02-01 08:27:34 -07:00
|
|
|
cat > makeinfo <<EOF
|
|
|
|
|
#!/bin/sh
|
|
|
|
|
printf 'makeinfo (GNU texinfo) 5.2\n'
|
|
|
|
|
EOF
|
|
|
|
|
|
|
|
|
|
chmod +x makeinfo
|
|
|
|
|
export PATH=$PATH:$PWD
|
|
|
|
|
|
2019-05-18 10:06:11 -06:00
|
|
|
./configure \
|
|
|
|
|
--prefix=/usr \
|
2019-10-23 15:45:05 -06:00
|
|
|
--build=x86_64-pc-linux-musl \
|
|
|
|
|
--host=x86_64-pc-linux-musl \
|
2019-05-18 10:06:11 -06:00
|
|
|
--enable-targets=x86_64-pep \
|
|
|
|
|
--disable-multilib \
|
|
|
|
|
--disable-werror \
|
2020-03-03 18:34:49 -07:00
|
|
|
--disable-gdb \
|
2020-02-01 08:27:34 -07:00
|
|
|
--disable-nls \
|
2020-03-03 18:34:49 -07:00
|
|
|
--disable-readline \
|
|
|
|
|
--disable-gprof \
|
2019-05-18 10:06:11 -06:00
|
|
|
--with-mmap \
|
2020-03-03 18:35:35 -07:00
|
|
|
--with-system-zlib
|
2019-05-18 10:06:11 -06:00
|
|
|
|
2019-10-13 00:36:20 -06:00
|
|
|
make
|
|
|
|
|
make DESTDIR="$1" install
|
