From 3a8b51a621aa5b3707491c4d66e486f3830594e5 Mon Sep 17 00:00:00 2001 From: Hsiao-nan Cheung Date: Mon, 20 May 2019 17:03:20 +0800 Subject: [PATCH] julia: Use installer.script instead of original installer (#79) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * julia: Use installer.script instead of original installer Co-Authored-By: Jakub Čábera --- bucket/julia.json | 24 ++++-------------------- 1 file changed, 4 insertions(+), 20 deletions(-) diff --git a/bucket/julia.json b/bucket/julia.json index 6eeae66d03..a48fa7bd72 100644 --- a/bucket/julia.json +++ b/bucket/julia.json @@ -13,28 +13,12 @@ } }, "installer": { - "file": "julia-installer.exe", - "args": [ - "/S", - "/D=$dir" + "script": [ + "Expand-7zipArchive \"$dir\\julia-installer.exe\" \"$dir\" -Removal", + "Remove-Item \"$dir\\`$PLUGINSDIR\", \"$dir\\Uninstall.exe\" -Recurse -Force" ] }, - "uninstaller": { - "file": "uninstall.exe", - "args": "/S" - }, - "env_set": { - "JULIA_HOME": "$dir\\bin", - "JULIA_EXE": "julia.exe", - "JULIA": "$dir\\bin\\julia.exe", - "JL_PRIVATE_LIB_DIR": "bin" - }, - "bin": [ - [ - "bin\\julia.exe", - "julia" - ] - ], + "bin": "bin\\julia.exe", "checkver": { "url": "https://julialang.org/downloads/", "re": "Current stable release: v([\\d.]+)"