diff options
author | root <root@rshg054.dnsready.net> | 2013-07-19 01:10:32 -0700 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2013-07-19 01:10:32 -0700 |
commit | 8fbc0076a4827ddc6af92e0b9daa4c4c31450808 (patch) | |
tree | 03fd0e2921ebd53228d9a93e32ed3976b636cbea /community/gprolog | |
parent | e445a313723389ba9ee1fded025c567dae5b21ea (diff) |
Fri Jul 19 01:09:18 PDT 2013
Diffstat (limited to 'community/gprolog')
-rw-r--r-- | community/gprolog/PKGBUILD | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/community/gprolog/PKGBUILD b/community/gprolog/PKGBUILD new file mode 100644 index 000000000..c2ef1465c --- /dev/null +++ b/community/gprolog/PKGBUILD @@ -0,0 +1,42 @@ +# $Id: PKGBUILD 89518 2013-04-29 16:43:32Z spupykin $ +# Maintainer: Sergej Pupykin <pupykin.s+arch@gmail.com> +# Maintainer: Geoffroy Carrier <geoffroy.carrier@koon.fr> +# Contributer: Jason Chu <jchu@xentac.net> + +pkgname=gprolog +pkgver=1.4.4 +pkgrel=1 +pkgdesc="GNU Prolog" +arch=('i686' 'x86_64') +url="http://www.gprolog.org/" +depends=() +license=('GPL') +source=(ftp://ftp.gnu.org/gnu/gprolog/gprolog-$pkgver.tar.gz) +md5sums=('37009da471e5217ff637ad1c516448c8') + +build() { + cd "$srcdir/gprolog-$pkgver/src" + ./configure --prefix=/usr --sysconfdir=/etc --localstatedir=/var + make +} + +package() { + cd "$srcdir/gprolog-$pkgver/src" + make install \ + INSTALL_DIR="$pkgdir"/usr/share/gprolog \ + LINKS_DIR="$pkgdir"/usr/bin \ + DOC_DIR="$pkgdir"/usr/share/gprolog/doc \ + HTML_DIR="$pkgdir"/usr/share/gprolog/doc/Html \ + EXAMPLES_DIR="$pkgdir"/usr/share/gprolog \ + sysconfdir="$pkgdir"/etc \ + localstatedir="$pkgdir"/var + cd "$pkgdir"/usr/bin + rm * + ln -s /usr/share/gprolog/bin/fd2c + ln -s /usr/share/gprolog/bin/gplc + ln -s /usr/share/gprolog/bin/gprolog + ln -s /usr/share/gprolog/bin/hexgplc + ln -s /usr/share/gprolog/bin/ma2asm + ln -s /usr/share/gprolog/bin/pl2wam + ln -s /usr/share/gprolog/bin/wam2ma +} |