Re: [MirageOS-devel] [mirage-platform] Switched to dietlibc's generic libm (4abf42d)

[Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx>]

> Note: it looks like opam is replacing symlinks with their targets.
> This prevents v1.1.1 from building on my machine, because the ocaml
> symlink is replaced by a directory, which confuses the build:

One workaround is to pin to the Git repository itself:

$ opam pin mirage-xen <local-path> -k git

I saw discussions about this some time ago, cc-ing Louis.

Thomas

> 
> ===== ERROR while installing mirage-xen.pinned =====
> # opam-version 1.1.1
> # os           linux
> # command      make xen-build
> # path         /home/tal/.opam/4.01.0/build/mirage-xen.pinned
> # compiler     4.01.0
> # exit-code    2
> # env-file     
> /home/tal/.opam/4.01.0/build/mirage-xen.pinned/mirage-xen-18778-7afd23.env
> # stdout-file  
> /home/tal/.opam/4.01.0/build/mirage-xen.pinned/mirage-xen-18778-7afd23.out
> # stderr-file  
> /home/tal/.opam/4.01.0/build/mirage-xen.pinned/mirage-xen-18778-7afd23.err
> ### stdout ###
> # ...[truncated]
> #                               - Building runtime/libocaml.mll
> #                       - Building runtime/libocaml.mlpack
> #               - Building runtime/libocaml.mllib
> #               - Building runtime/libocaml.clib
> #               - Building runtime/libocaml.cclib
> # Makefile:17: recipe for target 'build' failed
> # make[2]: Leaving directory
> '/home/tal/.opam/4.01.0/build/mirage-xen.pinned/xen'
> # Makefile:16: recipe for target 'build' failed
> # make[1]: Leaving directory '/home/tal/.opam/4.01.0/build/mirage-xen.pinned'
> # Makefile:37: recipe for target 'xen-build' failed
> ### stderr ###
> # make[2]: *** [build] Error 6
> # make[1]: *** [build] Error 2
> # make: *** [xen-build] Error 2
> 
> This makes it build:
> 
> $ cd ~/.opam/4.01.0/build/mirage-xen.pinned
> $ ls -ld xen/runtime/ocaml
> drwxr-xr-x 2 tal tal 4096 May  8 15:31 xen/runtime/ocaml
> $ rm -rf xen/runtime/ocaml
> $ ln -s ocaml.4.01.0 xen/runtime/ocaml
> $ make xen-build
> $ make xen-install
> 
> opam still doesn't think it's installed, though.
> 
> (work-around: disable the build target in xen/Makefile and let opam
> just install your already-built version)
> 
> There's a similar problem trying to use it with mini-os, which
> contains a symlink "mini-os -> ." which it can't expand.
> 
> 
> -- 
> 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