[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] Can one use malfunction with mirageos?



The previous example worked because ```Import``` didn't use any code from the ForeignCode module.
Unfortunately, mirage cannot detect the dependency to ForeignCode, so when It tries to create the file
```main.native``` , it does not include it and the compilation/linking fails.

```
+ ocamlfind ocamlopt -g -linkpkg -g -thread -package zarith -package uutf -package uunf.string -package uunf -package uucp -package mirage-unix -package mirage-types-lwt -package mirage-types -package mirage-runtime -package mirage-logs -package mirage-clock-unix -package lwt -package logs.lwt -package logs -package functoria-runtime -package duration -predicates mirage_unix UniK.cmx key_gen.cmx unikernel.cmx main.cmx -o main.native
File "_none_", line 1:
Error: No implementations provided for the following modules:
         ForeignCode referenced from UniK.cmx, unikernel.cmx, main.cmx
Command exited with code 2.
run ['ocamlbuild' '-use-ocamlfind' '-classic-display' '-tags'
     'predicate(mirage_unix),warn(A-4-41-42-44),debug,bin_annot,strict_sequence,principal,safe_string,thread,color(always)'
     '-pkgs'
     'duration,functoria-runtime,logs,logs.lwt,lwt,mirage-clock-unix,mirage-logs,mirage-runtime,mirage-types,mirage-types-lwt,mirage-unix,uucp,uunf,uunf.string,uutf,zarith'
     '-cflags' '-g' '-lflags' '-g' '-tag-line' '<static*.*>: warn(-32-34)'
     '-X' '_build-solo5-hvt' '-X' '_build-ukvm' 'main.native']: exited with 10
Makefile:18: recipe for target 'build' failed
make: *** [build] Error 1
```

If I execute the last command manually and add the file (ForeignCode.cmx) , it works for the ```unix``` target. For the other targets, there is more work to be done after that command.

Is there a way to resolve this issue?


On Thu, Oct 25, 2018 at 9:29 PM Apostolis Xekoukoulotakis <apostolis.xekoukoulotakis@xxxxxxxxx> wrote:
It worked!!  I performed these steps for it to work.
```
mirage configure -t ukvm
agda-ocaml --mlf --cmx Import.agda
```
Then I move the compiled output inside _build.
The generated Import.mli , I keep inside the initial directory because it seems that it is needed there.

then I execute :
```
make depend
make
```

and it works.

Do you have any suggestions on the placement of files? or the workflow?
(For example, It would be nice if packages set at config.ml were also passed to agda-ocaml.)

Other than that, let's have some fun writing a server in Agda.

On another note , I think that I need to compile Agda' IO monad into Lwt.

On Thu, Oct 25, 2018 at 1:56 PM Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:
>
> In order to compile test.ml I execute this command :
>
> ```
> ocamlfind ocamlopt -linkpkg -package zarith,uucp,uutf,uunf,uunf.string ForeignCode.cmx Import.cmx test.ml
> ```
>
> How would I perform the last step with mirage?

The easiest way is to start to adapt the hello world example[1]

You can add zarith and unicode dependencies in config.ml like that:

```

let packages = [
  package "zarith";
  package "uucp";
  package "uutf";
  package ~sublibs:["string"] "uunf";
]

let () =
  register ~packages "hello" [main $ default_time]
```

And then modify unikernel.ml to call Import.bold: ocamlbuild will automatically detect the dependency and build things in the right order:

```
Logs.info (fun f -> f Import.bold)
```

Hope that helps,
Thomas

[1]: https://github.com/mirage/mirage-skeleton/tree/master/tutorial/hello

>
>
>
> On Wed, Oct 3, 2018 at 6:52 PM Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
> Haven’t directly tried it, bit it should work fine.  Let us know if you run into any linking issues with the cmx.
>
> Anil
>
>> On 3 Oct 2018, at 15:47, Apostolis Xekoukoulotakis <apostolis.xekoukoulotakis@xxxxxxxxx> wrote:
>>
>> Hello, everyone, has anyone used malfunction (https://github.com/stedolan/malfunction)
>> to create a mirage unikernel?
>>
>> malfunction creates either an executable or a ".cmx" file. (or possibly code in flambda, but this will require to fork malfunction.)
>>
>> (I am trying to compile agda to malfunction and OCaml to eventually create a mirage unikernel.)
>> _______________________________________________
>> MirageOS-devel mailing list
>> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
>> https://lists.xenproject.org/mailman/listinfo/mirageos-devel
>
> _______________________________________________
> MirageOS-devel mailing list
> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
> https://lists.xenproject.org/mailman/listinfo/mirageos-devel

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

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.