Advertisement
Guest User

pgpool-ii PKGBUILD

a guest
Dec 4th, 2015
142
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 1.42 KB | None | 0 0
  1. #Contributors:
  2. # Trương Xuân Tính <xuantinh@gmail.com>
  3. # henning mueller <henning@orgizm.net>
  4. # Jerome Rose <jrose dot pub at gmail dot com>
  5.  
  6. pkgname=pgpool-ii
  7. _pkgname=pgpool-II
  8. pkgver=3.4.3
  9. pkgrel=1
  10. pkgdesc='pgpool-II is a connection pool server for PostgreSQL.'
  11. arch=(i686 x86_64)
  12. url='http://www.pgpool.net'
  13. license=(custom)
  14. depends=(postgresql-libs)
  15. options=(!libtool)
  16. replaces=(pgpool)
  17. backup=(etc/conf.d/$pkgname)
  18. source=(
  19.   http://www.pgpool.net/download.php?f=$_pkgname-$pkgver.tar.gz
  20.   $pkgname.{service,conf.d}
  21. )
  22.  
  23. build() {
  24.   cd $srcdir/$_pkgname-$pkgver
  25.   ./configure \
  26.     --prefix=/usr \
  27.     --sysconfdir=/etc/pgpool \
  28.     --mandir=/usr/share/man
  29.   make
  30. }
  31.  
  32. package() {
  33.   install -D $srcdir/$pkgname.service $pkgdir/usr/lib/systemd/system/$pkgname.service
  34.   install -D $srcdir/$pkgname.conf.d $pkgdir/etc/conf.d/$pkgname
  35.  
  36.   cd $srcdir/$_pkgname-$pkgver
  37.  
  38.   make DESTDIR=$pkgdir install
  39.  
  40.   mkdir -p $pkgdir/{var/run/pgpool,usr/share/doc}
  41.  
  42.   install -D COPYING $pkgdir/usr/share/licenses/$pkgname/LICENSE
  43.   cp -r doc $pkgdir/usr/share/doc/$pkgname
  44.  
  45.   mv $pkgdir/usr/share/$_pkgname $pkgdir/usr/share/$pkgname
  46.   cp src/sample/* $pkgdir/usr/share/$pkgname
  47. }
  48.  
  49. sha256sums=('b030d1a0dfb919dabb90987f429b03a67b22ecdbeb0ec1bd969ebebe690006e4'
  50.             '6c797a94c1648890a613e201c2ce2e3e2b602103daecc009ebf189578e8e15a0'
  51.             '9d0c12d735595424fad799499d50bc4da8b7f1e7ffc2c21317f8824559bb7aea')
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement