Comments (4)
Thanks for the report, @johannesfrey . Did you execute make depend
between mirage configure
and make
?
from mirage-skeleton.
@yomimono yep I ran mirage configure -t unix --kv_ro=archive; make depend; make
I also tried it for xen and macosx targets, leading to the same error.
Btw. I'm running following versions:
opam 1.2.2, ocaml 4.04.0 and mirage 3.0.2.
Mac OSX 10.11.6, Ubuntu 16.04.2, Xen 4.6.5
from mirage-skeleton.
I ran that command (thank you for including it in your report!) and had no error output.
- opam 1.2.2, ocaml 4.05.0, mirage 3.0.5
- macOS 10.12.6
Can this issue be closed?
from mirage-skeleton.
thanks @olleolleolle -- some more investigation turns that since mirage 3.0.5 the constraint for tar was adjusted (to tar-mirage) in mirage/mirage@f726f13a0d025494933b9b05c411d4924ef5d830h
@johannesfrey could you please update your mirage to 3.0.5 and reopen in case the issue persists?
from mirage-skeleton.
Related Issues (20)
- [Opam] dns -> uri < 1.9.4 unmet dependency HOT 1
- ocamlfind: Package `conduit.mirage' not found HOT 4
- Compiling `static_website_tls` on Mac OS X fails HOT 3
- Networking relented example fails to run (unix & ukvm) HOT 5
- Hello world not working for virtio, ukvm and xen HOT 3
- building the lwt tracing branch fails HOT 4
- Evaluation of Unikernels HOT 4
- `device-usage/block` not linking on ukvm HOT 5
- make depend fails due to pkgconfig not detected HOT 4
- conduit_server/network unikernel crashes with page fault HOT 9
- Tutorial seems (partly) broken [hello] HOT 2
- static_website_tls does not respond on Mac HOT 4
- static web site demo not building under Ubuntu 16.04 with virtio HOT 13
- [aarch64] problem building the static_website_tls HOT 6
- HTTP_Fetch Example Hangs when run as a Unikernel on Solo 5 HOT 4
- A second run of `make` uses the `mirage` tool available into the `duniverse` repository
- device-usage/http-fetch tries ipv4 address even with --ipv6-only HOT 1
- The noop and hello examples donβt build without changes HOT 2
- device-usage/block issues HOT 1
- An example unikernel that just serves a website via HTTP would be great to have
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. πππ
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google β€οΈ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from mirage-skeleton.