Как обновить Ocaml до последней версии для поддержки QuickChick в Coq? - PullRequest
0 голосов
/ 02 мая 2019

Когда я установил QuickChick из opam, я получил:

Не удалось встретить следующие зависимости:

  • coq-quickchick → ocaml> = 4.04.0

    база этого переключателя (используйте --unlock-base для принудительного включения)

Как обновитьocaml до последней версии для поддержки QuickChick без нарушения конфигурации Coq?


which ocaml:

/ home / hengxin / opam-coq.8.9.0 / ocaml-base-compiler.4.02.3 / bin / ocaml

opam list: opam-list

Ответы [ 2 ]

1 голос
/ 03 мая 2019

Если я не ошибаюсь, использование предложенной опции (--unlock-base) позволит opam обновить версию ocaml и сохранить тот же переключатель. Однако, поскольку почти все пакеты зависят от пакета ocaml, операция фактически переустановит все пакеты, поэтому вы не получите много от w.r.t. создание нового переключателя.

Если вы попробуете этот способ, вам, возможно, придется впоследствии блокировать некоторые пакеты (например, ocaml), чтобы не изменять их в обычных операциях с opam (я не помню, является ли --unlock-base временным или постоянным) .

0 голосов
/ 02 мая 2019

Я очень боюсь, @hengxin, что вам может понадобиться создать новый переключатель; с другой стороны, это ничего не должно испортить, если только у вас нет особой настройки.

...