2019-05-14 20:05:50 +00:00
|
|
|
#!/bin/sh -e
|
2019-05-13 14:32:56 +00:00
|
|
|
|
2019-05-09 06:46:50 +00:00
|
|
|
./configure \
|
2020-09-28 04:32:26 +00:00
|
|
|
--prefix=/usr \
|
|
|
|
--libdir=/usr/lib \
|
2019-05-09 06:46:50 +00:00
|
|
|
--shared
|
|
|
|
|
|
|
|
make
|
2019-05-13 12:37:14 +00:00
|
|
|
make DESTDIR="$1" install
|