blob: 5e34991538ef3db9fe65ff2bedaf7facae244866 (
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.7
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' 'libffi6' 'libgl' 'libdrm')
source=('https://dl.cocotec.io/fdr/fdr-3814-linux-x86_64.tar.gz')
sha256sums=('1032b31f2974132e91cb1458341028894d40fb6bb8a10a9d4d986af25ff85231')
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:
|