search

leanprover / elan

The Lean version manager
Apache License 2.0
292 stars 34 forks source link

powershell installation doesn't work on PS v4 or below #87

Open Voileexperiments opened 1 year ago

Voileexperiments commented 1 year ago

On PS v4 or below Expand-Archive is unavailable, so the install script fails.

This seems to work (I haven't tested this intensively):

Add-Type -assembly "system.io.compression.filesystem"
[System.IO.Compression.ZipFile]::ExtractToDirectory("$_dir/elan-init.zip", "$_dir")