diff options
| author | William J. Bowman | 2015-06-08 11:36:16 -0400 |
|---|---|---|
| committer | William J. Bowman | 2015-06-08 11:36:16 -0400 |
| commit | f1cae1cdcbb53bf63705eae379ad58eddafe6a4c (patch) | |
| tree | 1cc7e71b74052cc1c0dad699f1f31fb73cccdb00 | |
| download | aur-f1cae1cdcbb53bf63705eae379ad58eddafe6a4c.tar.gz | |
Initial import
| -rw-r--r-- | .SRCINFO | 15 | ||||
| -rw-r--r-- | PKGBUILD | 25 |
2 files changed, 40 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..1a6e4ecb456f --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,15 @@ +pkgbase = autosubst + pkgdesc = Automation for de Bruijn syntax and substition in Coq. + pkgver = 1.0 + pkgrel = 1 + url = https://www.ps.uni-saarland.de/autosubst/ + arch = i686 + arch = x86_64 + license = GPL + depends = coq<8.5 + source = https://www.ps.uni-saarland.de/autosubst/releases/autosubst_v1.0.tar.gz + sha256sums = d659898e0e0bafa740c2368a0510a36c77b22a6b9b0386971e49cfc7b8027a1f + sha512sums = 4a9f2d3db11a14ccca5ff364814bebf1e4f659f79ee5ded4f6d38d12d8c10b904b9b538b61be7094aae40f3e15d2e018095d8959940b4450256d4637f061fe80 + +pkgname = autosubst + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..9693e391b2eb --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,25 @@ +# Maintainer: William J. Bowman <wjb@williamjbowman.com> + +pkgname=autosubst +pkgver=1.0 +pkgrel=1 +pkgdesc="Automation for de Bruijn syntax and substition in Coq." +url="https://www.ps.uni-saarland.de/autosubst/" +arch=('i686' 'x86_64') +license=('GPL') +depends=('coq<8.5') +makedepends=('camlp5-transitional>=6.12') +source=(https://www.ps.uni-saarland.de/autosubst/releases/${pkgname}_v${pkgver}.tar.gz) +sha256sums=('d659898e0e0bafa740c2368a0510a36c77b22a6b9b0386971e49cfc7b8027a1f') +sha512sums=('4a9f2d3db11a14ccca5ff364814bebf1e4f659f79ee5ded4f6d38d12d8c10b904b9b538b61be7094aae40f3e15d2e018095d8959940b4450256d4637f061fe80') + +build() { + cd $srcdir/ + + make +} + +package(){ + cd $srcdir/ + make DESTDIR=$pkgdir 'COQLIB:=$(DESTDIR)/$(shell coqtop -where)/' install +} |