diff options
| author | Tetsumi | 2015-09-22 18:14:48 +0200 |
|---|---|---|
| committer | Tetsumi | 2015-09-22 18:14:48 +0200 |
| commit | 0a8e08a699da02d4c7e7364081ebd357cf4f3ef9 (patch) | |
| tree | 9fa462147e68dad5122e0dfd64a47cff41dab5a5 | |
| download | aur-0a8e08a699da02d4c7e7364081ebd357cf4f3ef9.tar.gz | |
initial
| -rw-r--r-- | .SRCINFO | 17 | ||||
| -rw-r--r-- | PKGBUILD | 35 |
2 files changed, 52 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..1a02e3f4c6ab --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,17 @@ +pkgbase = mercury + pkgdesc = The mercury language compiler. + pkgver = 14.01.1 + pkgrel = 2 + url = http://www.mercurylang.org/ + arch = i686 + arch = x86_64 + license = GPL + makedepends = flex + makedepends = bison + depends = gcc + depends = make + source = http://dl.mercurylang.org/release/mercury-srcdist-14.01.1.tar.gz + sha256sums = 98f7cbde7a7425365400feef3e69f1d6a848b25dc56ba959050523d546c4e88b + +pkgname = mercury + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..1dfaba47cd1f --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,35 @@ +# Maintainer: Tetsumi <tetsumi@vmail.me> +# Maintainer: Bart Verhoeven <bartverhoeven@live.com> + +pkgname=mercury +pkgver=14.01.1 +pkgrel=2 +pkgdesc="The mercury language compiler." +arch=('i686' 'x86_64') +url="http://www.mercurylang.org/" +license=('GPL') +depends=('gcc' 'make') +makedepends=('flex' 'bison') +source=(http://dl.mercurylang.org/release/mercury-srcdist-${pkgver}.tar.gz) +sha256sums=('98f7cbde7a7425365400feef3e69f1d6a848b25dc56ba959050523d546c4e88b') + +build() { + cd "$srcdir"/mercury-srcdist-$pkgver + + ./configure --prefix=/usr --mandir=/usr/share/man \ + --infodir=/usr/share/info \ + --disable-inefficient-grades + + make PARALLEL="$MAKEFLAGS" +} + +package() { + cd "$srcdir"/mercury-srcdist-$pkgver + + make INSTALL_PREFIX="$pkgdir"/usr \ + INSTALL_MAN_DIR="$pkgdir"/usr/share/man \ + INSTALL_INFO_DIR="$pkgdir"/usr/share/info \ + MERCURY_COMPILER="$pkgdir"/usr/bin/mercury_compile \ + MERCURY_CONFIG_DIR="$pkgdir"/usr/lib/mercury \ + PARALLEL="$MAKEFLAGS" install +} |