blob: 77b538d1cbd86c02005109f06479e68109476b26 (
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
|
{ stdenv
, lib
, fetchFromGitHub
, cmake
, python3
, osi
, cplex
}:
stdenv.mkDerivation rec {
pname = "fast-downward";
version = "23.06.0";
src = fetchFromGitHub {
owner = "aibasel";
repo = "downward";
rev = "release-${version}";
sha256 = "sha256-yNaMyS47yxc/p5Rs/kHwD/pgjGXnHBdybYdo1GIEmA4=";
};
nativeBuildInputs = [ cmake python3.pkgs.wrapPython ];
buildInputs = [ python3 osi ];
cmakeFlags = lib.optionals osi.withCplex [ "-DDOWNWARD_CPLEX_ROOT=${cplex}/cplex" ];
configurePhase = ''
python build.py release
'';
postPatch = ''
# Needed because the package tries to be too smart.
export CC="$(which $CC)"
export CXX="$(which $CXX)"
'';
installPhase = ''
install -Dm755 builds/release/bin/downward $out/libexec/fast-downward/downward
cp -r builds/release/bin/translate $out/libexec/fast-downward/
install -Dm755 fast-downward.py $out/bin/fast-downward
mkdir -p $out/${python3.sitePackages}
cp -r driver $out/${python3.sitePackages}
wrapPythonProgramsIn $out/bin "$out $pythonPath"
wrapPythonProgramsIn $out/libexec/fast-downward/translate "$out $pythonPath"
# Because fast-downward calls `python translate.py` we need to return wrapped scripts back.
for i in $out/libexec/fast-downward/translate/.*-wrapped; do
name="$(basename "$i")"
name1="''${name#.}"
name2="''${name1%-wrapped}"
dir="$(dirname "$i")"
dest="$dir/$name2"
echo "Moving $i to $dest"
mv "$i" "$dest"
done
substituteInPlace $out/${python3.sitePackages}/driver/arguments.py \
--replace 'args.build = "release"' "args.build = \"$out/libexec/fast-downward\""
'';
meta = with lib; {
description = "A domain-independent planning system";
mainProgram = "fast-downward";
homepage = "https://www.fast-downward.org/";
license = licenses.gpl3Plus;
platforms = platforms.unix;
maintainers = with maintainers; [ abbradar ];
};
}
|