blob: 62e4c6876fd74da1ef59923ecffe24abba8b50a3 (
plain) (
blame)
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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
{ lib, stdenv, fetchurl, qtbase, qtx11extras, ncurses5, xorg, zlib, python27Packages }:
stdenv.mkDerivation {
pname = "fdr";
version = "4.2.7";
src = fetchurl {
url = "https://dl.cocotec.io/fdr/fdr-3814-linux-x86_64.tar.gz";
sha256 = "0cajz1gz4slq9nfhm8dqdgxl0kc950838n0lrf8jw4vl54gv6chh";
};
libPath = lib.makeLibraryPath [
stdenv.cc.cc
python27Packages.python
qtbase
qtx11extras
ncurses5
xorg.libX11
xorg.libXft
zlib
];
phases = [ "unpackPhase" "installPhase" ];
installPhase = ''
mkdir -p "$out"
# shipped Qt is buggy
rm lib/libQt*
rm -r lib/qt_plugins
cp -r * "$out"
ln -s ${ncurses5.out}/lib/libtinfo.so.5 $out/lib/libtinfo.so.5
ln -s ${qtbase.bin}/${qtbase.qtPluginPrefix} $out/lib/qt_plugins
ln -s ${zlib.out}/lib/libz.so.1 $out/lib/libz.so.1
for b in fdr4 _fdr4 refines _refines cspmprofiler cspmexplorerprof
do
patchelf --set-interpreter $(cat $NIX_CC/nix-support/dynamic-linker) \
--set-rpath "$libPath:$out/lib" \
"$out/bin/$b"
done
for l in corei7/librefines.so \
libcspm_process_compiler.so \
libcsp_operators.so \
_fdr.so \
libfdr.so \
libfdr_java.so \
libprocess_compiler.so \
librefines_gui.so \
librefines_licensing.so \
libboost_date_time.so.1.60.0 \
libboost_filesystem.so.1.60.0 \
libboost_iostreams.so.1.60.0 \
libboost_program_options.so.1.60.0 \
libboost_serialization.so.1.60.0 \
libboost_system.so.1.60.0
do
patchelf --set-rpath "$libPath:$out/lib" \
"$out/lib/$l"
done
'';
meta = with lib; {
homepage = "https://cocotec.io/fdr/";
description = "The CSP refinement checker";
license = licenses.unfreeRedistributable;
platforms = platforms.linux;
maintainers = with maintainers; [ nickhu ];
};
}
|