murmur_git: fix failing build because of changed ice file paths
This commit is contained in:
parent
0c7db6c696
commit
10a87beb7e
|
@ -95,7 +95,7 @@ let
|
||||||
type = "murmur";
|
type = "murmur";
|
||||||
|
|
||||||
postPatch = optional iceSupport ''
|
postPatch = optional iceSupport ''
|
||||||
sed -i 's,/usr/share/Ice/,${zeroc_ice}/,g' src/murmur/murmur.pro
|
grep -Rl '/usr/share/Ice' . | xargs sed -i 's,/usr/share/Ice/,${zeroc_ice}/,g'
|
||||||
'';
|
'';
|
||||||
|
|
||||||
configureFlags = [
|
configureFlags = [
|
||||||
|
|
Loading…
Reference in New Issue