<rudenois_>
I'm attempting to get a development environment going inside Alpine Linux but getting some build errors with the skeleton apps.
<rudenois_>
Your request can't be satisfied:
<rudenois_>
- No package matches mirage-conduit.
<rudenois_>
Any help much appreciated. I'm the guy standing, downstairs.
rudenois_ has quit [Remote host closed the connection]
<Leonidas>
heh, tried removing camlp4 from nocrypto, turns out I can into a case where camlp4 and ocaml disagree on what is valid syntax.
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<hannes>
Leonidas: yes.. there's also a ppx branch... wait for pqwy to wake up
<Leonidas>
hannes: oops, I totally missed both branches.
tomboy64 has joined #mirage
<yomimono>
can someone have a look at https://github.com/mirage/mirage-skeleton/pull/123 really quick? I think it's the reason the CI checks are failing for multiple PRs in mirage-skeleton, mirage-tcpip, etc
<yomimono>
I'd like to merge it but not without review
<thomasga>
I plan to remove the auto-load camlp4 thing in mirage, this starts to be annoying
<yomimono>
:D
<hannes>
merged
djs55 has quit [Quit: Leaving.]
<yomimono>
thanks hannes! :)
* maker
ocamlp4 stack overflow
lobo has quit [Quit: leaving]
rudenoise has joined #mirage
rudenoise has quit [Remote host closed the connection]
rudenoise has joined #mirage
lobo has joined #mirage
aantron has joined #mirage
thomasga has quit [Quit: Leaving.]
tomboy64 has quit [Ping timeout: 276 seconds]
apluke has quit [Ping timeout: 248 seconds]
tomboy64 has joined #mirage
tekess has joined #mirage
tomboy65 has joined #mirage
thomasga has joined #mirage
tomboy64 has quit [Ping timeout: 260 seconds]
tomboy65 has quit [Ping timeout: 244 seconds]
tomboy65 has joined #mirage
thomasga has quit [Quit: Leaving.]
tekess has quit [Ping timeout: 248 seconds]
rudenoise has quit [Remote host closed the connection]
djs55 has joined #mirage
rudenoise has joined #mirage
apluke has joined #mirage
thomasga has joined #mirage
<hannes>
re
jgjl has joined #mirage
yomimono has quit [Read error: Connection reset by peer]
yomimono has joined #mirage
<thomasga>
djs55: if you plan to release a new version of cstruct maybe it's a good idea to drop camlp4 completely as well :-)
<djs55>
:) yup I was hoping to make a release after dealing with as many issues as possible
<djs55>
I was going to ask about that - is it safe enough to drop camlp4 and go ppx-only?
<thomasga>
I think that's a good plan
<djs55>
ok, full speed ahead on ppx it is then ;)
<thomasga>
it'd be quite painful but we have to do it at one point...
<thomasga>
let's do it while I have 4 days to work on mirage full time :-)
<hannes>
we need to fixup the reverse dependencies to depend on a 1.9 cstruct then
<thomasga>
yep
<hannes>
but I'm happy to drop the camlp4. cenum works fine for me in tls and otr..
<hannes>
(someone will need to update tcp/ip and other dependencies with cstruct-ppx... but we're enough people I think :)
yegods has quit [Remote host closed the connection]
reynir1 has joined #mirage
Khady_ has joined #mirage
Druup has joined #mirage
reynir has quit [Ping timeout: 246 seconds]
Drup has quit [Ping timeout: 246 seconds]
Khady has quit [Ping timeout: 246 seconds]
<cuvius>
I currently have a unikernel parameterised by a STACKV4 where I would like to handle No_route_to_destination_address-exceptions. Is there a simpler approach than adding more parameters to the unikernel and constructing an IPV4 module to get access to the type definition of No_route_to_destination_address? Seems very complicated to accomplish something
<djs55>
I personally think that exception should be removed. It can happen anytime, for example when a TCP timer fires and a background thread attempts a retransmit: https://github.com/mirage/mirage/issues/506 I think we should have some other kind of error feedback mechanism (perhaps an error callback?) and drop the packet rather than fail the thread
yegods has joined #mirage
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
rudenoise has quit [Remote host closed the connection]
rudenoise has joined #mirage
rudenoise has quit [Remote host closed the connection]
rudenoise has joined #mirage
jgjl has joined #mirage
thomasga has joined #mirage
apluke has joined #mirage
apluke has quit [Ping timeout: 250 seconds]
tomboy64 has quit [Ping timeout: 240 seconds]
tomboy65 has joined #mirage
yomimono has joined #mirage
<lobo>
Leonidas: just seen your tweet about your broken laptop. i have a spare thinkpad x61s here, where i could install ubuntu or debian and bring it with me if that helps
thomasga1 has joined #mirage
yomimono_ has joined #mirage
jgjl_ has joined #mirage
rudenois_ has joined #mirage
thomasga has quit [Ping timeout: 276 seconds]
yomimono has quit [Ping timeout: 250 seconds]
jgjl has quit [Ping timeout: 240 seconds]
rudenoise has quit [Ping timeout: 240 seconds]
<Leonidas>
lobo: that'd be AWESOME!
<Leonidas>
lobo: some debian would be really really neat.
<lobo>
Leonidas: sure. any other preferences? stable/testing/?? it has an intel core2duo with about 4 gb ram. but just a crappy 1024x768 screen res
rudenoise has quit [Remote host closed the connection]
seangrove has joined #mirage
abeaumont_ has quit [Ping timeout: 276 seconds]
mcclurmc has quit [Ping timeout: 248 seconds]
thomasga has quit [Quit: Leaving.]
brson has joined #mirage
mcclurmc has joined #mirage
mcclurmc has quit [Ping timeout: 240 seconds]
thomasga has joined #mirage
jermar has joined #mirage
beaumonta has joined #mirage
beaumonta is now known as abeaumont_
rudenoise has joined #mirage
<maker>
lol
dothraki__ has joined #mirage
<lobo>
hannes: i'll arrive tomorrow at around 14:15 at the airport. i'll just send an sms as soon as i'm leaving the airport or ask here in the irc if someone got spare time to pick me up at Jeema el Fna
<hannes>
lobo: great!
tekess has joined #mirage
yegods has quit [Remote host closed the connection]
dothraki__ is now known as yomimono
tomboy64 has joined #mirage
mort___ has joined #mirage
tomboy65 has quit [Ping timeout: 240 seconds]
rudenoise has quit [Remote host closed the connection]
apluke has joined #mirage
<aggelos_>
umm
<aggelos_>
what does the tc in mirage-tc stand for?
<aggelos_>
can't say it's easy to remember atm :)
rudenoise has joined #mirage
tomboy65 has joined #mirage
<yomimono>
typeclasses, I think?
tomboy64 has quit [Ping timeout: 250 seconds]
<aggelos_>
well
<aggelos_>
for a package with the description
<aggelos_>
A set of functors and combinators to pretty-print (using sexplib), to
<aggelos_>
convert to and from and JSON and Cstruct buffers.
<aggelos_>
"tc" seems pretty cryptic
<aggelos_>
and typeclasses doesn't seem much more intuitive tbh
<aggelos_>
but perhaps I should clone it first
apluke has quit [Ping timeout: 268 seconds]
tomboy64 has joined #mirage
tomboy65 has quit [Ping timeout: 260 seconds]
mcclurmc has joined #mirage
rudenoise has quit []
thomasga has quit [Quit: Leaving.]
apluke has joined #mirage
Algebr` has joined #mirage
tomboy65 has joined #mirage
tomboy64 has quit [Ping timeout: 240 seconds]
seangrove has quit [Ping timeout: 248 seconds]
abeaumont_ has quit [Ping timeout: 248 seconds]
yomimono has quit [Ping timeout: 250 seconds]
beaumonta has joined #mirage
beaumonta is now known as abeaumont_
tomboy65 has quit [Ping timeout: 244 seconds]
tomboy65 has joined #mirage
yegods has joined #mirage
tomboy64 has joined #mirage
yegods has quit [Remote host closed the connection]
yegods has joined #mirage
tomboy65 has quit [Ping timeout: 244 seconds]
yegods has quit [Remote host closed the connection]
tomboy65 has joined #mirage
yegods has joined #mirage
tomboy64 has quit [Ping timeout: 252 seconds]
tomboy65 has quit [Ping timeout: 268 seconds]
tomboy66 has joined #mirage
apluke has quit [Ping timeout: 276 seconds]
wiredsister has joined #mirage
wiredsis` has joined #mirage
Algebr`` has joined #mirage
tekess` has joined #mirage
wiredsister has quit [Ping timeout: 244 seconds]
Algebr` has quit [Ping timeout: 244 seconds]
tekess has quit [Ping timeout: 244 seconds]
abeaumont_ has quit [Ping timeout: 264 seconds]
thomasga has joined #mirage
beaumonta has joined #mirage
beaumonta is now known as abeaumont_
seangrove has joined #mirage
seangrove has quit [Ping timeout: 240 seconds]
tomboy64 has joined #mirage
tomboy66 has quit [Ping timeout: 240 seconds]
wiredsis` has quit [Ping timeout: 268 seconds]
<mort___>
Druup: are there any more extensive examples of using functoria w/ mirage?
<Druup>
mort___: than mirage-www ?
<mort___>
specifically — how to create a kv_ro device given a configure time option
<Druup>
what's the option ?
<mort___>
yeah, looking through mirage-www but can't figure it out
<mort___>
for the tftp server, i'd like to pass in the directory with the files to serve
<mort___>
so my first thought was that i'd create a key, and then pass the value it contains to generic_kv_ro
<mort___>
given that the contents might be served as a pass through fs on unix, or as a fat or crunch device on unix or xen
<Druup>
So, the issue is that you can't make a device handle more keys than for what it was intended
<Druup>
kv_ro doesn't take the directory as an 'a value, so you can't make it without changing the implementation
<mort___>
ok
<mort___>
at least i'm not missing something obvious
<Druup>
You have the right to change the implementation, though :p
<mort___>
so this is something that ought to be changed in mirage
<Druup>
Yes. I don't know how easy it will be. I think the best way for now is just to take one of the kv_ro implementation, copy it in your config.ml and tinker
<mort___>
ok
<mort___>
how do i extract a value from a key though?
<mort___>
since itll be in the generated key_gen.ml won't it?
<mort___>
so can't be accessed in teh config.ml
<Druup>
You absolutely have the right to create a new device inside your config.ml and access things in it, using the usual rules of devices
<Druup>
Since the methods of the devices are called by the engine when aprorpiate
<Druup>
You use Key.gen, which takes the config, which is accessible through Info.config
<Druup>
Look at the network device
<Druup>
it's simple and it's quite similar to what you want, so it should give you a good idea
tekess` has quit [Ping timeout: 268 seconds]
abeaumont_ has quit [Ping timeout: 260 seconds]
<mort___>
ok. so i'd end up creating something like network_conf that takes as parameter a `string Key.key` which would be the parameter the user would set
<Druup>
Yes.
<mort___>
and then something like the `netif` function that would be used instead of generic_kv_ro
<mort___>
ok
tomboy64 has quit [Ping timeout: 244 seconds]
tomboy65 has joined #mirage
seangrove has joined #mirage
miragebot has joined #mirage
<miragebot>
[mirage] samoht pushed 4 new commits to master: https://git.io/vac8s
<miragebot>
mirage/master 64e186a Thomas Gazagnaire: Do not auto-load camlp4
<miragebot>
mirage/master 9906da4 Thomas Gazagnaire: clean-up ocamlbuild tags...
<miragebot>
mirage/master 5b0ad38 Thomas Gazagnaire: Disable warning 32 on crunch files
miragebot has left #mirage [#mirage]
seangrove has quit [Ping timeout: 246 seconds]
<thomasga>
ok so mirage-skeleton doesn't use camlp4 anymore and compile with all warning-as-errors enabled
<thomasga>
and mirage master doesn't force to use camlp4 anymore and add warning-as-errors per default. (I can change the warning-as-error stuff, if that's too annoying but I think that's better to keep it). These can be disabled by adding some magic runes in Makefile.user if needed…
mort___ has quit [Quit: Leaving.]
<Druup>
thomasga: just don't enable all the warnings, only the same as functoria
<thomasga>
I've put the same as ocaml-git actually
<Druup>
thomasga: btw, there is a bug report about some problematic warnerror for 4.03