Coder Social home page Coder Social logo

mirage-dev's Introduction

Mirage Development OPAM Repository

This is an OPAM repository exporting development versions of the MirageOS libraries.

To make use of the latest, pre-release, in development version of Mirage simply add this repo as an OPAM repository and then update and upgrade:

opam repo add mirage-dev https://github.com/mirage/mirage-dev.git
opam update -yu

See https://ci.mirage.io for tests.

mirage-dev's People

Contributors

avsm avatar dinosaure avatar djs55 avatar drup avatar dsheets avatar hannesm avatar magnuss avatar mato avatar mk270 avatar mor1 avatar pgj avatar pqwy avatar samoht avatar seveneng avatar talex5 avatar thelortex avatar yallop avatar yomimono avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

mirage-dev's Issues

Version numbers of packages in mirage-dev OPAM remote

I'd like to bulk-change the version numbers of all packages in this repository to mirage-dev. This has a couple of advantages:

  1. No maintenance required when new versions of packages are released to opam.ocaml.org as the version mirage-dev will always be greater than a version of [0-9]*.
  2. During development I can immediately see which development packages I have installed with opam list | grep mirage-dev.

@samoht Can you confirm that this is the way the OPAM version comparison works?

Can't install mirage-http

I'm having some troube getting the latest mirage-dev running:

$ mirage configure --xen
[...]
#================== ERROR while installing mirage-http.2.0.0 ==================#
# opam-version 1.2.0~beta4
# os           linux
# command      make
# path         /home/tal/.opam/4.01.0/build/mirage-http.2.0.0
# compiler     4.01.0
# exit-code    2
# env-file     /home/tal/.opam/4.01.0/build/mirage-http.2.0.0/mirage-http-1809-dc6e87.env
# stdout-file  /home/tal/.opam/4.01.0/build/mirage-http.2.0.0/mirage-http-1809-dc6e87.out
# stderr-file  /home/tal/.opam/4.01.0/build/mirage-http.2.0.0/mirage-http-1809-dc6e87.err
### stdout ###
# Makefile:14: recipe for target 'setup.data' failed
### stderr ###
# ocamlfind: Package `conduit.mirage' not found
# W: Field 'pkg_conduit_mirage' is not set: Command ''/home/tal/.opam/4.01.0/bin/ocamlfind' query -format %d conduit.mirage > '/tmp/oasis-903c6b.txt'' terminated with error code 2
# E: Cannot find findlib package conduit.mirage
# E: Failure("1 configuration error")
# make: *** [setup.data] Error 1

I have a ~/.opam/4.01.0/lib/conduit-mirage directory, but containing just an empty opam.config file.

Trying from a new opam switch I got a different error:

$ opam sw testing -A 4.01.0
$ opam remote
  10 [git]       mirage     git://github.com/mirage/mirage-dev
   0 [http]     default     https://opam.ocaml.org

$ opam install mirage-http
The following actions will be performed:
 - install   ocamlfind.1.3.3                       [required by mirage-http]
 - install   camlp4.4.01.0                         [required by fieldslib]
 - install   stringext.0.0.1                       [required by cohttp]
 - install   re.1.2.1                              [required by cohttp]
 - install   ounit.2.0.0                           [required by cohttp]
 - install   ipaddr.2.2.0                          [required by conduit]
 - install   cmdliner.0.9.2                        [required by vchan, dns]
 - install   type_conv.109.53.00                   [required by fieldslib]
 - install   optcomp.1.4                           [required by ocplib-endian]
 - install   lwt.2.4.4                             [required by mirage-http]
 - install   tuntap.0.7.0                          [required by mirage-net-unix]
 - install   sexplib.109.55.00                     [required by cohttp]
 - install   fieldslib.109.20.02                   [required by cohttp]
 - install   ocplib-endian.0.2                     [required by cstruct]
 - install   uri.1.7.1                             [required by cohttp]
 - install   cstruct.1.3.0                         [required by conduit]
 - install   xenstore.1.2.3                        [required by vchan]
 - install   shared-memory-ring.1.0.0              [required by mirage-unix]
 - install   io-page.1.1.1                         [required by vchan, mirage-types]
 - install   dns.0.8.1                             [required by conduit-mirage]
 - install   mirage-types.2.0.0                    [required by mirage-http]
 - install   vchan.2.0.0                           [required by conduit-mirage]
 - install   mirage-net-unix.1.1.0                 [required by tcpip]
 - install   mirage-clock-unix.1.0.0               [required by tcpip]
 - install   mirage-unix.1.1.0                     [required by tcpip]
 - install   mirage-console.2.0.0                  [required by tcpip]
 - install   tcpip.2.0.0                           [required by conduit-mirage]
 - install   conduit-mirage.2.0.0                  [required by mirage-http]
 - install   conduit.0.6.0                         [required by cohttp]
 - install   cohttp.0.12.0                         [required by mirage-http]
 - install   mirage-http.2.0.0
