12 lines
176 B
Plaintext
12 lines
176 B
Plaintext
|
#!/bin/sh -e
|
||
|
|
|
||
|
|
./configure \
|
||
|
|
--prefix=/usr \
|
||
|
|
--enable-shared \
|
||
|
|
--enable-static \
|
||
|
|
--enable-mini-gmp \
|
||
|
|
--disable-documentation
|
||
|
|
|
||
|
|
make
|
||
|
|
make DESTDIR="$1" install
|