I am currently running opam install coq on the mac, and the error is not discharged, but it seems that the make has not been completed even after waiting for two hours.So I'd like to ask you, how long does it usually take to install Coq? I want to make it clear whether the setup is wrong or if the coq is too big and it's just taking a long time to make.Here's how it works.
$opam list
Packages matching:installed
Name Installed Synopsis
base-bigarray base
base-threads base
base-unix base
camlp57.06.10-g84ce6cc4 Preprocessor-pretty-printer of OCaml
conf-m41 Virtual package releasing on m4
num1.1 The legacy Num library for arbitrary-precision integer an
ocaml 4.07.1 The OCaml compiler (virtual package)
ocaml-config 1 OCaml Switch Configuration
ocaml-system 4.07.1 The OCaml compiler (system version, from outside of opam)
ocamlfind 1.8.0 Library manager for OCaml
$ opam install coq
The following actions will be performed:
∗ install coq 8.9.1
<>>Gathering sources>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
[coq.8.9.1] found in cache
<>>Processing actions>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
Processing 1/2: [coq:make]
The environment is
OS→OSX, memory→8G
Both opam, coq, and stackoverflow are beginners.I would appreciate it if you could let me know if there are any errors.Thank you for your cooperation.
macos ocaml
Simply opam install coq doesn't seem to take that long.
I don't have a Mac environment, so I measured it using the time command in Ubuntu environment, and it was about 10 minutes.
$ time opam install coq
The following actions will be performed:
∗ install coq 8.9.1
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[coq.8.9.1] found in cache
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
∗ installed coq.8.9.1
Done.
real 3m54.431s
user 10m26.815s
sys 1m53.153s
My environment:
opam --version)opam switch)
© 2024 OneMinuteCode. All rights reserved.