summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorLaurent Zhu2019-06-28 14:54:15 +0200
committerLaurent Zhu2019-06-28 14:54:15 +0200
commit77ac4d92e9b554813552e5b5419672d79a77d8ae (patch)
tree1c3aeed3e9c4c564981da66a6c049189964959ae
parent7b9aa0bf93682d6950e1f513a2a1f3346cbf8446 (diff)
downloadaur-havm-git.tar.gz
Add ghc-static dependency and update to 0.28
Signed-off-by: Laurent Zhu <laurent.zhu@epita.fr>
-rw-r--r--.SRCINFO5
-rw-r--r--PKGBUILD7
2 files changed, 6 insertions, 6 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 641d551a2d4..1c45da305cb 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,6 @@
-# Generated by mksrcinfo v8
-# Wed Feb 3 09:52:04 UTC 2016
pkgbase = havm-git
pkgdesc = HAVM is a Tree intermediate language interpreter.
- pkgver = 0.27
+ pkgver = 0.28
pkgrel = 1
url = https://www.lrde.epita.fr/wiki/Havm
arch = x86_64
@@ -10,6 +8,7 @@ pkgbase = havm-git
license = GPL3
makedepends = git
makedepends = ghc
+ makedepends = ghc-static
depends = libffi
depends = gmp
provides = havm
diff --git a/PKGBUILD b/PKGBUILD
index 1a90ecccafa..075026f4523 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,14 +1,15 @@
-# Maintainer: Kevin Houdebert <kevin@qwazerty.eu>
+# Maintainer: Laurent Zhu <laurent.zhu@epita.fr>
+# Contributor: Kevin Houdebert <kevin@qwazerty.eu>
_pkgname=havm
pkgname=${_pkgname}-git
-pkgver=0.27
+pkgver=0.28
pkgrel=1
pkgdesc='HAVM is a Tree intermediate language interpreter.'
url='https://www.lrde.epita.fr/wiki/Havm'
arch=('x86_64' 'i686')
license=('GPL3')
-makedepends=('git' 'ghc')
+makedepends=('git' 'ghc' 'ghc-static')
depends=('libffi' 'gmp')
provides=("$_pkgname")
conflicts=("$_pkgname")