diff options
author | Douglas Creager | 2015-01-27 07:37:55 -0500 |
---|---|---|
committer | Douglas Creager | 2016-06-17 21:09:31 -0400 |
commit | f8706fe27120c061ffc7808ffd39f8728147b806 (patch) | |
tree | 4ae90b33cb157016b9d81a001fcbea7599d8f3af /PKGBUILD | |
download | aur-f8706fe27120c061ffc7808ffd39f8728147b806.tar.gz |
FDR 3.0.0-1
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..ebe24652d3ac --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,27 @@ +# Maintainer: Douglas Creager <dcreager@dcreager.net> +pkgname=fdr +pkgver=3.0.0 +pkgrel=1 +pkgdesc="Refinement checker for CSP" +arch=('x86_64') +url="https://www.cs.ox.ac.uk/projects/fdr/" +license=('custom') +source=("https://www.cs.ox.ac.uk/projects/fdr/downloads/fdr3-linux-x86_64.tar.gz") +md5sums=('191d2538a4f5287e7bae4ebe15d0cb01') +sha1sums=('7cab897ea6612dce5e19497cddbf0ab573172fea') +sha256sums=('a3646630cafa3c30630ee55c597b3c27ef346eb0d2eee6d2b2d10f1317adeef8') + +package() { + mkdir -p "${pkgdir}/opt" + cp -R "${srcdir}/fdr3" "${pkgdir}/opt/fdr" + + mkdir -p "${pkgdir}/usr/bin" + for c in cspmchecker cspmcheckeri fdr3 refines; do + ln -s "../../opt/fdr/bin/$c" "${pkgdir}/usr/bin" + done + + mkdir -p "${pkgdir}/usr/share/doc/fdr" + ln -s "../../../../opt/fdr/fdr-examples" "${pkgdir}/usr/share/doc/fdr/examples" +} + +# vim:set ts=2 sw=2 et: |