forked from mirrors/nixpkgs
commit
e564a399d9
|
@ -343,6 +343,7 @@
|
||||||
nequissimus = "Tim Steinbach <tim@nequissimus.com>";
|
nequissimus = "Tim Steinbach <tim@nequissimus.com>";
|
||||||
nfjinjing = "Jinjing Wang <nfjinjing@gmail.com>";
|
nfjinjing = "Jinjing Wang <nfjinjing@gmail.com>";
|
||||||
nhooyr = "Anmol Sethi <anmol@aubble.com>";
|
nhooyr = "Anmol Sethi <anmol@aubble.com>";
|
||||||
|
nickhu = "Nick Hu <me@nickhu.co.uk>";
|
||||||
nicknovitski = "Nick Novitski <nixpkgs@nicknovitski.com>";
|
nicknovitski = "Nick Novitski <nixpkgs@nicknovitski.com>";
|
||||||
nico202 = "Nicolò Balzarotti <anothersms@gmail.com>";
|
nico202 = "Nicolò Balzarotti <anothersms@gmail.com>";
|
||||||
NikolaMandic = "Ratko Mladic <nikola@mandic.email>";
|
NikolaMandic = "Ratko Mladic <nikola@mandic.email>";
|
||||||
|
|
69
pkgs/applications/science/programming/fdr/default.nix
Normal file
69
pkgs/applications/science/programming/fdr/default.nix
Normal file
|
@ -0,0 +1,69 @@
|
||||||
|
{stdenv, fetchurl, qtbase, qtx11extras, ncurses, xorg, zlib, python27Packages}:
|
||||||
|
stdenv.mkDerivation {
|
||||||
|
name = "fdr-4.2.0";
|
||||||
|
src = fetchurl {
|
||||||
|
url = https://www.cs.ox.ac.uk/projects/fdr/downloads/fdr-3754-linux-x86_64.tar.gz;
|
||||||
|
sha256 = "d24492485db9b8b95c62c53a6396094f836ee079cfc743688a397503c3ec9bf8";
|
||||||
|
};
|
||||||
|
|
||||||
|
libPath = stdenv.lib.makeLibraryPath [
|
||||||
|
stdenv.cc.cc
|
||||||
|
python27Packages.python
|
||||||
|
qtbase
|
||||||
|
qtx11extras
|
||||||
|
ncurses
|
||||||
|
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"
|
||||||
|
# Hack around lack of libtinfo in NixOS
|
||||||
|
ln -s ${ncurses.out}/lib/libncursesw.so.6 $out/lib/libtinfo.so.5
|
||||||
|
ln -s ${qtbase.out}/lib/qt5/plugins $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 stdenv.lib; {
|
||||||
|
homepage = https://www.cs.ox.ac.uk/projects/fdr/;
|
||||||
|
description = "The CSP refinement checker";
|
||||||
|
license = licenses.unfreeRedistributable;
|
||||||
|
platforms = platforms.linux;
|
||||||
|
maintainers = with maintainers; [ nickhu ];
|
||||||
|
};
|
||||||
|
}
|
|
@ -13302,6 +13302,8 @@ with pkgs;
|
||||||
|
|
||||||
fbreader = callPackage ../applications/misc/fbreader { };
|
fbreader = callPackage ../applications/misc/fbreader { };
|
||||||
|
|
||||||
|
fdr = qt57.callPackage ../applications/science/programming/fdr { };
|
||||||
|
|
||||||
fehlstart = callPackage ../applications/misc/fehlstart { };
|
fehlstart = callPackage ../applications/misc/fehlstart { };
|
||||||
|
|
||||||
fetchmail = callPackage ../applications/misc/fetchmail { };
|
fetchmail = callPackage ../applications/misc/fetchmail { };
|
||||||
|
|
Loading…
Reference in a new issue