Re: [MirageOS-devel] REST-API framework

2016-02-14 Thread Hannes Mehnert
On 02/14/16 01:29 PM, Sven Anderson wrote: >> Am 13.02.2016 um 13:57 schrieb Richard Mortier >> : >> We should update those instructions then. Please could you file an >> issue to remind us to do so? But yes-- that's a lower bound on the >> version :) > > There’s an issue already: https://github.

Re: [MirageOS-devel] REST-API framework

2016-02-14 Thread Spiros Eliopoulos
(re-added the list, as they'll probably know the answers to mirage-related libraries than I) I think the module you're looking for comes from mirage-http[0]. Specifically, the Cohttp_mirage_io module. -Spiros E. [0]: https://github.com/mirage/mirage-http On Sun, Feb 14, 2016 at 8:45 AM, Sven An

Re: [MirageOS-devel] REST-API framework

2016-02-14 Thread Sven Anderson
Hi Richard, > Am 13.02.2016 um 13:57 schrieb Richard Mortier : > > On 12 February 2016 at 22:41, Sven Anderson wrote: >>> Am 12.02.2016 um 23:33 schrieb rudi.grinb...@gmail.com: >>> >>> Hi Sven, you should probably install ocaml 4.02.3 from opam. >> >> I specifically installed 4.01.0 as descri

Re: [MirageOS-devel] REST-API framework

2016-02-13 Thread rudi . grinberg
Originally, I just stated that opium needs a couple of simple changes to make all the Unix stuff optional (none of it is essential). But it looks like I was misinformed about the status of core_kernel. On February 13, 2016 at 9:16:53 AM, Ashish Agarwal (agarwal1...@gmail.com) wrote: Rudi, can

Re: [MirageOS-devel] REST-API framework

2016-02-13 Thread Anil Madhavapeddy
There are still a few minor C stubs left in Core_kernel (around Bigarray handling). It doesn't quite work out of the box if you link it yet in Xen mode, last I tried. Anil > On 13 Feb 2016, at 14:16, Ashish Agarwal wrote: > > Rudi, can you explain further. Do you mean that core_kernel curren

Re: [MirageOS-devel] REST-API framework

2016-02-13 Thread Ashish Agarwal
Rudi, can you explain further. Do you mean that core_kernel currently doesn't support mirage but that some minor fixes will make it mirage compatible? On Fri, Feb 12, 2016 at 6:15 PM, wrote: > The last real obstacle was core_kernel. At this point there’s some minor > obstacles remaining to make

Re: [MirageOS-devel] REST-API framework

2016-02-13 Thread Richard Mortier
On 12 February 2016 at 22:41, Sven Anderson wrote: >> Am 12.02.2016 um 23:33 schrieb rudi.grinb...@gmail.com: >> >> Hi Sven, you should probably install ocaml 4.02.3 from opam. > > I specifically installed 4.01.0 as described in > https://mirage.io/wiki/install , because I assumed mirage only wor

Re: [MirageOS-devel] REST-API framework

2016-02-12 Thread rudi . grinberg
The last real obstacle was core_kernel. At this point there’s some minor obstacles remaining to make sure some Unix specific bits are factored well enough (e.g. Cmdliner/file serving). Cheers, Rudi. On February 12, 2016 at 6:13:43 PM, Sean Grove (s...@bushi.do) wrote: When you say that Opium

Re: [MirageOS-devel] REST-API framework

2016-02-12 Thread Sean Grove
When you say that Opium isn't ready for Mirage, is there an issue tracking what's outstanding? I was hoping to use it in a Mirage starter-project for a workshop next month. On Fri, Feb 12, 2016 at 2:05 PM, Sven Anderson wrote: > Hi, > > I’d like to write a simple REST-API (the typical HTTP/json

Re: [MirageOS-devel] REST-API framework

2016-02-12 Thread Sven Anderson
> Am 12.02.2016 um 23:33 schrieb rudi.grinb...@gmail.com: > > Hi Sven, you should probably install ocaml 4.02.3 from opam. I specifically installed 4.01.0 as described in https://mirage.io/wiki/install , because I assumed mirage only works with this version. But maybe I misunderstood and it mu

Re: [MirageOS-devel] REST-API framework

2016-02-12 Thread rudi . grinberg
Hi Sven, you should probably install ocaml 4.02.3 from opam. On February 12, 2016 at 5:32:39 PM, Sven Anderson (s...@anderson.de) wrote: Dear Spiros, > Am 12.02.2016 um 23:18 schrieb Spiros Eliopoulos : > > Webmachine should work with mirage out of the box. Its only dependencies are > co

Re: [MirageOS-devel] REST-API framework

2016-02-12 Thread Sven Anderson
Dear Spiros, > Am 12.02.2016 um 23:18 schrieb Spiros Eliopoulos : > > Webmachine should work with mirage out of the box. Its only dependencies are > cohttp, dispatch, and re, all of which should not pose a problem. Now, as to > whether or not its overkill for your use-cases, I couldn’t possibly

Re: [MirageOS-devel] REST-API framework

2016-02-12 Thread Spiros Eliopoulos
Webmachine should work with mirage out of the box. Its only dependencies are cohttp, dispatch, and re, all of which should not pose a problem. Now, as to whether or not its overkill for your use-cases, I couldn't possibly comment on that. -Spiros E. On Fri, Feb 12, 2016 at 5:05 PM, Sven Anderson