Попытка установить idris: список пакетов для hackage.haskell.org не существует. Запустите 'Cabal Update', чтобы загрузить его - PullRequest
Новая
       42

Попытка установить idris: список пакетов для hackage.haskell.org не существует. Запустите 'Cabal Update', чтобы загрузить его

0 голосов
/ 14 мая 2018

ОБНОВЛЕНИЕ 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\""

UPDATE. После нескольких попыток обновление, похоже, заработало. Тем не менее, приключение выглядит далеко от конца: 

$ 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?

Есть идеи, что здесь происходит?

1 Ответ

0 голосов
/ 14 мая 2018

Вы можете установить Idris через стек с помощью следующих команд:

  1. Установить стек: curl -sSL https://get.haskellstack.org/ | sh
  2. Установить Idris: stack --resolver lts-10.10 install idris
...