From b4bf40453ba3a6bf32e0969de86b80b213f31e53 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Fri, 7 Jun 2019 09:21:04 +0200
Subject: [PATCH] [Nix] Update autoPatchelf use for nixos 19.03
---
nix/default.nix | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/nix/default.nix b/nix/default.nix
index 0cdac752254..00ff4cb5399 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -229,7 +229,7 @@ rec {
sed -i src/plugins/pathcrawler/extern/eclipseCLP/RUNME -e "s/chmod 2755/chmod 755/g"
rm src/plugins/pathcrawler/extern/eclipseCLP/lib/x86_64_linux/dbi_mysql.so
rm src/plugins/pathcrawler/extern/eclipseCLP/lib/x86_64_linux/ic.so
- prefix="src/plugins/pathcrawler" autoPatchelf
+ autoPatchelf src/plugins/pathcrawler
make -j 4
ln -sr src/plugins/pathcrawler/share share/pc
make tests -j4 PTESTS_OPTS="-error-code -j 4"
--
GitLab