=== 31 to install ===
Do you want to continue ? [Y/n]
[...]
#==================== ERROR while installing conduit.0.6.0 ====================#
# opam-version 1.2.0~beta4
# os           linux
# command      make
# path         /home/tal/.opam/testing/build/conduit.0.6.0
# compiler     4.01.0
# exit-code    2
# env-file     /home/tal/.opam/testing/build/conduit.0.6.0/conduit-1629-af3201.env
# stdout-file  /home/tal/.opam/testing/build/conduit.0.6.0/conduit-1629-af3201.out
# stderr-file  /home/tal/.opam/testing/build/conduit.0.6.0/conduit-1629-af3201.err
### stdout ###
# ...[truncated]
# ocamlfind ocamlopt unix.cmxa -I /home/tal/.opam/testing/lib/ocaml/ocamlbuild /home/tal/.opam/testing/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/tal/.opam/testing/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
# ocamlfind ocamldep -ppopt -DHAVE_VCHAN -syntax camlp4o -package uri.services -package ipaddr.unix -package lwt.unix -package lwt -package stringext -package uri -package cstruct -package ipaddr -package sexplib -package sexplib.syntax -package camlp4.macro -modules lib/conduit.ml > lib/conduit.ml.depends
# ocamlfind ocamldep -ppopt -DHAVE_VCHAN -syntax camlp4o -package uri.services -package ipaddr.unix -package lwt.unix -package lwt -package stringext -package uri -package cstruct -package ipaddr -package sexplib -package sexplib.syntax -package camlp4.macro -modules lib/conduit.mli > lib/conduit.mli.depends
# ocamlfind ocamlc -c -w A-4-33-40-41-42-43-34-44 -annot -bin-annot -short-paths -principal -thread -strict-sequence -ppopt -DHAVE_VCHAN -syntax camlp4o -package uri.services -package ipaddr.unix -package lwt.unix -package lwt -package stringext -package uri -package cstruct -package ipaddr -package sexplib -package sexplib.syntax -package camlp4.macro -I lib -o lib/conduit.cmi lib/conduit.mli
# ocamlfind ocamlopt -c -w A-4-33-40-41-42-43-34-44 -annot -bin-annot -short-paths -principal -thread -strict-sequence -ppopt -DHAVE_VCHAN -syntax camlp4o -package uri.services -package ipaddr.unix -package lwt.unix -package lwt -package stringext -package uri -package cstruct -package ipaddr -package sexplib -package sexplib.syntax -package camlp4.macro -I lib -o lib/conduit.cmx lib/conduit.ml
# + ocamlfind ocamlopt -c -w A-4-33-40-41-42-43-34-44 -annot -bin-annot -short-paths -principal -thread -strict-sequence -ppopt -DHAVE_VCHAN -syntax camlp4o -package uri.services -package ipaddr.unix -package lwt.unix -package lwt -package stringext -package uri -package cstruct -package ipaddr -package sexplib -package sexplib.syntax -package camlp4.macro -I lib -o lib/conduit.cmx lib/conduit.ml
# File "lib/conduit.ml", line 23, characters 12-20:
# Error: Unbound value Ipaddr.t_of_sexp
# Command exited with code 2.
# Makefile:4: recipe for target 'all' failed
### stderr ###
# make: *** [all] Error 10

using mirage-dev, git-unix fails to install

Opam is update, here is the outpus from the install command.

$ opam install git-unix
The following actions will be performed:
  ∗  install git-http 2.0.0                   [required by git-unix]
  ∗  install git-unix 2.0.0
===== ∗  2 =====
Do you want to continue ? [Y/n] y

=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[ERROR] The sources of the following couldn't be obtained, aborting:
          - git-http.2.0.0
          - git-unix.2.0.0
        (This may be fixed by running 'opam update')

Avoid recompiling `gmp` twice

Would be nice to use the system gmp for the unix installation. On the cubi it takes ages to compile, so doing that twice is not very user-friendly.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo 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.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.