blob: bad01b2fc66cf8fc9359e69f60dc587557f80867 (
plain)
| 1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
 | #!/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-nls \
    --with-mmap \
    --with-system-zlib
make
make DESTDIR="$1" install
 |