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

[MirageOS-devel] Building Mirage with an instrumented library



Hi,


I am experimenting with the basic Mirage tls server and mirage-profile. I would like to build Mirage using a custom instrumented cohttp library, hosted on a git repo.


I just forked the original repo with a branch (named it "latest") on the commit corresponding to the latest release of the library.


I tried to use the opam pin as follows:


opam pin add cohttp https://github.com/isstaif/ocaml-cohttp.git#latest


Although I have not modified the library yet, I unfortunately got the following error: (the application build successfully without pinning)


File "_none_", line 1:
Error: Files dispatch.cmx
       and /home/aati2/.opam/default/lib/cohttp/cohttp.cmxa
       make inconsistent assumptions over implementation Cohttp__Request
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'
     'cohttp-mirage,functoria-runtime,io-page,lwt,magic-mime,mirage-bootvar-unix,mirage-clock-unix,mirage-conduit,mirage-logs,mirage-profile,mirage-profile-unix,mirage-runtime,mirage-types,mirage-types-lwt,mirage-unix,nocrypto,nocrypto.lwt,tcpip,tcpip.stack-socket,tcpip.tcpv4-socket,tcpip.udpv4-socket,tcpip.unix,tls,tls.mirage,uri'
     '-cflags' '-g' '-lflags' '-g' '-tag-line' '<static*.*>: warn(-32-34)'
     '-Xs' '_build-solo5-hvt,_build-ukvm' 'main.native']: exited with 10
Makefile:18: recipe for target 'build' failed
make: *** [build] Error 1

I would be thankful if any one had a clue of what might had gone wrong, as I am still a beginner with Mirage 😊

Thanks,

Amjad

_______________________________________________
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®.