更新3。
还有一些尝试:
$ curl -sSL https://get.haskellstack.org/ | sh Stack Version 1.1.2 already appears to be installed at: /usr/local/bin/stack Use 'stack upgrade' or your OS's package manager to upgrade, or pass '-f' to this script to over-write the existing binary, e.g.: curl -sSL https://get.haskellstack.org/ | sh -s - -f
$ curl -sSL https://get.haskellstack.org/ | sh -s - -f Using generic bindist... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0curl: (35) error:1407742E:SSL routines:SSL23_GET_SERVER_HELLO:tlsv1 alert protocol version curl download failed: https://github.com/commercialhaskell/stack/releases/download/v1.7.1/stack-1.7.1-osx-x86_64.tar.gz
更新2。
运行stack
也没有运气:
$ stack upgrade remote: Counting objects: 64989, done. remote: Compressing objects: 100% (53367/53367), done. remote: Total 64989 (delta 17601), reused 54127 (delta 10710), pack-reused 0 Receiving objects: 100% (64989/64989), 17.17 MiB | 1.48 MiB/s, done. Resolving deltas: 100% (17601/17601), completed with 2519 local objects. From https://github.com/commercialhaskell/all-cabal-hashes + b2fd8036a5...56a8e992cb display -> origin/display (forced update) t [tag update] current-hackage -> current-hackage Fetched package index. Populated index cache. stack-1.7.1: download Could not parse '/private/var/folders/qg/f15r0d6s1gj6nsbg_517515h0000gn/T/stack-upgrade75400/stack-1.7.1/stack.yaml': AesonException "Error in $['extra-deps'][0]: failed to parse field 'extra-deps': failed to parse field extra-deps: (Invalid package identifier: \"rio-0.1.1.0@rev:0\",\"rio-0.1.1.0@rev:0\")" See http://docs.haskellstack.org/en/stable/yaml_configuration/.
$ stack --resolver lts-10.10 install idris Run from outside a project, using implicit global project config Using latest snapshot resolver: lts-11.9 Writing implicit global project config file to: /Users/dmitrizaitsev/.stack/global-project/stack.yaml Note: You can change the snapshot via the resolver field there. Downloaded lts-10.10 build plan. AesonException "Error in $.packages.cassava.constraints.flags: failed to parse field packages: failed to parse field constraints: failed to parse field flags: Invalid flag name: \"bytestring--lt-0_10_4\""
更新。 经过多次尝试后,更新似乎有效。 然而,冒险看起来很远:
$ cabal install idris ... Failed to install regex-base-0.93.2 Build log ( /Users/dmitrizaitsev/.cabal/logs/regex-base-0.93.2.log ): /Users/dmitrizaitsev/.cabal/logs/regex-base-0.93.2.log: openFile: does not exist (No such file or directory)
所以构建日志写入文件,但不知何故该文件不存在?? !! ??
只是尝试安装idris
(在Mac OSX 10.8上):
$ cabal update; cabal install idris Downloading the latest package list from hackage.haskell.org cabal: Failed to download http://hackage.haskell.org/00-index.tar.gz : HTTP code 503 Warning: The package list for 'hackage.haskell.org' does not exist. Run 'cabal update' to download it. cabal: There is no package named 'idris'. You may need to run 'cabal update' to get the latest list of available packages.
运行cabal update
下载不可用的列表???
作为对cabal update
的回应?
知道这里发生了什么吗?
答案 0 :(得分:2)
您可以使用以下命令通过堆栈安装Idris:
curl -sSL https://get.haskellstack.org/ | sh
stack --resolver lts-10.10 install idris