Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Coq Ocaml version

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq Ocaml version


Chronological Thread 
  • From: Emilio Jesús Gallego Arias <e AT x80.org>
  • To: Xuanrui Qi <xqi01 AT cs.tufts.edu>
  • Cc: coq-club AT inria.fr, Laurent Thery <Laurent.Thery AT inria.fr>
  • Subject: Re: [Coq-Club] Coq Ocaml version
  • Date: Fri, 15 Mar 2019 18:29:59 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e AT x80.org; spf=Pass smtp.mailfrom=e AT x80.org; spf=Pass smtp.helo=postmaster AT x80.org
  • Ironport-phdr: 9a23:ctNfTByW/FcFyTTXCy+O+j09IxM/srCxBDY+r6Qd2+oVIJqq85mqBkHD//Il1AaPAdyDraodw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94DPbwlSmDaxfK55IQmrownWqsQYm5ZpJLwryhvOrHtIeuBWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbOSxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDtU7s6RSqt4LtqSB/wiScIKTg58H3MisdtiK5XuQ+tqwBjz4LRZoyeKfhwcb7Hfd4CRWRPQNtfVytPAo2ybYQBDOQOMulEoITmu1sCsQGzCRWwCO71yDJFgGL9060g0+QmFAHLxAMuH9cPsHTQrdX1M78dX+Srw6nT1y3DdOtZ1zbn54jMdhAuv/6MXbVofsfN00kvFhnKjk6NooHiITyYzesMvmuH4+Z6UuKvkWEnphh3rzOyxckskpHEip8Wx13H7yl13pg5KNyiREJmY9OoDYFcuzyUOodoWs8uXm9ltSQgxrEbvZO2czIGxZYpyhLFdfCLbYiF7xT+X+iLOzh4nmhqeLenihay70egzur8W9G70VtJsiZJiN7MtmoC1xDL68iHTOVy/lu51DqS1A3e6ftILV4qmafaMZIt37w9mocJvUjeECL6hl36jKqMeUUl/uio5f7nYrLjppKEKYB5kQ7/P6cylsClBuQ4KAcOU3CB+eugzL3j4VH5QLJSg/0qkqnWroraJMQAq6+4Ag9V150s6wylADu80dQYm2MHLFNfdx6dgYjpIUnEIOrkAvenn1SsjDBryujaMb3mG5XBN2TMkLP8fblm8ENc0woyzdVH551OEL0BIfTzWlXwtNPCFBM5PRa0kK7bD4BNy4oYQ3+OSpaYePfCqF7Qv8okOK+QeYEJo3DwJ+VztND0inpstFoceaiu6rkac+KjKdtvJ0GUbn3bq80AGHxC6gcWXLyyzlqYXmgAND6JQ6sg62RjW8qdBoDZS9Xo2eTZhXbpLthtfmlDT2u0PzLtfoSAVe0LbXPAMp851DseWur4EtNz5VSVrAb/joFfAK/M4CRJ54KzjJ5y/eKBzUhvpwwxNNyU1iS2d08xnm4MQG5kzPAn50tnxQXa3A==
  • Organization: X80 Heavy Industries

Xuanrui Qi
<xqi01 AT cs.tufts.edu>
writes:

> But beware that this configuration can make compiling Coq consume a lot
> of memory (on my machine, up to 15G). If you don't have a lot of
> memory, compilation will fail.

Are you sure you are using the configuration I posted?

E.



Archive powered by MHonArc 2.6.18.

Top of Page