get-idris

get-idris copied to clipboard

Expired links in the install script, install fails

2

The script hasnt been updated for 2 years, and during that time links have expired as new version have become available. Pacman seems to have seen some changes during that...

solenskiner

While running the script on Windows 10, the following line fails: `mv msys64 msys` **Error message:** ``` mv : Access to the path 'C:\Users\vladi\get-idris\msys64' is denied. At C:\Users\vladi\get-idris\get-idris.ps1:112 char:9 +...

VladimirMarko

Windows 7: setup.exe - make - does not exist

1

In the end (strictly I'm not sure it is) of installation: ``` [1 of 1] Compiling Main ( dist\setup\setup.hs, dist\setup\Main.o ) Linking .\dist\setup\setup.exe ... Configuring idris-0.9.15.1... setup.exe: make: does not...

apskii

get-filehash is not available in PS v3

2

it comes with PS v4

theimowski

After providing make manually, I have the following errors: ``` ################################################################### # # # # # C A U T I O N # # # # This is first...

apskii

Clean windows 8.1 patched to current date, on a VM (I can rewind/retry on it) Only deviation was changing idris cabal-install line to ~/bin/cabal install --max-backjumps=-1 Ran the file from...

supergrade