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 | |
| download | aur-f8706fe27120c061ffc7808ffd39f8728147b806.tar.gz | |
FDR 3.0.0-1
| -rw-r--r-- | .SRCINFO | 16 | ||||
| -rw-r--r-- | .gitignore | 4 | ||||
| -rw-r--r-- | PKGBUILD | 27 |
3 files changed, 47 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..69abd493d67d --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +# Generated by mksrcinfo v8 +# Sat Jun 18 01:09:23 UTC 2016 +pkgbase = fdr + pkgdesc = Refinement checker for CSP + pkgver = 3.0.0 + pkgrel = 1 + url = https://www.cs.ox.ac.uk/projects/fdr/ + arch = x86_64 + license = custom + source = https://www.cs.ox.ac.uk/projects/fdr/downloads/fdr3-linux-x86_64.tar.gz + md5sums = 191d2538a4f5287e7bae4ebe15d0cb01 + sha1sums = 7cab897ea6612dce5e19497cddbf0ab573172fea + sha256sums = a3646630cafa3c30630ee55c597b3c27ef346eb0d2eee6d2b2d10f1317adeef8 + +pkgname = fdr + diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..b20752a93bec --- /dev/null +++ b/.gitignore @@ -0,0 +1,4 @@ +*.tar.gz +*.tar.xz +pkg/ +src/ 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: |