diff options
| author | Mort Yao | 2019-02-26 17:47:44 +0100 |
|---|---|---|
| committer | Mort Yao | 2019-02-26 17:47:44 +0100 |
| commit | 1b74e3e3646cb7968feac6c8b9c0d9aa21ca1b58 (patch) | |
| tree | 867dc6934a13ca6643a3d0f07553d4c683778191 | |
| parent | a41248afcb394580597a2f72a409462359b5d508 (diff) | |
| download | aur-1b74e3e3646cb7968feac6c8b9c0d9aa21ca1b58.tar.gz | |
hol kananaskis.12-1
| -rw-r--r-- | .SRCINFO | 10 | ||||
| -rw-r--r-- | .gitignore | 8 | ||||
| -rw-r--r-- | PKGBUILD | 13 |
3 files changed, 21 insertions, 10 deletions
@@ -1,17 +1,19 @@ +# Generated by mksrcinfo v8 +# Tue Feb 26 16:45:59 UTC 2019 pkgbase = hol pkgdesc = Interactive proof assistant for higher order logic - pkgver = kananaskis.10 - pkgrel = 3 + pkgver = kananaskis.12 + pkgrel = 1 url = http://hol.sourceforge.net/ arch = i686 arch = x86_64 license = BSD depends = mosml conflicts = hol-git - source = http://sourceforge.net/projects/hol/files/hol/kananaskis-10/hol-kananaskis-10.tar.gz + source = http://sourceforge.net/projects/hol/files/hol/kananaskis-12/hol-kananaskis-12.tar.gz source = 0001-fix-holdir.patch source = 0002-fix-emit.patch - md5sums = aaf565484d62f1b43423897a2e8517ac + md5sums = 5b01d43494c7809c029764a95bf06402 md5sums = d613c3d825d6f382a24533c0136c5b1e md5sums = 4a01da11b5bfb917a3e5a08ee8bde856 diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..11046d3c70fe --- /dev/null +++ b/.gitignore @@ -0,0 +1,8 @@ +/pkg +/src +*.sig +*.bz2 +*.gz +*.tar +*.xz +*.zip @@ -1,7 +1,8 @@ -# Maintainer: Nikolaos Bezirgiannis <bezeria@gmail.com> +# Maintainer: Mort Yao <soi@mort.ninja> +# Contributor: Nikolaos Bezirgiannis <bezeria@gmail.com> pkgname=hol -pkgver=kananaskis.10 -pkgrel=3 +pkgver=kananaskis.12 +pkgrel=1 pkgdesc="Interactive proof assistant for higher order logic" url='http://hol.sourceforge.net/' arch=('i686' 'x86_64') @@ -10,7 +11,7 @@ source=("http://sourceforge.net/projects/hol/files/hol/${pkgver//./-}/hol-${pkgv '0001-fix-holdir.patch' '0002-fix-emit.patch' ) -md5sums=('aaf565484d62f1b43423897a2e8517ac' +md5sums=('5b01d43494c7809c029764a95bf06402' 'd613c3d825d6f382a24533c0136c5b1e' '4a01da11b5bfb917a3e5a08ee8bde856') depends=('mosml') @@ -27,8 +28,8 @@ prepare() { build() { cd "${srcdir}/${pkgname}-${pkgver//./-}" - mosml < tools/smart-configure.sml - bin/build -nograph + mosml < tools/smart-configure.sml + bin/build --nograph } package() { |