diff options
author | Kevin Houdebert | 2015-05-03 03:20:42 +0200 |
---|---|---|
committer | Kevin Houdebert | 2015-05-03 03:20:42 +0200 |
commit | 555f2eeb4ce73262edf8b57983abcc4eed707227 (patch) | |
tree | 1e34e4926e86abf02ee945834af8c4b30c70b5c5 | |
download | aur-555f2eeb4ce73262edf8b57983abcc4eed707227.tar.gz |
First commit
-rw-r--r-- | .SRCINFO | 21 | ||||
-rw-r--r-- | 001-fix_ghc_7.10.patch | 26 | ||||
-rw-r--r-- | PKGBUILD | 46 |
3 files changed, 93 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..c3b344823936 --- /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 000000000000..8361c3b2ad53 --- /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 000000000000..4427bbc30e57 --- /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: |