diff options
| author | Sauyon Lee | 2019-05-23 22:57:18 +0100 |
|---|---|---|
| committer | Sauyon Lee | 2019-05-23 22:57:18 +0100 |
| commit | 7f6a12bd4266e311cc60845fecdda4c92e52adb1 (patch) | |
| tree | 11a87aacea8d67400102c3512d7643b56ea2f85c | |
| parent | 6a7aaf18679b69aa27f73e8ec70530241156cd26 (diff) | |
| download | aur-7f6a12bd4266e311cc60845fecdda4c92e52adb1.tar.gz | |
version bump
| -rw-r--r-- | .SRCINFO | 6 | ||||
| -rw-r--r-- | PKGBUILD | 9 |
2 files changed, 8 insertions, 7 deletions
@@ -1,6 +1,6 @@ pkgbase = fdr pkgdesc = Refinement checker for CSP - pkgver = 4.2.3 + pkgver = 4.2.4 pkgrel = 1 url = https://www.cs.ox.ac.uk/projects/fdr/ arch = x86_64 @@ -16,8 +16,8 @@ pkgbase = fdr depends = libffi depends = libgl depends = libdrm - source = https://www.cs.ox.ac.uk/projects/fdr/downloads/fdr-3789-linux-x86_64.tar.gz - sha256sums = 08c5a0a91e049ccab2930515d32df36722a4a03f79cc47b96abd540f59c45e58 + source = https://www.cs.ox.ac.uk/projects/fdr/downloads/fdr-3800-linux-x86_64.tar.gz + sha256sums = d51a5a31062152e4af4020eb6193c2697dc05fdcf069047c4ca2a5ac3d4caa3d pkgname = fdr @@ -1,15 +1,15 @@ # Maintainer: Sauyon Lee <arch@sauyon.com> # Contributor: Douglas Creager <dcreager@dcreager.net> pkgname=fdr -pkgver=4.2.3 +pkgver=4.2.4 pkgrel=1 pkgdesc="Refinement checker for CSP" arch=('x86_64') url="https://www.cs.ox.ac.uk/projects/fdr/" license=('custom') depends=('libtinfo5' 'openssl-1.0' 'gcc-libs' 'qt5-base' 'qt5-3d' 'qt5-x11extras' 'libxcb' 'mesa' 'libffi' 'libgl' 'libdrm') -source=('https://www.cs.ox.ac.uk/projects/fdr/downloads/fdr-3789-linux-x86_64.tar.gz') -sha256sums=('08c5a0a91e049ccab2930515d32df36722a4a03f79cc47b96abd540f59c45e58') +source=('https://www.cs.ox.ac.uk/projects/fdr/downloads/fdr-3800-linux-x86_64.tar.gz') +sha256sums=('d51a5a31062152e4af4020eb6193c2697dc05fdcf069047c4ca2a5ac3d4caa3d') package() { install -d "${pkgdir}/opt/fdr" @@ -32,7 +32,8 @@ package() { # librefines.so librefines_licensing.so libcsp_operators.so; do # ln -s "../../opt/fdr/lib/$c" "${pkgdir}/usr/lib" # done - find "${pkgdir}/opt/fdr/lib" -mindepth 1 -maxdepth 1 -exec ln -s {} "${pkgdir}/usr/lib" \; + cd "${pkgdir}/opt/fdr/lib" + find . -mindepth 1 -maxdepth 1 -exec ln -s {} "${pkgdir}/usr/lib" \; install -d "${pkgdir}/usr/share/doc/fdr" cp -r "${srcdir}/fdr/fdr-examples" "${pkgdir}/usr/share/doc/fdr/examples" |