blob: 87c33ac77c04d5a9e931dea80838a154c4a86b2e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
# Maintainer: Sauyon Lee <arch@sauyon.com>
# Contributor: Douglas Creager <dcreager@dcreager.net>
pkgname=fdr
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-3800-linux-x86_64.tar.gz')
sha256sums=('d51a5a31062152e4af4020eb6193c2697dc05fdcf069047c4ca2a5ac3d4caa3d')
package() {
install -d "${pkgdir}/opt/fdr"
cp -r "${srcdir}/fdr/"{bin,lib} "${pkgdir}/opt/fdr"
for c in libstdc++* libQt5* libxcb* libglapi* libffi* libGL* libdrm*; do
find "${pkgdir}/opt/fdr/lib/" -name "$c" -delete
done
rm -rf "${pkgdir}/opt/fdr/lib/qt_plugins"
ln -s "../../../usr/lib/qt/plugins" "${pkgdir}/opt/fdr/lib/qt_plugins"
install -d "${pkgdir}/usr"
cp -r "${srcdir}/fdr/include" "${pkgdir}/usr"
install -d "${pkgdir}/usr/bin"
for c in cspmchecker cspmcheckeri fdr4 refines; do
ln -s "../../opt/fdr/bin/$c" "${pkgdir}/usr/bin"
done
install -d "${pkgdir}/usr/lib"
# for c in libfdr.so libcspm_process_compiler.so libprocess_compiler.so \
# librefines.so librefines_licensing.so libcsp_operators.so; do
# ln -s "../../opt/fdr/lib/$c" "${pkgdir}/usr/lib"
# done
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"
}
# vim:set ts=2 sw=2 et:
|