Установка библиотеки для Coq через Opam на Windows - PullRequest
Новая
       77

Установка библиотеки для Coq через Opam на Windows

0 голосов
/ 05 мая 2020

Я ничего не знаю в программировании. Во время установки через библиотеку Opam Math Classes в Coq я получил ОШИБКУ. Я не знаю, что делать, понятия не имею. Та же ОШИБКА возникает, когда я пытаюсь установить Bignums или C -CoRN.

Не могли бы вы дать мне подсказку, совет или какой-либо план, как справиться с этим, пожалуйста.

Способ сборки и установки вручную на моем компьютере тоже не работает.

Возможно эта ОШИБКА, потому что я использовал установщик OCaml для Windows?

Сбой компиляции coq при 

    "/home/203/.opam/4.10.0/.opam-switch/build/coq.8.11.1/./configure
    -configdir /home/203/.opam/4.10.0/lib/coq/config -prefix
    /home/203/.opam/4.10.0 -mandir /home/203/.opam/4.10.0/man -docdir
    /home/203/.opam/4.10.0/doc -libdir /home/203/.opam/4.10.0/lib/coq
    -datadir /home/203/.opam/4.10.0/share/coq -coqide no".

ОШИБКА при компиляции coq. 8.11.1

context 2.0.4 | cygwin / x86_64 | ocaml-base-compiler.4.10.0 | https://opam.ocaml.org#88a179f5 путь ~ / .opam / 4.10.0 / .opam-switch / build / coq.8.11.1 команда ~ / .opam / 4.10.0 / .opam-switch / build / coq. 8.11.1 /./ configure -configdir /home/203/.opam/4.10.0/lib/coq/config -prefix /home/203/.opam/4.10.0 -mandir /home/203/.opam/4.10 .0 / man -docdir /home/203/.opam/4.10.0/doc -libdir /home/203/.opam/4.10.0/lib/coq -datadir /home/203/.opam/4.10 .0 / share / coq -coqide no

код выхода 2

env-файл ~ / .opam / log / coq-1451-e4db2f.env

output- файл ~ / .opam / log / coq-1451-e4db2f.out

вывод

0 [основной] ocamlrun 1488 child_info_fork :: abort: адресное пространство, необходимое для 'dll unix .so '(0x200000) уже занят

0 [main] ocamlrun 1489 child_info_fork :: abort: адресное пространство, необходимое для' dll unix .so '(0x200000), уже занято

0 [ main] ocamlrun 1490 child_info_fork :: abort: адресное пространство, необходимое для 'dll unix .so' (0x200000), уже занято

0 [main] ocamlrun 1491 child_info_fork :: abort: требуется адресное пространство по 'dll unix .so' (0x200000) уже занято

0 [main] ocamlrun 1492 child_info_fork :: abort: адресное пространство, необходимое для 'dll unix .so' (0x200000), уже занято

Я не могу автоматически найти имя вашей архитектуры.

Дайте мне имя, пожалуйста [win32 для Win95, Win98 или WinNT]: Исключение: End_of_file.

...