summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO10
-rw-r--r--001-fix_ghc_7.10.patch26
-rw-r--r--PKGBUILD15
3 files changed, 8 insertions, 43 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 0cc8459b0ec4..641d551a2d43 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
-# Generated by makepkg 4.2.1
-# Thu May 21 23:06:27 UTC 2015
+# 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.26.7.gb493ecf
- pkgrel = 3
+ pkgver = 0.27
+ pkgrel = 1
url = https://www.lrde.epita.fr/wiki/Havm
arch = x86_64
arch = i686
@@ -15,9 +15,7 @@ pkgbase = havm-git
provides = havm
conflicts = havm
source = git+https://gitlab.lrde.epita.fr/tiger/havm.git
- source = 001-fix_ghc_7.10.patch
md5sums = SKIP
- md5sums = 0827bcd8df2d8941120cf7a46ffb48ab
pkgname = havm-git
diff --git a/001-fix_ghc_7.10.patch b/001-fix_ghc_7.10.patch
deleted file mode 100644
index 8361c3b2ad53..000000000000
--- a/001-fix_ghc_7.10.patch
+++ /dev/null
@@ -1,26 +0,0 @@
---- src/VMMonad.hs.orig 2015-05-03 02:22:24.504191179 +0200
-+++ src/VMMonad.hs 2015-05-03 02:23:48.101173777 +0200
-@@ -27,6 +27,9 @@
- import qualified Level (initialize, lfetch, lstore)
- import qualified Memory (initialize, mfetch, mstore, mstoren, mreserve)
-
-+import Control.Applicative (Applicative(..))
-+import Control.Monad (liftM, ap)
-+
- data State =
- State { reg :: Registry,
- mem :: Memory,
-@@ -38,6 +41,13 @@
- profileHandle :: Maybe Handle,
- profile :: ! (Map String Int) }
-
-+instance Functor Mnd where
-+ fmap = liftM
-+
-+instance Applicative Mnd where
-+ pure = return
-+ (<*>) = ap
-+
- newtype Mnd a =
- Mnd (IORef State -> IO a)
-
diff --git a/PKGBUILD b/PKGBUILD
index cfa5930d2e7c..1a90ecccafaa 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,8 +2,8 @@
_pkgname=havm
pkgname=${_pkgname}-git
-pkgver=0.26.7.gb493ecf
-pkgrel=3
+pkgver=0.27
+pkgrel=1
pkgdesc='HAVM is a Tree intermediate language interpreter.'
url='https://www.lrde.epita.fr/wiki/Havm'
arch=('x86_64' 'i686')
@@ -12,21 +12,14 @@ makedepends=('git' 'ghc')
depends=('libffi' 'gmp')
provides=("$_pkgname")
conflicts=("$_pkgname")
-source=("git+https://gitlab.lrde.epita.fr/tiger/$_pkgname.git"
- '001-fix_ghc_7.10.patch')
-md5sums=('SKIP'
- '0827bcd8df2d8941120cf7a46ffb48ab')
+source=("git+https://gitlab.lrde.epita.fr/tiger/$_pkgname.git")
+md5sums=('SKIP')
pkgver() {
cd "$srcdir/$_pkgname"
git describe --always | sed 's|havm-||;s|-|.|g'
}
-prepare() {
- cd "$srcdir/$_pkgname"
- patch -Np0 < ../001-fix_ghc_7.10.patch
-}
-
build() {
cd "$srcdir/$_pkgname"
./bootstrap