、あなたが
$ cabal install --reinstall --upgrade-dependencies world
残念ながらやってみることができ、それは私の場合には動作しませんでした:
$ cabal install --dry-run --reinstall world
Resolving dependencies...
cabal: cannot configure Agda-2.2.10. It requires haskell-src-exts >=1.9.6 &&
<1.10
For the dependency on haskell-src-exts >=1.9.6 && <1.10 there are these
packages: haskell-src-exts-1.9.6. However none of them are available.
haskell-src-exts-1.9.6 was excluded because haskell-src-exts-1.11.1 was
selected instead
haskell-src-exts-1.9.6 was excluded because hlint-1.8.12 requires
haskell-src-exts ==1.11.*
このようなエラーが発生した場合は、~/.cabal/world
ファイルを手動で編集してみてください。
それはうまくいった!しかし、ほぼ完璧です。それはすべてのパッケージのすべての依存関係を取得せず、生成されたドキュメントには適切なインデックスやソースへのリンクがありませんでしたが、ローカルのドキュメントをまったく持たないことに比べて大きな進歩です。ありがとう! –
はい、worldファイルには手動でインストールされたパッケージのみが表示されるため、自動的にインストールされた依存関係は再インストールされません(Hackageに新しいバージョンがない限り)。 –
1.10?私は0.10を持っています... – alternative