coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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.
- Re: [Coq-Club] Coq Ocaml version, (continued)
- Re: [Coq-Club] Coq Ocaml version, Xuanrui Qi, 03/14/2019
- Re: [Coq-Club] Coq Ocaml version, Laurent Thery, 03/15/2019
- Re: [Coq-Club] Coq Ocaml version, Théo Zimmermann, 03/15/2019
- Re: [Coq-Club] Coq Ocaml version, Gaëtan Gilbert, 03/15/2019
- Re: [Coq-Club] Coq Ocaml version, Ian, 03/15/2019
- Re: [Coq-Club] Coq Ocaml version, Théo Zimmermann, 03/15/2019
- Re: [Coq-Club] Coq Ocaml version, Emilio Jesús Gallego Arias, 03/15/2019
- Re: [Coq-Club] Coq Ocaml version, Emilio Jesús Gallego Arias, 03/15/2019
- Re: [Coq-Club] Coq Ocaml version, Théo Zimmermann, 03/15/2019
- Re: [Coq-Club] Coq Ocaml version, Emilio Jesús Gallego Arias, 03/15/2019
- Re: [Coq-Club] Coq Ocaml version, Laurent Thery, 03/16/2019
- Re: [Coq-Club] Coq Ocaml version, Laurent Thery, 03/15/2019
- Re: [Coq-Club] Coq Ocaml version, Emilio Jesús Gallego Arias, 03/15/2019
- Re: [Coq-Club] Coq Ocaml version, Xuanrui Qi, 03/14/2019
Archive powered by MHonArc 2.6.18.