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: 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.



Archive powered by MHonArc 2.6.18.

Top of Page