<d_bot>
<dinosaure> so as I said, `ocaml-gmp` is just a _meta_ package to _vendor_ `libgmp.a`. If you want to have GMP from the host system, you just need to depend on `conf-gmp` - then, `opam depext` will install for you the distribution package needed.
<d_bot>
<dinosaure> `ocaml-gmp` is mostly to be able to compile `libgmp.a` with certain flags depending on the `dune` context. By this way, we allow the cross-compilation of it, needed for our TLS stack specially (`mirage-crypto`)
<d_bot>
<dinosaure> I think but I'm not sure, they use `mlgmpidle`
<d_bot>
<dinosaure> this is the only package where `mpz.cm*` is defined
<d_bot>
<Kakadu> Yeah, `opam reinstall mlgmpidl` helped. But it was not obvious that I need that package.
<d_bot>
<dinosaure> That's true, I think you should advise the maintainer of this piece of code 🙂
<d_bot>
<Kakadu> Thanks anyway 🙂
bartholin has quit [Ping timeout: 245 seconds]
xd1le has quit [Quit: xd1le]
bartholin has joined #ocaml
chrisz has joined #ocaml
chrisz has quit [Client Quit]
chrisz has joined #ocaml
rond_ has joined #ocaml
gravicappa has quit [Ping timeout: 265 seconds]
mro has joined #ocaml
mro has quit [Ping timeout: 252 seconds]
bartholin has quit [Ping timeout: 265 seconds]
<andreypopp>
Is is possible to report a syntax error programmatically from an action in menhir?
gravicappa has joined #ocaml
mro has joined #ocaml
bartholin has joined #ocaml
mro has quit [Remote host closed the connection]
<companion_cube>
You could raise the parse error exception maybe
hendursaga has quit [Remote host closed the connection]
olle has joined #ocaml
bartholin has quit [Ping timeout: 245 seconds]
mro has joined #ocaml
Nahra has quit [Remote host closed the connection]
Nahra has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
hendursaga has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
Corbin has quit [Ping timeout: 245 seconds]
gravicappa has quit [Ping timeout: 245 seconds]
rks`_ has joined #ocaml
rks` has quit [Ping timeout: 245 seconds]
mro_ has joined #ocaml
mro_ has quit [Remote host closed the connection]
mro_ has joined #ocaml
mro has quit [Ping timeout: 260 seconds]
<reynir>
lobo: thanks, I went with :hardcopy. I just needed something quick for reviewing some code away from the computer. I'll definitely keep that in mind for next time :)
jaitoon has joined #ocaml
wonko has quit [Ping timeout: 245 seconds]
kurfen has quit [Ping timeout: 245 seconds]
kurfen has joined #ocaml
mro_ has quit [Remote host closed the connection]
mro has joined #ocaml
kurfen has quit [Quit: WeeChat 2.3]
mro has quit [Quit: Leaving...]
Serpent7776 has quit [Quit: leaving]
oriba has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]