Re: [MirageOS-devel] Mirage questions from writing a REST service

[Dave Scott <Dave.Scott@xxxxxxxxxx>]

On 9 Jul 2014, at 16:21, Thomas Leonard <talex5@xxxxxxxxx> wrote:

> On 8 July 2014 23:46, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
>> On 7 Jul 2014, at 10:08, Thomas Leonard <talex5@xxxxxxxxx> wrote:
>> 
>>> I'm writing a test Mirage service for queuing files. It's not using
>>> ThomasG's merge-queues - I'm just trying the low-level FS stuff first.
>>> 
>>> Some problems I found:
> [...]
>>> 4. Can I get mirage to generate a Makefile that builds and runs my
>>> unit-tests? I guess I can't run the unit-tests when in --xen mode,
>>> because some modules have conflicting names, but it would be nice in
>>> --unix mode at least.
>> 
>> Need some more details on the nature of these unit tests, as I don't
>> understand what you mean by 'conflicting names'.  Can each unit test
>> be compiled as a separate unikernel (so it'll work on Xen) via some
>> config.ml code?
> 
> I hadn't thought of running the tests on Xen, though that does make sense.
> 
> I'd need some way for OUnit to run tests that return a unit Lwt.t.

In OUnit test cases I normally use ‘Lwt_main.run’ to convert ‘unit Lwt.t’ into 
‘unit’.

HTH,
Dave

> 
> Also, it appears that calling register more than once overwrites the
> previous job, rather than configuring the project to build both (the
> unikernel and the tests).
> 
> 
> -- 
> Dr Thomas Leonard        http://0install.net/
> GPG: 9242 9807 C985 3C07 44A6  8B9A AE07 8280 59A5 3CC1
> GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA
> 
> _______________________________________________
> MirageOS-devel mailing list
> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel


_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel