2021-05-10 16:55:12 +00:00
|
|
|
#!/bin/sh -e
|
|
|
|
|
|
2021-05-11 04:07:37 +00:00
|
|
|
# We have an alternative system, use "ksh" and "sh" as binary names.
|
|
|
|
|
./configure \
|
|
|
|
|
--prefix=/usr \
|
|
|
|
|
--bindir=/usr/bin \
|
2021-05-10 16:55:12 +00:00
|
|
|
--mandir=/usr/share/man \
|
2021-05-11 04:07:37 +00:00
|
|
|
--enable-ksh \
|
2022-09-23 11:13:47 +00:00
|
|
|
--enable-sh \
|
|
|
|
|
--enable-static
|
2021-05-10 16:55:12 +00:00
|
|
|
|
|
|
|
|
make
|
|
|
|
|
make DESTDIR="$1" install
|
