From d76fb9940305106367172f23eb3eb0b300180dfb Mon Sep 17 00:00:00 2001 From: Dan MacDonald Date: Wed, 13 Nov 2019 16:22:24 +0000 Subject: [PATCH] Ports: Add support for zip files and ensure configure is executable (#773) --- Ports/.port_include.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Ports/.port_include.sh b/Ports/.port_include.sh index 07ed859212..ea17ae22b2 100755 --- a/Ports/.port_include.sh +++ b/Ports/.port_include.sh @@ -50,6 +50,9 @@ func_defined fetch || fetch() { *.gz) run_nocd gunzip "$filename" ;; + *.zip) + run_nocd bsdtar xf "$filename" + ;; *) echo "Note: no case for file $filename." ;; @@ -152,6 +155,7 @@ do_fetch() { do_configure() { if [ "$useconfigure" = "true" ]; then echo "Configuring $port!" + chmod +x "${workdir}"/"$configscript" configure else echo "This port does not use a configure script. Skipping configure step."