summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorKevin Houdebert2015-05-03 03:20:42 +0200
committerKevin Houdebert2015-05-03 03:20:42 +0200
commit555f2eeb4ce73262edf8b57983abcc4eed707227 (patch)
tree1e34e4926e86abf02ee945834af8c4b30c70b5c5
downloadaur-555f2eeb4ce73262edf8b57983abcc4eed707227.tar.gz
First commit
-rw-r--r--.SRCINFO21
-rw-r--r--001-fix_ghc_7.10.patch26
-rw-r--r--PKGBUILD46
3 files changed, 93 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 00000000000..c3b34482393
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,21 @@
+# Generated by makepkg 4.2.1
+# Sun May 3 01:04:59 UTC 2015
+pkgbase = havm-git
+ pkgdesc = HAVM is a Tree intermediate language interpreter.
+ pkgver = 0.26.7.gb493ecf
+ pkgrel = 1
+ url = https://www.lrde.epita.fr/wiki/Havm
+ arch = x86_64
+ arch = i686
+ license = GPL3
+ makedepends = git
+ makedepends = ghc
+ depends = libffi
+ depends = gmp
+ source = git://git.lrde.epita.fr/havm
+ 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
new file mode 100644
index 00000000000..8361c3b2ad5
--- /dev/null
+++ b/001-fix_ghc_7.10.patch
@@ -0,0 +1,26 @@
+--- 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
new file mode 100644
index 00000000000..4427bbc30e5
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,46 @@
+# Maintainer: Kevin Houdebert <kevin@qwazerty.eu>
+
+_pkgname=havm
+pkgname=${_pkgname}-git
+pkgver=0.26.7.gb493ecf
+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')
+depends=('libffi' 'gmp')
+source=("git://git.lrde.epita.fr/$_pkgname"
+ '001-fix_ghc_7.10.patch')
+md5sums=('SKIP'
+ '0827bcd8df2d8941120cf7a46ffb48ab')
+
+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
+ ./configure --prefix=/usr
+ make
+}
+
+package() {
+ cd "$srcdir/$_pkgname"
+ make DESTDIR="$pkgdir" install
+ install -Dm644 COPYING "$pkgdir/usr/share/licenses/$pkgname/COPYING"
+}
+
+check() {
+ cd "$srcdir/$_pkgname"
+ make check
+}
+
+# vim:set sts=2 sw=2 et: