coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Emilio Jesús Gallego Arias <e AT x80.org>
- To: Laurent Thery <Laurent.Thery AT inria.fr>
- Cc: Xuanrui Qi <xqi01 AT cs.tufts.edu>, coq-club AT inria.fr
- Subject: Re: [Coq-Club] Coq Ocaml version
- Date: Fri, 15 Mar 2019 18:29:31 +0100
- Authentication-results: mail3-smtp-sop.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:kV0eohIPL7e+VNDtX9mcpTZWNBhigK39O0sv0rFitYgeK/zxwZ3uMQTl6Ol3ixeRBMOHsqoC07OempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffhlEiCChbb9vMR67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QKsqUjq+8ahkVB7oiD8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJBUMhPSiJBBY28YYUNAOQCM+lXoJXyqkASrReiHwSgGP/jxyVKi3LwwKY00/4hEQbD3AE4ENwOtXXUrNH0NKcVSe+7yLfHzS7Zd/NNwTjz6ZLHchQlof6SUrJwdtLexFU1FwPElFqQspHuMjSL2ekWvGmW7PZsWfioi249pAF8uz6izdovhInRno8Z11PJ+CZjzIorO9G1SVR3bcOmHZdNrS2WKoV7Tt06T211tis3yKcKtYO/cSUF0pgqxRDSZ+aZf4SW4h/uUvuaLy1ii3J/Yr2/gg6/8Ui+xe34Ucm5yFlLoylZntXWsXANzRPT5tCGSvt74EihxS6C2x3Q5+xHO0w4i7TXJp87zrItlJcfrF7PEjL4lUnolKOWc18r+ums6+TpeLXmoZqcOpdqhQzlPaUjmdCzDf4/MggUUGiX4f6826H7/U3lXLVKieU7nbXesJDDPMgUuqq5AxJO3Ys48Ba+DzKm0MwCknUdLVJFfgiHj4nzNF3ULvD4F++1g06wnzdz2/DGIrrhD43RLnjDjrjhZ7Z85lVdyQoyyNBQ/IhUBasbLPLyXE/xrt3YAQUjPwy62ea0QOl6g6cXRHiCBLPRDKPfq07AssYmPvOBYpNThDbwMekN5vj0jHZ/l0VLLoez2p5CRXW5GvVhFGeUeuj3tfgIFWMHsQ0JZfbrgUbKBTN7dybqGaUm6WdoW8qdEY7fS9X10/S61yChE8gTPzgeUwHeITLTb4yBHsw0RmeXK85lnCYDUOnzW995kxa0u12jkuY1Hq/v4iQd8Knb+p1t/eSCxwFirXpzFcvPizjQHVExpXsBQnoN5I46oUF5zQbRwfggxftCGo4K6g==
- Organization: X80 Heavy Industries
Laurent Thery
<Laurent.Thery AT inria.fr>
writes:
> opam switch create 4.07.1+flambda
>
> but then how do I tell to use the optim
> "-flambda-opts '-O3 -unbox-closures'" to build Coq
>
> What should I write?
>
> opam install coq --???
I guess Laurent you can use `opam pin edit` to tweak configure in your
case.
E.
- Re: [Coq-Club] Coq Ocaml version, (continued)
- Re: [Coq-Club] Coq Ocaml version, CYRIL SIX, 03/14/2019
- Re: [Coq-Club] Coq Ocaml version, Emilio Jesús Gallego Arias, 03/14/2019
- 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.