14 lines
194 B
Plaintext
14 lines
194 B
Plaintext
|
#!/bin/sh -e
|
||
|
|
|
||
|
|
./configure \
|
||
|
|
--prefix=/usr
|
||
|
|
|
||
|
|
sed -i 's&-pipe&-static -pipe&' src/Makefile
|
||
|
|
|
||
|
|
|
||
|
|
make
|
||
|
|
make DESTDIR="$1" install
|
||
|
|
|
||
|
|
# Get rid of unnecessary helpfiles.
|
||
|
|
rm -rf "$1/usr/share/se/help/"
|