Ошибка состояния нехватки памяти при обновлении agda с помощью cabal? - PullRequest
Новая
       51

Ошибка состояния нехватки памяти при обновлении agda с помощью cabal?

2 голосов
/ 29 мая 2020

Пытаюсь обновить agda, выдает ошибку памяти. Любые способы исправить это?

Я пробовал cabal install --ghc-options="+RTS -M600M" --force-reinstalls agda, но по аналогичному вопросу, но это просто дало ошибку кучи. 

wmacmil@w:~$ cabal install --force-reinstalls agda
Resolving dependencies...
Warning: The following packages are likely to be broken by the reinstalls:
Agda-2.6.0.1
Continuing even though the plan contains dangerous reinstalls.
Downloading base-compat-0.10.5...

... 

[325 of 369] Compiling Agda.TypeChecking.IApplyConfluence ( src/full/Agda/TypeChecking/IApplyConfluence.hs, dist/build/Agda/TypeChecking/IApplyConfluence.o )
[326 of 369] Compiling Agda.TypeChecking.Rules.LHS.Unify ( src/full/Agda/TypeChecking/Rules/LHS/Unify.hs, dist/build/Agda/TypeChecking/Rules/LHS/Unify.o )
cabal: Leaving directory '/tmp/cabal-tmp-30263/Agda-2.6.1'
cabal: Error: some packages failed to install:
Agda-2.6.1 failed during the building phase. The exception was:
ExitFailure (-9)
This may be due to an out-of-memory condition.

1 Ответ

4 голосов
/ 29 мая 2020

Ах, голод памяти GH C неисчерпаем ...

То, что я обычно делаю для более крупных установок, вряд ли ограничивает GH C s -M (или, возможно, до 80% от общей памяти), но убедитесь, что у него действительно есть все это доступное для каждого процесса, ограничив компиляцию одним процессом. 

cabal install --ghc-options="+RTS -M7G" <b>-j1</b> --force-reinstalls agda
* 1006 в общем все получится.
...