diff options
Diffstat (limited to 'pkgs/development/tools/global-platform-pro')
-rw-r--r-- | pkgs/development/tools/global-platform-pro/default.nix | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/pkgs/development/tools/global-platform-pro/default.nix b/pkgs/development/tools/global-platform-pro/default.nix index 5848f131d73cf..8bdb14c7c6578 100644 --- a/pkgs/development/tools/global-platform-pro/default.nix +++ b/pkgs/development/tools/global-platform-pro/default.nix @@ -46,13 +46,14 @@ stdenv.mkDerivation rec { name = "${name}-deps"; inherit src patches; nativeBuildInputs = [ jdk maven ]; - buildPhase = '' + installPhase = '' + # Download the dependencies while ! mvn package "-Dmaven.repo.local=$out/.m2" -Dmaven.wagon.rto=5000; do echo "timeout, restart maven to continue downloading" done - ''; - # keep only *.{pom,jar,sha1,nbm} and delete all ephemeral files with lastModified timestamps inside - installPhase = '' + + # And keep only *.{pom,jar,sha1,nbm} and delete all ephemeral files + # with lastModified timestamps inside find "$out/.m2" -type f \ -regex '.+\(\.lastUpdated\|resolver-status\.properties\|_remote\.repositories\)' \ -delete |