hannes changed the topic of #mirage to: MirageOS are OCaml unikernels - https://mirage.io - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.9.0 is released - happy hacking!
Haudegen has quit [Ping timeout: 264 seconds]
zmijunkie1 has joined #mirage
zmijunkie has quit [Ping timeout: 260 seconds]
reynir has quit [Ping timeout: 240 seconds]
reynir has joined #mirage
Haudegen has joined #mirage
mort___ has joined #mirage
_whitelogger has joined #mirage
mort___ has quit [Quit: Leaving.]
kensan has joined #mirage
mort___ has joined #mirage
jpds has quit [Remote host closed the connection]
jpds has joined #mirage
xuqzab[m] has quit [Quit: Bridge terminating on SIGTERM]
xuqzab[m] has joined #mirage
Haudegen has quit [Quit: Bin weg.]
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
<reynir> I'm getting an error complaining that I need to install one of the solo5-bindings-* when installing ocaml-freestanding.0.6.3, but I already have solo5-bindings-hvt installed https://paste.reyn.ir/p/yZYypz+brE8
<hannes> reynir: this is via opam? so opam info solo5-bindings-hvt shows that you have an installed version? is pkg-config installed? in your opam switch ~/.opam/<name>/lib/pkgconfig/ is there a solo5-bindings-hvt.pc ?
Haudegen has joined #mirage
<reynir> I decided to try upgrade ocaml on the switch from 4.08. I confirmed with opam show that solo5-bindings-hvt was installed. I'll check if the pkg-config file exists if I still have the problem after the upgrade
<reynir> hmm no, no .pc file or pkgconfig dir http://paste.reyn.ir/p/Ebsm9O+YXNw
<reynir> sorry, misread. lib/pkgconfig/solo5-bindings-hvt.pc exists
<hannes> and a "export PKG_CONFIG_PATH=~/.opam/<switch>/lib/pkgconfig ; pkg-config --cflags solo5-bindings-hvt" results in something sensible (exit code 0, some CFLAGS) ?
<reynir> hmm okay, "opam switch <switch-name>" solved it somehow?!
<reynir> I had run opam switch link earlier, and afterwards I ran opam switch to see if all was good, and it looked correct
zmijunkie1 has quit [Ping timeout: 272 seconds]
zmijunkie has joined #mirage
zmijunkie has quit [Ping timeout: 240 seconds]
zmijunkie has joined #mirage
jpds has quit [Remote host closed the connection]
jpds has joined #mirage
ehmry has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
ehmry has joined #mirage
Haudegen has quit [Quit: Bin weg.]
mort___ has quit [Quit: Leaving.]
Haudegen has joined #mirage
mort___ has joined #mirage
jpds has quit [Remote host closed the connection]
jpds has joined #mirage
mort___8859 has quit [Quit: Alpine Linux, the security-oriented, lightweight Linux distribution]
mort___8859 has joined #mirage