#!/bin/sh -e cat > makeinfo <<EOF #!/bin/sh printf 'makeinfo (GNU texinfo) 5.2\n' EOF chmod +x makeinfo export PATH=$PATH:$PWD ./configure \ --prefix=/usr \ --build=x86_64-pc-linux-musl \ --host=x86_64-pc-linux-musl \ --enable-targets=x86_64-pep \ --disable-multilib \ --disable-werror \ --disable-gdb \ --disable-nls \ --disable-readline \ --disable-gprof \ --with-mmap \ --with-system-zlib make make DESTDIR="$1" install