profile
viewpoint
Thomas Gazagnaire samoht @tarides Paris, FR http://gazagnaire.org @ocaml @mirage

moby/hyperkit 2616

A toolkit for embedding hypervisor capabilities in your application

moby/datakit 920

Connect processes into powerful data pipelines with a simple git-like filesystem interface

moby/vpnkit 740

A toolkit for embedding VPN capabilities in your application

realworldocaml/mdx 157

Execute code blocks inside markdown files

ocamllabs/duniverse 71

Duniverse is the spice of OCaml build life

samoht/assemblage 54

A collection of tools to manage the configuration of OCaml projects

avsm/setup-ocaml 46

GitHub Action for the OCaml programming language

mirage/wodan 42

A Mirage filesystem library

mirage/metrics 27

Infrastructure to collect metrics from OCaml applications.

mirage/irmin-watcher 8

Portable implementation of the Irmin Watch API

PR opened ocamllabs/duniverse

Remove dependency towards Stdune
+526 -512

0 comment

27 changed files

pr created time in 16 hours

push eventsamoht/duniverse

Thomas Gazagnaire

commit sha 3e88f0c843340b765db34f7e07ef52b4e90e5eb4

Remove dependency towards Stdune

view details

push time in 16 hours

create barnchsamoht/duniverse

branch : stdune

created branch time in 16 hours

startedupenn-cis1xx/camelot

started time in 17 hours

pull request commentmirage/irmin

Upgrade to ocamlformat 0.15.0

Is there a way to not add that extra whitespace before closing parenthesis?

gpetiot

comment created time in 20 hours

pull request commentmirage/index

RO sync

That looks good to me and the tests are all green, so feel free to merge.

icristescu

comment created time in 5 days

Pull request review commentmirage/index

RO sync

 let end_replace ~sampling_interval =     stats.replace_times <- average :: stats.replace_times;     replace_timer := Mtime_clock.counter ();     nb_replace := 0 )++let sync_with_timer f =+  let timer = Mtime_clock.counter () in+  f ();+  let span = Mtime_clock.count timer in+  let time = Mtime.Span.to_us span in+  stats.sync_times <- time :: stats.sync_times

This looks like an unbounded list and should probably be documented somewhere

icristescu

comment created time in 5 days

Pull request review commentmirage/index

RO sync

 module type Index = sig           of consecutive operations, which can be specified by           [sampling_interval]. If [sampling_interval] is not set, no operation           is timed. *)++      val sync_with_timer : t -> unit+      (** Time sync operations. *)++      val sync' : ?hook:[ `Before_offset_read ] Hook.t -> t -> unit

can you expose sync instead of sync`` ? Also do why do we need awith_timerand a non-with-timer` one? Maybe always using the timers is a good idea?

icristescu

comment created time in 5 days

Pull request review commentmirage/index

RO sync

 struct               may (fun lock -> IO.unlock lock) t.writer_lock ))    let close = close' ~hook:(fun _ -> ())++  let sync' ?hook t =+    Stats.incr_nb_sync ();+    let t = check_open t in+    Log.info (fun l -> l "[%s] sync" (Filename.basename t.root));+    if t.config.readonly then sync_log ?hook t else raise RW_not_allowed++  let sync t = sync' t

the sync' function doesn't seem necessary

icristescu

comment created time in 5 days

pull request commentmirage/irmin

Clear stores

(I've restarted the CI jobs and now everything is green)

icristescu

comment created time in 5 days

pull request commentmirage/irmin

Clear stores

I had a few initial reservation about adding a clear operation to an immutable datables, but I think that makes sense and most DB usually allow to use this anyway (even with distributed DB like Foundation DB or Cassandra). I still think it would be nice to add a comment saying that this operation is generally expected to be slow so should be used with care (for instance only in tests).

Regarding the schema update:

  • we need to bump the version number
  • if a RO or RW instance try to open a file with version 1, it's ok but we should return the smaller generation possible (e.g. -1 ?)
  • if a RW instance try to increase the generation number of a pack file with version 1, it should rewrite the version number too.

Other than that this patch looks good to me and should be merged.

icristescu

comment created time in 5 days

push eventmirage/alcotest

Craig Ferguson

commit sha 9e5af136bb0e5817f5b8a23a15112da3fe20688e

Indent printed events slightly

view details

Craig Ferguson

commit sha e3d7970eb116a17a5d5936e52f45098710dd2818

Collapse `$HOME' path prefixes to `~' in printed output

view details

Craig Ferguson

commit sha 8f12eae20e9c422f81798fc8eae063d8be65a059

Standardise printing of ERROR and FAIL messages

view details

Craig Ferguson

commit sha 8013d5f1299d4983e7f4472edd69d7ceca88aaf6

Fix some degenerate uses of Format strings

view details

Craig Ferguson

commit sha 5da72c85257760a32386d595b12e8610b3487ba1

Ensure summary is printed inside a vbox

view details

Craig Ferguson

commit sha f2e8dbdc4d7c14d4d15bdff3c766806a2218bfa7

Use coloured --compact output

view details

Craig Ferguson

commit sha ed39d2f1f867adc994910aed9d15ef4f7b38d0a6

Wrap --compact output to the terminal width

view details

Craig Ferguson

commit sha 4a9b7767dcbfb4f03ba48bed22fd13490fb4bb94

Add space between `Expected' and `Received' when wrapping occurs

view details

Craig Ferguson

commit sha 72e2824794cb1d7a572083838f84221330ef1cf8

Use FAIL rather than ERROR in results when appropriate

view details

Craig Ferguson

commit sha 9cb1d22f634f0292b6fe9613da2d03042977ce64

Suggest `exe_name' symlink rather than `latest' in output The 'latest' symlink is less useful in projects with many different test binaries (such as this one), since each suite runner overwrites the symlink from the previous one.

view details

Craig Ferguson

commit sha df3124ed849e633dfba2fb6f5102cc66ab55d6dd

Left-align exception backtraces in results

view details

Craig Ferguson

commit sha c55850d0fff628294f1a4788fe0b9e4151ba58f8

Refactor log_dir symlink printing

view details

Craig Ferguson

commit sha ff2d4854af1c87cf4bdfa2ace002bb9b1efc7eb4

Shift horizontal rule formatter to Pp

view details

Craig Ferguson

commit sha 2deb8d3f4ed7c8cbce392b5ca2f25270488395c6

Preserve colours in Alcotest.fail output

view details

Craig Ferguson

commit sha 29dcfd09274b6b40f08c68ba14287045ddd0bfd8

Avoid use of Fun for pre-4.08 compatibility

view details

Craig Ferguson

commit sha f641ac71fdf131baa2a8f7597a467f1e6f8148fa

Re-implement List.init for pre-4.06 compatibility

view details

Craig Ferguson

commit sha 0c6a609aa1465ae4401968873965d63d29444f21

Scrap the test of default colouring in Dune This test causes plenty of trouble in CI, and seems to be not very portable. The important test is that it's possible to _override_ the default, which has been kept.

view details

Craig Ferguson

commit sha 4a9d70bd0eec226211683b69fe9c4ab6bbd83dc0

Don't reference created symlinks on Windows

view details

Craig Ferguson

commit sha a47603e7ad22d22c3cbb8cbca23c7039eb6317c5

Test failures are always marked with `FAIL' ... instead of the previous state of distinguishing between `FAIL' and `ERROR' states. See the discussion in https://github.com/mirage/alcotest/pull/246#issuecomment-633508458.

view details

Craig Ferguson

commit sha e6d77bc727d591bc515d8f2e6c37034d5a070006

Display UTF-8 characters in terminal output

view details

push time in 5 days

PR merged mirage/alcotest

Formatting improvements

Fixes https://github.com/mirage/alcotest/issues/252 and fixes https://github.com/mirage/alcotest/issues/240.

No API changes, but lots of diffs to pretty-printing logic.

image

Shortlist of changes:

  • output is generally more colorful (e.g. passing around unit Fmt.t values rather than strings);
  • improve diff shown on Alcotest.check failure to be better aligned & spaced;
  • highlight the test case whose error is printed with >;
  • keep a more consistent distinction between ERROR and FAIL states;
  • show shorter directory names to the user (e.g. use the symlinks rather than UUIDs, collapse home directory to ~).
+1268 -505

8 comments

58 changed files

CraigFe

pr closed time in 5 days

issue closedmirage/alcotest

Test suite fails if there is a path separator in user-supplied strings.

It looks like Alcotest tries to use the test name verbatim to create the output file :

Fatal error: exception Unix.Unix_error(Unix.ENOENT, "open", "/home/mefyl/dev/routine/mellifera/_build/default/tests/_build/_tests/8520A9D5-E675-42A0-9B41-883792EA0F62//some/hardcoded/path.000.output")

Which fails since parent directories (some/hardcoded) do not exist. Note that incidentally a leading slash works.

I'm keen on submitting a patch if the fix is agreed on. Do we want to escape the test names ?

closed time in 5 days

mefyl

issue closedmirage/alcotest

Expected and actual output do not stand enough in the output

Hello, I am new to Alcotest and I have been perplexed when confronted with this output:

ASSERT Returns error
[failure] Error Returns error: expecting
Connect Error: connection error., got
Connect Error: connection error.

It took me way longer than I would like to admit to realise that the last dot was part of the punctuation of the sentence and I was wondering why Connect Error: connection error. was different from Connect Error: connection error.. I think it would be clearer to separate more clearly the outputs, for instance:

ASSERT Returns error
[failure] Error Returns error
Expected:
Connect Error: connection error.
Actual:
Connect Error: connection error

closed time in 5 days

christophe-riolo

pull request commentmirage/alcotest

Formatting improvements

This looks good, thanks!

CraigFe

comment created time in 5 days

pull request commentmirage/mirage-solo5

Get rid of calls to opam when using opam

@mato That's a bug in opam 2.1 and should be fixed there. /cc @rjbou

kit-ty-kate

comment created time in 5 days

startedasemio/SZXX

started time in 7 days

pull request commentocaml/dune

Allow `context_name` in enabled_if of exectuable(s) and install stanzas

Let's try to get some more substantial features in before we release :)

Any ETA?

voodoos

comment created time in 7 days

push eventsamoht/mirage

Thomas Gazagnaire

commit sha 6d907804a6058996270c1cfa7ec0da95385b66b4

Forward-port changes for the new TLS stack See https://github.com/mirage/mirage/pull/1154 for the PR against the 3.7 branch.

view details

Thomas Gazagnaire

commit sha 49238ef85af26619824c150460b1dcf31a536267

Update tests

view details

Thomas Gazagnaire

commit sha d808a6cc376ce0e2857af3391f69366a2c371e69

Update the OCaml version tested in CI (4.07 is not supported anymore)

view details

Thomas Gazagnaire

commit sha 53b5a1490ce9da6bc177770b8a7dc18c3f19b912

random: use the right rng device by default When users provide mclock and time, build a default random generator using these.

view details

Thomas Gazagnaire

commit sha 7508f2f1216a71d7c16fb7fcebf9b196375cb342

Update expect tests

view details

Thomas Gazagnaire

commit sha 09c081d83143e82e3797eb3f298c80cdbde8b88d

Do not use $(mname) in the default value for CLI args The behavior was changed in https://github.com/dbuenzli/cmdliner/pull/111 so it allows mirage to work with the dev version of cmdliner

view details

Thomas Gazagnaire

commit sha 01dbedc137ee9d48382dd28f08292ff1a184cd43

Forward-port mirage/functoria#194

view details

Thomas Gazagnaire

commit sha 54452697a477acd2936c76dd905d590355762854

Action: better type for interpretation domains

view details

Thomas Gazagnaire

commit sha 7473d0e012c4a9503530c4d1516ba0abe0d0cb83

Functoria.abstract: deprecate in favor of Functoria.dep

view details

Thomas Gazagnaire

commit sha 32f980112f2f71d519601cd2fdaf65e24a7cc655

Add documentation

view details

Thomas Gazagnaire

commit sha 74b3153c206930755896386015e2afd6504f0e48

Update lib/mirage/mirage.mli Co-authored-by: Hannes Mehnert <hannes@mehnert.org>

view details

Thomas Gazagnaire

commit sha dc7342aba8c0ae2c0f5ae546d408d0b33efc65ad

Update lib/mirage/mirage.mli Co-authored-by: Hannes Mehnert <hannes@mehnert.org>

view details

Thomas Gazagnaire

commit sha 7a04122fcb6963192abf5397c4b0a81092fb2de3

Stick to supported targets for mirage 3

view details

Thomas Gazagnaire

commit sha 67338f92eed665a632015f5bb61876a63e81b48b

Rework the x-compilation section for Mirage3

view details

Calascibetta Romain

commit sha 936d8d01d1aca752aeeed528192d8acc676c16d4

Typo

view details

Thomas Gazagnaire

commit sha 86e82dc50c5bc346e36fdc1b54108164afc4320a

query opam: deduplicate and sort dependencies

view details

Thomas Gazagnaire

commit sha a998c474b4a277227afa31bc566870c0a27b3f08

configure & build: infer most of the generated files automatically

view details

Thomas Gazagnaire

commit sha 5159d4a358653dfbb7716abd7ef2a1e55f70dba5

Force ipaddr<5.0 temporary

view details

Thomas Gazagnaire

commit sha 8c12e3b38aa40ca9b48b56289098a0a0385cb00b

Fix `mirage clean`

view details

Thomas Gazagnaire

commit sha 9e13d30b327c2ed594a406523728b4a00239bd88

Fix cmdliner term generation for keys with the same name but different defaults Since https://github.com/mirage/mirage/pull/1162 the (CLI) name is not enough to distinguish between keys. This means that we build a cmdliner term with multiple keys having the same name. In that case cmdliner will explode at runtime with something like: Fatal error: exception Invalid_argument("option name --interface defined twice (doc strings are 'The network interface listened by the unikernel. ' and 'The network interface listened by the unikernel. ')") This happens when we call `mirage --help`, `mirage describe`, `mirage clean` with partial implementation choices (e.g. without a corresponding `mirage configure`).

view details

push time in 7 days

startedAestheticIntegration/ocaml-gcloud

started time in 7 days

Pull request review commentmirage/irmin

RO syncs

 struct         true )       else false +    let flush ?(all = true) t =

maybe index instead of all to make clear that this flag only control the flush of the underlying index.

icristescu

comment created time in 8 days

startedyurug/menhir-error-recovery

started time in 8 days

pull request commentmirage/ocaml-conduit

3.0.0

I'm fine if we just define this default resolver for unix ; e.g. reading /etc/services and generating socket endpoints. We could even make conduit-lwt-ssl and conduit-lwt-tls register hooks in conduit-lwt for tls connection (and re-use CONDUIT_TLS to choose the correct one if both libraries are linked)

dinosaure

comment created time in 8 days

pull request commentmirage/ocaml-conduit

3.0.0

I've pushed a few more cleanups commits on your branch. I still have a few question/issues but that is not blocking the merge can be added a in a separate PR:

  • README.md needs to be updated (no more CONDUIT_TLS, new packaging, etc)
  • what about CONDUIT_DEBUG: should we add an equivalent (/cc @avsm)
  • do we want to add a default resolvers for unix? It's nice to be able to control these for mirage, but most of the time on unix it would be nice if conduit would "just work" with minimum code/configuration from the user perspective.
dinosaure

comment created time in 8 days

push eventdinosaure/ocaml-conduit

Thomas Gazagnaire

commit sha e214f5ee24cdf5f9e1ff28d8f0a0f8c673853c99

Move librairies in their own directory

view details

Thomas Gazagnaire

commit sha a4a22fe2da8140fa25805840db23022baded1b34

Minor naming cleanup - Change Scheduler -> IO to match the convetion of the rest of MirageOS projects - Hide a few internal signature which are not useful for users of conduit - Rename `Service.make` and `Service.serve` into `Service.init` - Rename Flow.flow into Flow.unpack (and rename the Flow.pack type into Flow.unpack) - Rename Flow.abstract into Flow.pack - Rename Flow.is into Flow.cast - Rename Conduit.Service.SERVICE into Conduit.SERVICE - Rename X.serve_with_handler into X.serve

view details

Thomas Gazagnaire

commit sha 96b789d4b5bba77059da6e4878a1cffb010d1ec3

Simplify the code organisation for lwt and async libs

view details

Thomas Gazagnaire

commit sha 7a8fc1e446f963901dd942609ef381dc94bdd87c

Rename master -> service

view details

Thomas Gazagnaire

commit sha 414f16510377a54d9de7582de259857dd2a5f5e6

Refactor tests a bit

view details

Thomas Gazagnaire

commit sha a302c32a668095a04309da33bc3d26e3bb0e8578

Remove `module type CONDUIT` Not sure why it is used for.

view details

Thomas Gazagnaire

commit sha f7613ac999cdeff223a121957eea2ebd6032d08d

Rename resolv_conf to resolve

view details

Thomas Gazagnaire

commit sha 10e3d633ff60c5bf860b763d6475267dcf4740bb

Be consistent when using Server/Service: try to use Service everywhere

view details

push time in 8 days

issue commentmirage/irmin

Irmin FS store on mirage

How do you compile your example? If you are using dune it should pick a default implementation for you.

SahanaKrishnaKarki

comment created time in 8 days

Pull request review commentmirage/mirage-crypto

mirage-crypto-rng-mirage: require mirage-runtime 3.8.0 to avoid broken installations, mirage-crypto-rng: conflict with mirage-runtime <3.8.0

 depends: [   "mtime"   "lwt" {>= "4.0.0"} ]+conflicts: [ "mirage-runtime" {< "3.8.0"} ]

do you really need this conflict? e.g. why isn't the other diff line not enough?

hannesm

comment created time in 11 days

Pull request review commentmirage/irmin

Mergeable datastructures

+(*+ * Copyright (c) 2020 KC Sivaramakrishnan <kc@kcsrk.info>+ * Copyright (c) 2020 Anirudh Sunder Raj <anirudh6626@gmail.com>+ *+ * Permission to use, copy, modify, and distribute this software for any+ * purpose with or without fee is hereby granted, provided that the above+ * copyright notice and this permission notice appear in all copies.+ *+ * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES+ * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF+ * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR+ * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES+ * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN+ * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF+ * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.+ *)++module type S = sig+  module Store : Irmin.S++  val init : Irmin.config -> unit -> Store.repo Lwt.t

Isn't this exactly Store.Repo.v? I you think it's better/easier to have a top-level shortcut do not hesitate to do this directly in Irmin.S :-)

ani003

comment created time in 11 days

startedtachukao/neural-timer

started time in 11 days

startedOCamlPro/ezjs_min

started time in 12 days

startedpascutto/gospel-lru

started time in 14 days

startedUcombinator/parsing-with-zippers

started time in 14 days

issue commentmirage/mirage

Use Dune instead of OCamlbuild to build unikernels

Status update: the implementation of this feature is now in #1153 which supersedes #1020 and #1024. Here a brief description of the design updates and of the remaining steps.

New Workflow

As in MirageOS 4, a repository can contain multiple config.ml files (e.g. mirage-skeleton). The main difference is how these are built. As for MirageOS 3, it is still possible to configure every unikernel separately:

$ for c in `list all the config.ml`; do 
    mirage configure -f $c <params_c>;
  done
[..] # generates files, including opam and dune-workspace

As for MirageOS 3, make depends will install the dependencies. But in MirageOS 4, this will be using duniverse instead of opam. make depends is then equivalent to writing:

$ duniverse init 
[..] # read all the opam files, resolve depencies and create dune-get

$ duniverse pull
[..] # read dune-get and download all the dependencies in duniverse/

Question: do we want a mirage depends option?

The main new feature of MirageOS 4 is that it is now possible to build all the unikernels in one go:

$ dune build @install
[..] # generate all the unikernels in one go

Or dune can be used to build only what is necessary to execute a given unikernel:

$ dune exec -- solo5-hvt <path/to/unikernel.hvt>
[..] # run the unikernel in `path/to`

Question: do we want to re-introduce a mirage exec command to wrap these?

mirage build

In MirageOS 3, config.ml files define both configure and build actions. This is not the case in MirageO4 anymore.

config.ml files now only allow users to define a configure step ; it also allow to generate dune fragments, which will be included in the auto-generated dune file and which will be picked-up by dune when running dune build.

mirage build is now simply an alias for dune build @install.

Question: do we want to deprecate mirage build?

make depends

In MirageOS 3, make depends calls opam to install the necessary packages. This is not the case in MirageOS4 anymore.

make depends is now calling duniverse pull && duniverse init to download all the sources locally, for all the configured unikernels, at once. This means that all the MirageOS pakages and their dependencies have to co-installable. Also note that duniverse is also installing the necessary depexts by default.

duniverse uses a normal opam remote as source of metadata: the default one is an overlay on top of the main opam repository. There are a few additional unreleased packages in my fork that I'm preparing for MirageOS 4 (more on this bellow, but the goal is to upstream them before the release). The location of the opam remote can be controlled with mirage configure —opam-repo=<repo>.

pkg-config and ocamlfind predicates

In MirageOS 3, the compilation of C bindings were using pkg-config and an extra predicate in ocamlfind META files to replace, at link time, the default C archives by the one needed by the target. This is not the case in MirageOS 4 anymore.

mirage configure will create a dune-workspace file instead, which will define a CFLAGS variable defining the C flags for the specified target [note: this doesn’t work fully yet, all the unikernels has to be configured with the same target, but that’s the next element on my todo-list]. This works great for simple C bindings already using dune and supporting cross-compilation, as they will work without any change with MirageOS 4. Bigger C libraries, usually available as a system packages, will have to wrapped in dune and recompiled from source using that new scheme (see for instance my dune rules to build gmp).

Porting the runtime is a bit more tricky, as it shouldn’t be re-using the workspace CFLAGS that it is defining. To simplify things a bit, samoht/ocaml-solo5 is wrapping the build of solo5 and freestanding into one package per target. This allow all these packages to be co-installable.

Current Status

#1153 now seems to work for mirage-skeleton (using the mirage-dev-dune branch). The patch queue is in samoht/opam-repository#duniverse. The patch are usually trivial (removal of artificial constraints, metadata fixes).

  • mirage-bootvar-solo5: removal or artificial constraints
  • solo5, solo5-{hvt,spt,virtio,muen,genode}: new solo5 packages (including freestanding archives)
  • mirage-solo5: remove ocamlfind hacks, use global CFLAGS, remove artificial constraints
  • mirage-clock-freestanding: fix metadata typo
  • ocplib-endian: support for bigarray without unix
  • mirage-net-solo5: remove artificial constraints
  • gmp: new package
  • zarith: use the previousgmp instead of system libs, and use dune
  • mirage-crypto-pk: remove artificial constraints
  • mirage-console-solo5: remove artificial constraints
  • mirage-block-solo5: remove artificial constraints
TheLortex

comment created time in 15 days

push eventsamoht/ocaml-solo5

Thomas Gazagnaire

commit sha 58f6f0019b172ee246ead99049bc0aa6af6ff4fd

Install missing header

view details

push time in 15 days

push eventsamoht/ocaml-gmp

Thomas Gazagnaire

commit sha 4e9a17211e03392fc40952f8a126a468f6859a00

Remove ocamlformat version We just want to disable it; keeping the version forces us to update that number regularly otherwise `dune build @fmt` will complain.

view details

push time in 15 days

push eventsamoht/ocaml-gmp

Thomas Gazagnaire

commit sha 9530502869b86cb4fba9ef8b7c375df222e87480

be less verbose

view details

Thomas Gazagnaire

commit sha 9b4c1af357014dcaa5570d62e3cbef467be8b181

Fix Makefile

view details

Thomas Gazagnaire

commit sha 3742b718b2264973752a25022c27141f2db0bcdf

Fix ocamlformat version I'm not sure why it's useful here as we just want to disable it, but otherwise it prints some warning.

view details

push time in 15 days

push eventsamoht/ocaml-solo5

Thomas Gazagnaire

commit sha da1932eb6114cca82fd4c09a07eeb68e0fd94f10

Also install nolibc/include/_freestanding

view details

Thomas Gazagnaire

commit sha 9614b510b2395f0e66d9d8415c1dcd95bea1d262

Format files

view details

push time in 15 days

push eventocaml/opam-repository

Hannes Mehnert

commit sha 9c27a6e8cf71f4290e9c866b2a5912231a3ab3d1

[new release] tcpip (5.0.0) CHANGES: * Static_ipv4.connect API change: takes a cidr:Ipaddr.V4.Prefix.t instead of ip:Ipaddr.V4.t and network:Ipaddr.V4.Prefix.t (mirage/mirage-tcpip#426 @hannesm) * Adapt to ipaddr 5.0.0 API changes (mirage/mirage-tcpip#426 @hannesm)

view details

Hannes Mehnert

commit sha 2d60cf30b2bf4d4a9357586f02759f00bb7d6cb6

restrict tcpip revdeps to < 5.0.0

view details

Thomas Gazagnaire

commit sha ed28f18b6955ce167f2dbe5f2c771b0cf9708998

Merge pull request #16679 from hannesm/release-tcpip-5.0.0 [new release] tcpip (5.0.0)

view details

push time in 15 days

PR merged ocaml/opam-repository

[new release] tcpip (5.0.0) consider for merge

CHANGES:

  • Static_ipv4.connect API change: takes a cidr:Ipaddr.V4.Prefix.t instead of ip:Ipaddr.V4.t and network:Ipaddr.V4.Prefix.t (mirage/mirage-tcpip#426 @hannesm)
  • Adapt to ipaddr 5.0.0 API changes (mirage/mirage-tcpip#426 @hannesm)
+85 -12

3 comments

13 changed files

hannesm

pr closed time in 15 days

push eventsamoht/mirage

Thomas Gazagnaire

commit sha 5af7f15aeb74348f8c83ec33c6bea07db0c4e77b

pass --build-dir when generating dune-workspace

view details

push time in 15 days

push eventsamoht/mirage

Thomas Gazagnaire

commit sha 897df4a9e27ecae9ca7d6f07a1d0e3e69285585a

Correct the location of cflags in dune-workspace

view details

push time in 15 days

push eventsamoht/ocaml-solo5

Thomas Gazagnaire

commit sha f9e6e1acd80f4f9c7d67e51edadee6c273d33ee6

Fixes to work with latest solo5 release, + output cleanups

view details

push time in 16 days

push eventsamoht/ocaml-solo5

Thomas Gazagnaire

commit sha 36eb238d5a9eba96d42e5223c140f645c1abe15b

Fix distclean

view details

Thomas Gazagnaire

commit sha 7ad09686a07b580f3257df24bb385dcde97a6b8a

Updating solo5 ocaml freestanding

view details

Thomas Gazagnaire

commit sha ee0d45658d3de8937ef661f76e20319c69e3458d

Fixes to work with latest solo5 release, + output cleanups

view details

push time in 16 days

issue commentrealworldocaml/mdx

Remove findlib dependency

dune doesn't need it, see for instance: https://dune.readthedocs.io/en/stable/toplevel-integration.html

samoht

comment created time in 18 days

push eventsamoht/opam-repository

Thomas Gazagnaire

commit sha ea694c884088d389bedd9ffe6c8711c6b4a41410

Add mirage-crypto-pk

view details

push time in 18 days

push eventsamoht/opam-repository

Thomas Gazagnaire

commit sha 14ce4a216181b87372e43afc91e05d2fa3ac7539

WIP

view details

push time in 18 days

push eventsamoht/opam-repository

Thomas Gazagnaire

commit sha 898a8b71c92721ad5a4c9e65c3d8c338ba9a2eeb

WIP

view details

push time in 18 days

push eventsamoht/opam-repository

Thomas Gazagnaire

commit sha 0dee0c6d3d0bb3633cdebf61fd918e61ca90fadb

Add mirage-crypto-pk

view details

push time in 18 days

push eventsamoht/opam-repository

Thomas Gazagnaire

commit sha 4f2e5d73d4cfe7590cf0d87afdc7b52a3e0dfc7c

TMP

view details

push time in 18 days

push eventsamoht/opam-repository

Thomas Gazagnaire

commit sha 39859ce0244f98d2ac8d77d9bd38eded926946ac

Add dev packages for mirage4

view details

Thomas Gazagnaire

commit sha 2908018b49ccf758739bfbf4ae325a89fd647573

Add mirage-bootvar-solo5

view details

Thomas Gazagnaire

commit sha 1f03c2198daa1e0f60e370310a348bdc1f458afb

Add solo5 packages

view details

Thomas Gazagnaire

commit sha aaad982b36ef1965c0c26910ec579af6b4b73c44

Add mirage-solo5

view details

Thomas Gazagnaire

commit sha d5865051cac3151e988bf3f2e0cd5fce1dab071f

fix dev-repo for mirage-clock-freestanding /cc @avsm

view details

Thomas Gazagnaire

commit sha 6ba0a36a0631caaad3a8d2d993f4db44a2577b52

Add ocplib-endian

view details

Thomas Gazagnaire

commit sha 47a03318ae8758b220a41c2e63b5fe5b596f216a

add mirage-net-solo5

view details

Thomas Gazagnaire

commit sha 56a40ab3d2f1c72b9b12db86b026d457e23df52b

Add gmp

view details

Thomas Gazagnaire

commit sha 438247d4a1a0e2fefbea672921599f1324bb1843

Add zarith

view details

Thomas Gazagnaire

commit sha ef5f1867450dd9bacb7257a7f91b21267c1e8580

Add mirage-crypto-pk

view details

Thomas Gazagnaire

commit sha 3107ba98be84057000ca5b32fd1567a738d5a9c3

Add mirage-console-solo5.1.0.0

view details

Thomas Gazagnaire

commit sha 240f71b0e122e32fb7c88aacbe2a562d86e47559

Add mirage-block-solo5.1.0.0

view details

Thomas Gazagnaire

commit sha 7c5e678bc7f2ff10a40109e4c9b191458d45bcda

TMP

view details

push time in 18 days

push eventsamoht/opam-repository

François Pottier

commit sha 9acbea7acc062c57f23993de9867ef37dad5bf66

3 packages from gitlab.inria.fr/fpottier/menhir/repository/20200525/archive.tar.gz

view details

Xavier Clerc

commit sha eaf2d8b23da4b8ef7fa6606c81d1cb65a5db4081

Fix accessor*, higher_kinded, and ppx_accessor packages.

view details

Albin Coquereau

commit sha 8626f8acd32808d11b59adb93a5a4266f12bf5ca

release of Alt-Ergo-Free 2.2.0

view details

Albin Coquereau

commit sha 564304cb5a28a3315df572075547033245cc55d7

Add dev-repo

view details

Albin Coquereau

commit sha d5031cf05adfa5445611d9470634a43bb8d77a62

update md5 for correct archive

view details

Xavier Clerc

commit sha ba464086519e6fdc8d01b1d6a557ea8b8fc06c67

Fix accessor*, higher_kinded, and ppx_accessor packages.

view details

Xavier Clerc

commit sha 6adf2fcce8709ee713403dc50d5235487029a518

Fix constraints.

view details

Romain Beauxis

commit sha 466c0c6ae50d320b0d255612c74d42df1d56d062

Package sedlex.2.2

view details

David Scott

commit sha 01d3de1a5968489c7a26e67f06e9432f7990a8b5

[new release] qcow and qcow-tool (0.11.0) CHANGES: - Update the build to use `dune` (@emillon, mirage/ocaml-qcow#112) - Update to Mirage 4.0 interfaces (@djs55, mirage/ocaml-qcow#112) - LICENSE.md: add title and copyright year range (@waldyrious, mirage/ocaml-qcow#109)

view details

David Scott

commit sha 6f6d0b625839f0f96bdf385b467812663c251bb9

[new release] mirage-block-ramdisk (0.5) CHANGES: - update to mirage-block.2.0.0 API (@hannes)

view details

Romain Beauxis

commit sha bc421af469d05903f6296d2fbdd8ace015a381e6

9 packages from savonet/ocaml-posix at 2.0.0

view details

Rudi Grinberg

commit sha feeccf5725528a6371c46f0b8122bfa70a739b2c

[new release] dune-build-info, dune, dune-configurator, dune-action-plugin, dune-private-libs and dune-glob (2.6.0) CHANGES: - Fix a bug where valid lib names in `dune init exec --libs=lib1,lib2` results in an error. (ocaml/dune#3444, fix ocaml/dune#3443, @bikallem) - Add and `enabled_ if` field to the `install` stanza. Enforce the same variable restrictions for `enabled_if` fields in the `executable` and `install` stanzas than in the `library` stanza. When using dune lang < 2.6, the usage of forbidden variables in executables stanzas with only trigger a warning to maintain compatibility. (ocaml/dune#3408 and ocaml/dune#3496, fixes ocaml/dune#3354, @voodoos) - Insert a constraint one the version of dune when the user explicitly specify the dependency on dune in the `dune-project` file (ocaml/dune#3434 , fixes ocaml/dune#3427, @diml) - Generate correct META files for sub-libraries (of the form `lib.foo`) that contain .js runtime files. (ocaml/dune#3445, @hhugo) - Add a `(no-infer ...)` action that prevents inference of targets and dependencies in actions. (ocaml/dune#3456, fixes ocaml/dune#2006, @roddyyaga) - Correctly infer targets for the `diff?` action. (ocaml/dune#3457, fixes ocaml/dune#2990, @greedy) - Fix `$ dune print-rules` crashing (ocaml/dune#3459, fixes ocaml/dune#3440, @rgrinberg) - Simplify js_of_ocaml rules using js_of_ocaml.3.6 (ocaml/dune#3375, @hhugo) - Add a new `ocaml-merlin` subcommand that can be used by Merlin to get configuration directly from dune instead of using `.merlin` files. (ocaml/dune#3395, @voodoos) - Remove experimental variants feature and make default implementations part of the language (ocaml/dune#3491, fixes ocaml/dune#3483, @rgrinberg)

view details

Thibaut Pérami

commit sha 509dc7dbb51ec342f66cd845da2b2ac1b9515ea5

Package lem.2020-06-03

view details

Kate

commit sha 45298e75f352d302e06f593c080de04a11b95a67

utop.2.6.0 is compatible with OCaml 4.11

view details

Kate

commit sha fba9001a6cf67b4c784a75cbfd16d03acbafcd3d

haxe requires ptmap >= 2.0.0

view details

William Goeller

commit sha b054cc75b9abd15502b8d76e988ece398e02d61a

Release camelot.1.4.2

view details

Kate

commit sha a7806c01430ec56e586b359cc8e1b2d0496dd820

eliom is not compatible with OCaml >= 4.11 (uses type checker hacks that have been fixed)

view details

Kate

commit sha cae727e5c585f9d10c587065a118a81d51eb61a1

checkseum is not compatible with dune 2.6 (uses experimental features that are no longer supported)

view details

Kate

commit sha 38494254d2b8401b3f7a1595c3ca07ba36fa52ad

digestif is not compatible with dune 2.6 (uses experimental features that are no longer supported)

view details

Kate

commit sha 9ce8d8cbcb1df1f4e84ec269faaa48fc22ad8b73

ocamlfuse.2.7.1-cvs6 is not compatible with dune-configurator 2.6 (uses non-explicit dependency on Stdune)

view details

push time in 18 days

create barnchsamoht/mirage-skeleton

branch : broken

created branch time in 18 days

push eventsamoht/mirage

Thomas Gazagnaire

commit sha 247b5ac36e99a5ab3e707e1590640d4e1b338f8d

WIP: bump solo5 packages

view details

push time in 18 days

push eventsamoht/mirage-skeleton

Thomas Gazagnaire

commit sha 321c655b27fa3142e9fc07d571a97bbc98efc7c1

temporary disable pgx as it needs an old version of conduit See https://github.com/arenadotio/pgx/pull/95

view details

Thomas Gazagnaire

commit sha fa8f07078d4555afe63202d267c1a8d551a49176

fix warning 48 in the code of unikernels

view details

push time in 18 days

push eventsamoht/mirage

Thomas Gazagnaire

commit sha 0fa56eccd4976a1874a18b99784c2a3666eb04a1

use dune 2.7 (to use https://github.com/ocaml/dune/pull/3568)

view details

push time in 18 days

pull request commentocaml/dune

Allow `context_name` in enabled_if of exectuable(s) and install stanzas

This is blocking the mirage+dune integration so that would be nice if that could be merged/released in a not too distant future :-)

voodoos

comment created time in 18 days

push eventsamoht/mirage

Thomas Gazagnaire

commit sha b029c886e16bac2eb61718d12db7111d146cebd9

WIP

view details

push time in 18 days

issue commentocaml/dune

Allow `context_name` in `enable_if`

Actually this is completely breaking cross-compilation as you can't select which rule has to be run in which contexts anymore :-/

samoht

comment created time in 18 days

issue openedocaml/dune

Allow `context_name` in `enable_if`

16 |  (enabled_if (= %{context_name} "mirage-spt"))
                       ^^^^^^^^^^^^^
Error: Only architecture, system, model, os_type, ccomp_type, profile and
ocaml_version variables are allowed in this 'enabled_if' field. If you think
that context_name should also be allowed, please file an issue about it.
run ['dune' 'build' 'tutorial/noop-functor/config.exe']: exited with 1

created time in 18 days

push eventsamoht/mirage

Thomas Gazagnaire

commit sha 88465cd89503acf02f3eb498ab85e2ce0d084ba6

WIP

view details

push time in 18 days

push eventsamoht/mirage

Thomas Gazagnaire

commit sha d8b850e148b2168a23421061d2460a35b965ec0c

Faster config.exe re-exec

view details

Thomas Gazagnaire

commit sha 4c4d6e9c36d75f9dd462635377a426a6670c337d

WIP

view details

push time in 18 days

push eventocaml/opam-repository

Daniel Bünzli

commit sha 29364e55eaed2c6582ef8bfbc9fd08acd894b7a6

Package astring.0.8.4

view details

Thomas Gazagnaire

commit sha 0cd6dafebfb49a3b56cce8e6651aa83c591214d5

Merge pull request #16666 from dbuenzli/opam-publish-astring.0.8.4 Package astring.0.8.4

view details

push time in 18 days

PR merged ocaml/opam-repository

Package astring.0.8.4 consider for merge

astring.0.8.4

Alternative String module for OCaml Astring exposes an alternative String module for OCaml. This module tries to balance minimality and expressiveness for basic, index-free, string processing and provides types and functions for substrings, string sets and string maps.

Remaining compatible with the OCaml String module is a non-goal. The String module exposed by Astring has exception safe functions, removes deprecated and rarely used functions, alters some signatures and names, adds a few missing functions and fully exploits OCaml's newfound string immutability.

Astring depends only on the OCaml standard library. It is distributed under the ISC license.


  • Homepage: https://erratique.ch/software/astring
  • Source repo: git+http://erratique.ch/repos/astring.git
  • Bug tracker: https://github.com/dbuenzli/astring/issues

v0.8.4 2020-06-18 Zagreb

  • Handle Pervasives's deprecation.
  • Require OCaml 4.05
  • Add conversions to/from Stdlib sets and maps. Thanks to Hezekiah M. Carty for the patch.

:camel: Pull-request generated by opam-publish v2.0.2

+37 -0

3 comments

1 changed file

dbuenzli

pr closed time in 18 days

pull request commentocaml/opam-repository

Package astring.0.8.4

Thanks!

dbuenzli

comment created time in 18 days

push eventsamoht/mirage

Thomas Gazagnaire

commit sha 9e9522f1cace0f5f46b06480e42977325038cd39

random: add a dependency to mirage-random As unirkernels do not depend on mirage-types inconditionnaly anymore, every device needs to be more precise about the signatures they require.

view details

push time in 18 days

issue openedocamllabs/duniverse

duniverse pull is too quiet

It seems that duniverse pull is now a bit quieter ; it's nice but it's quiet now, eg.

duniverse pull
==> Using pull mode Source
[.. wait 5 minutes ..]
Successfully pulled 97/97 repositories

The Successfully pulled 97/97 repositories line should probably be printed more regularly on to show a bit of progress.

created time in 19 days

startedocurrent/build-scheduler

started time in 19 days

push eventsamoht/mirage

Thomas Gazagnaire

commit sha 8c3bd0d8061f587e420ba0af65106060759ba5c1

Use dune to build the unikernel

view details

push time in 19 days

push eventsamoht/opam-repository

Davide Gessa (dakk)

commit sha a8e69bd55b327ec19f6e22239a219cfcda742c60

Package nmea.0.1.5

view details

Michael Greenberg

commit sha 887f26e7c310358e5eb3e985c852e8cc934e8393

Package libdash.0.1.1

view details

Ryan Doenges

commit sha e9b14f5b8804bbf34d54dfa1048ce71e5cca08ba

Package p4pp.0.1.4

view details

Thomas Leonard

commit sha 7f08f6dea47ac995c9756ad40c540726c3019fad

[new release] capnp-rpc-net, capnp-rpc-lwt, capnp-rpc-mirage, capnp-rpc and capnp-rpc-unix (0.7.0) CHANGES: - Update for x509 0.11.0 API changes (@talex5, mirage/capnp-rpc#196). - Update to new mirage network API (@Cjen1, mirage/capnp-rpc#198). - Add echo benchmark test (@Cjen1, mirage/capnp-rpc#197). - Estimate message sizes to improve performance (@talex5, mirage/capnp-rpc#200). By default, capnproto allocates 8k buffers, but most capnp-rpc messages are much smaller than this. Logging: - Fix application logging, to use library's log (@Cjen1, mirage/capnp-rpc#195). - Expose the endpoint logger (@Cjen1, mirage/capnp-rpc#195). - Only enable debug logging for capnp libraries in the calc example. TLS now generates a lot of messages at debug level (@talex5, mirage/capnp-rpc#200).

view details

Enrico Tassi

commit sha 4e0f75884446b2e4bb16db6274d44a13d5d7396e

[new release] elpi (1.11.1) CHANGES: - Fix to the opam file, ppxlib is required to be >= 0.12.0 and ocaml-migrate-parsetree >= 1.6.0. Moreover we disable tests on Alpine linux - Print locations in such a way that VScode can understand then, and click jump to type errors

view details

Hannes Mehnert

commit sha 6fa0f6d999fbfe9033c8020df2d5d52be4660308

[new release] x509 (0.11.2) CHANGES: * Private_key.decode_{pem,der} now has a `~sloppy` option to recover from bad keys (where e.g. the private exponent d is wrong). (mirleft/ocaml-x509#135 by @hannesm, reported by @mattjbray in mirage/mirage-crypto#62)

view details

fdopen

commit sha 26369002c7aaf13a3fbca89e5f43f23e76f524d0

Package ctypes-zarith.0.1.0

view details

Martin Lucina

commit sha f8c5866bad21db8d2bec8be54e3cd8749aaef054

Solo5 0.6.5 New features: * Stop host kernels from attempting to execute Solo5 binaries. This improves both the user experience on some hosts (e.g. "No such file or directory" vs. "Segmentation fault" on Linux) and overall security posture by forcing the host kernel ELF loader to bail out earlier rather than actually jumping to the unikernel code. (#442) * hvt: Full support for W^X and correct guest-side page protections on OpenBSD 6.7+ systems with EPT. (#447) * hvt: capsicum(4) sandbox for the hvt tender on FreeBSD 12+. (#366) Bug fixes: * hvt: Fix hang in `HVT_HYPERCALL_POLL`. On Linux hosts, if `solo5_yield()` was called with a deadline that has already passed and the unikernel was not using any network devices then the underlying hypercall would hang forever. Not known to affect any existing code in production. (#460) Other notable changes: * muen: Muen ABI updates, now uses ABI version 2 on the Solo5 side. Muen commit f10bd6b or later is required. (#454, #448) * genode: Support for Genode is limited by toolchain issues and Genode bindings are no longer built by default. (#446, see also ocaml/opam-repository#16368) * Improvements to the build system on BSD/clang hosts. System headers (sys/endian.h, osreldate.h) that were mistakenly being installed into the Solo5-provided include paths have been removed. For OCaml/MirageOS users, ocaml-freestanding 0.6.0 or later is now required. (#453, #455, #457, #461, see also mirage/ocaml-freestanding#77) * Improvements to built-in self tests. (#451) * Fix build failures with GCC >= 10. (#459) Known issues: * Full W^X support / correct guest-side page protections are currently only available on the "spt" target on Linux, and the "hvt" target on OpenBSD 6.7 or later. (#303) * On OpenBSD, "hvt" operation with multiple network devices results in packet loss. This appears to be a bug in kqueue(2) but we have no confirmation from upstream. (#374) * virtio-net is not functional on at least QEMU 5.0 and possibly earlier versions. QEMU versions up to and including 3.1.0 are known to work. (#463) Acknowledgements: * Thanks to Adam Steen (@adamsteen) for pushing for OpenBSD kernel support for manipulating guest EPT mappings, bringing full W^X to hvt on OpenBSD 6.7 or later. * Thanks to Adrian-Ken Rueegsegger (@kensan) for the Muen updates. * Thanks to Anurag Soni (@anuragsoni) for diagnosing and fixing the build on systems with GCC >= 10. * Thanks to Hannes Mehnert (@hannesm) for diagnosing #460 and for help with testing BSD/clang build system changes and generally helping out. * Thanks to Stefan Grundmann (@sg2342) for the capsicum(4) hvt tender sandbox on FreeBSD.

view details

Kate

commit sha f628c64cc4a7edce4a36aedc7f98083f9ee7d24e

Merge pull request #16439 from talex5/release-capnp-rpc-0.7.0 [new release] capnp-rpc-net, capnp-rpc-lwt, capnp-rpc-mirage, capnp-rpc and capnp-rpc-unix (0.7.0)

view details

Kate

commit sha 6e231dfd4510a44b3137ecc85eba68f78979fb63

Merge pull request #16442 from hannesm/release-x509-0.11.2 [new release] x509 (0.11.2)

view details

Kate

commit sha dfe13a30446232f29eb4d8fdbe1803ae12e62cf5

p4pp.0.1.4: Untag dune as build dependency and add missing constraint

view details

Vadim Zaliva

commit sha 315751e9275cb836204cc52644ead19e8c214156

vcardgen v1.2

view details

Kate

commit sha bb4667b3f780cb73e359109fb6496f25ff02ea40

elpi.1.11.1: dune.2.2 is still required due to LPCIC/elpi#53

view details

Kate

commit sha 9298ed54c3da7ca9352164eefe6e2c6616731313

Merge pull request #16441 from fdopen/opam-publish-ctypes-zarith.0.1.0 Package ctypes-zarith.0.1.0

view details

Vadim Zaliva

commit sha b09bf323a18d858e74850bd05fcc0f5027380eb5

remved jbuild file from release

view details

Martin Lucina

commit sha 1e4b53bf02fb8c898162275ab461c6c645558ff0

opam: Remove "remove:", use "os-family" for debian. As requested, the former is no longer required for OPAM 2.x, and the latter will cover all Debian derivatives.

view details

Vadim Zaliva

commit sha 3b3a3b217b80822c941d1c15844cac8609b61e46

removed full stop in synopsys

view details

Kate

commit sha 69b485327705157529849e7094200b88fcaab4d1

Merge pull request #16443 from mato/solo5.0.6.5 Solo5 0.6.5

view details

Kate

commit sha 43b761ff6869300e3c0b4aeb155b59f84ad13959

Merge pull request #16440 from gares/release-elpi-1.11.1 [new release] elpi (1.11.1)

view details

Kate

commit sha 88e47e0706d4d49d0a27c851322ef6ee184d3891

Merge pull request #16437 from hackedy/opam-publish-p4pp.0.1.4 Package p4pp.0.1.4

view details

push time in 19 days

pull request commentarenadotio/pgx

adapt to API changes of mirage-conduit (dns resolver now has a timeout)

Hello! Any ETA for a new release of pgx_lwt_mirage compatible with conduit.2.2.0? Thanks!

hannesm

comment created time in 19 days

push eventsamoht/mirage

Thomas Gazagnaire

commit sha b59704f8d1c974cc1190ef57bf846cdd8fe1f62d

Use dune to build the unikernel

view details

push time in 19 days

push eventsamoht/mirage

Thomas Gazagnaire

commit sha da95bdbc0fc261a00983ed6ca47702ac95b510eb

Force ipaddr<5.0 temporary

view details

Thomas Gazagnaire

commit sha c6f4f3c282a8b5bd8599f5a41eb118d79e435813

Merge pull request #1177 from samoht/fix-ipaddr Force ipaddr<5.0 temporary

view details

Thomas Gazagnaire

commit sha 8b7858ba80ce5d8761edd8887c67777bc96b0ff4

Fix `mirage clean`

view details

Thomas Gazagnaire

commit sha b8f1bad5107a73d130aca796fdb70c374b24eabd

Merge pull request #1173 from samoht/clean Fix `mirage clean`

view details

Thomas Gazagnaire

commit sha e8f8fa4d8d9431d1255ee5ac1cbb81ed52571c34

Fix cmdliner term generation for keys with the same name but different defaults Since https://github.com/mirage/mirage/pull/1162 the (CLI) name is not enough to distinguish between keys. This means that we build a cmdliner term with multiple keys having the same name. In that case cmdliner will explode at runtime with something like: Fatal error: exception Invalid_argument("option name --interface defined twice (doc strings are 'The network interface listened by the unikernel. ' and 'The network interface listened by the unikernel. ')") This happens when we call `mirage --help`, `mirage describe`, `mirage clean` with partial implementation choices (e.g. without a corresponding `mirage configure`).

view details

Thomas Gazagnaire

commit sha d618bd44bc7e88535465a814ad2b79c255d5440d

Merge pull request #1174 from samoht/fix-multi-keys-cmdline Fix cmdliner term generation for keys with the same name but differen…

view details

Thomas Gazagnaire

commit sha 691123c4c816232e917a30043c50d3ae9980fef6

Use dune to build the unikernel

view details

push time in 19 days

create barnchsamoht/mirage-skeleton

branch : mirage-dev-dune

created branch time in 19 days

delete branch samoht/mirage-skeleton

delete branch : fix-clean

delete time in 19 days

push eventmirage/mirage-skeleton

Thomas Gazagnaire

commit sha fce55e04e3e0559650c6159f6b995bd5e2f8eff7

Fix `make clean`

view details

Thomas Gazagnaire

commit sha a2e913ba25ba16d4943071aa7015dbfa4010e189

Merge pull request #293 from samoht/fix-clean Fix `make clean`

view details

push time in 19 days

PR merged mirage/mirage-skeleton

Fix `make clean`

If there is no Makefile (because of some partial cleanups), mirage clean should always work.

+1 -1

0 comment

1 changed file

samoht

pr closed time in 19 days

delete branch samoht/mirage-skeleton

delete branch : warnings

delete time in 19 days

push eventmirage/mirage-skeleton

Thomas Gazagnaire

commit sha a9cff5a4cdcd461cdb131604a04fa469fe10f455

remove warnings Also use a consistent style in all examples

view details

Thomas Gazagnaire

commit sha 5c0fba8b500fc0a0ce2b013748728245067ba843

Merge pull request #292 from samoht/warnings remove warnings

view details

push time in 19 days

PR merged mirage/mirage-skeleton

remove warnings
+55 -51

0 comment

24 changed files

samoht

pr closed time in 19 days

PR opened mirage/mirage-skeleton

Fix `make clean`

If there is no Makefile (because of some partial cleanups), mirage clean should always work.

+1 -1

0 comment

1 changed file

pr created time in 19 days

push eventsamoht/mirage-skeleton

push time in 19 days

push eventsamoht/mirage-skeleton

Thomas Gazagnaire

commit sha a9cff5a4cdcd461cdb131604a04fa469fe10f455

remove warnings Also use a consistent style in all examples

view details

Thomas Gazagnaire

commit sha 694e358187e3d1a94f44837202dacb2f3c01e811

Fix `make clean`

view details

push time in 19 days

create barnchsamoht/mirage-skeleton

branch : fix-clean

created branch time in 19 days

push eventsamoht/mirage-skeleton

Thomas Gazagnaire

commit sha 958e970991c4ece6c6a0353de0eee1a8337cce53

remove warnings Also use a consistent style in all examples

view details

Thomas Gazagnaire

commit sha 0fe744cec98801ffb32bbbefa856d76fe3e686a5

use a consistent style for all config.ml

view details

Thomas Gazagnaire

commit sha ce56f2a0e4994ea65560b5db380322138625bb5b

Fix `make clean`

view details

push time in 19 days

push eventmirage/mirage

Thomas Gazagnaire

commit sha e8f8fa4d8d9431d1255ee5ac1cbb81ed52571c34

Fix cmdliner term generation for keys with the same name but different defaults Since https://github.com/mirage/mirage/pull/1162 the (CLI) name is not enough to distinguish between keys. This means that we build a cmdliner term with multiple keys having the same name. In that case cmdliner will explode at runtime with something like: Fatal error: exception Invalid_argument("option name --interface defined twice (doc strings are 'The network interface listened by the unikernel. ' and 'The network interface listened by the unikernel. ')") This happens when we call `mirage --help`, `mirage describe`, `mirage clean` with partial implementation choices (e.g. without a corresponding `mirage configure`).

view details

Thomas Gazagnaire

commit sha d618bd44bc7e88535465a814ad2b79c255d5440d

Merge pull request #1174 from samoht/fix-multi-keys-cmdline Fix cmdliner term generation for keys with the same name but differen…

view details

push time in 19 days

PR merged mirage/mirage

Fix cmdliner term generation for keys with the same name but differen…

…t defaults

Since https://github.com/mirage/mirage/pull/1162 the (CLI) name is not enough to distinguish between keys. This means that we build a cmdliner term with multiple keys having the same name. In that case cmdliner will explode at runtime with something like:

Fatal error: exception Invalid_argument("option name --interface defined twice
  (doc strings are 'The network interface listened by the unikernel.  ' and
  'The network interface listened by the unikernel.  ')")

This happens when we call mirage --help, mirage describe, mirage clean with partial implementation choices (e.g. without a corresponding mirage configure).

+23 -1

5 comments

2 changed files

samoht

pr closed time in 19 days

pull request commentmirage/mirage

Fix cmdliner term generation for keys with the same name but differen…

I'll merge the workaround and I've created an issue to remember that this could be improved.

samoht

comment created time in 19 days

PR merged mirage/mirage

Fix `mirage clean`
+39 -21

0 comment

5 changed files

samoht

pr closed time in 19 days

push eventsamoht/mirage

Thomas Gazagnaire

commit sha da95bdbc0fc261a00983ed6ca47702ac95b510eb

Force ipaddr<5.0 temporary

view details

Thomas Gazagnaire

commit sha c6f4f3c282a8b5bd8599f5a41eb118d79e435813

Merge pull request #1177 from samoht/fix-ipaddr Force ipaddr<5.0 temporary

view details

Thomas Gazagnaire

commit sha 8b7858ba80ce5d8761edd8887c67777bc96b0ff4

Fix `mirage clean`

view details

Thomas Gazagnaire

commit sha b8f1bad5107a73d130aca796fdb70c374b24eabd

Merge pull request #1173 from samoht/clean Fix `mirage clean`

view details

Thomas Gazagnaire

commit sha e8f8fa4d8d9431d1255ee5ac1cbb81ed52571c34

Fix cmdliner term generation for keys with the same name but different defaults Since https://github.com/mirage/mirage/pull/1162 the (CLI) name is not enough to distinguish between keys. This means that we build a cmdliner term with multiple keys having the same name. In that case cmdliner will explode at runtime with something like: Fatal error: exception Invalid_argument("option name --interface defined twice (doc strings are 'The network interface listened by the unikernel. ' and 'The network interface listened by the unikernel. ')") This happens when we call `mirage --help`, `mirage describe`, `mirage clean` with partial implementation choices (e.g. without a corresponding `mirage configure`).

view details

push time in 19 days

push eventmirage/mirage

Thomas Gazagnaire

commit sha 8b7858ba80ce5d8761edd8887c67777bc96b0ff4

Fix `mirage clean`

view details

Thomas Gazagnaire

commit sha b8f1bad5107a73d130aca796fdb70c374b24eabd

Merge pull request #1173 from samoht/clean Fix `mirage clean`

view details

push time in 19 days

issue openedmirage/mirage

Improve how keys are merged when they have different defaults

https://github.com/mirage/mirage/pull/1174 pick the last defined key -- maybe we want to merge these CLI options a bit more cleverly but it's unclear what's the best UX for this.

created time in 19 days

push eventsamoht/mirage

Thomas Gazagnaire

commit sha da95bdbc0fc261a00983ed6ca47702ac95b510eb

Force ipaddr<5.0 temporary

view details

Thomas Gazagnaire

commit sha c6f4f3c282a8b5bd8599f5a41eb118d79e435813

Merge pull request #1177 from samoht/fix-ipaddr Force ipaddr<5.0 temporary

view details

Thomas Gazagnaire

commit sha 8b7858ba80ce5d8761edd8887c67777bc96b0ff4

Fix `mirage clean`

view details

push time in 19 days

startedecavallo/ptt

started time in 19 days

push eventmirage/mirage

Thomas Gazagnaire

commit sha da95bdbc0fc261a00983ed6ca47702ac95b510eb

Force ipaddr<5.0 temporary

view details

Thomas Gazagnaire

commit sha c6f4f3c282a8b5bd8599f5a41eb118d79e435813

Merge pull request #1177 from samoht/fix-ipaddr Force ipaddr<5.0 temporary

view details

push time in 19 days

PR merged mirage/mirage

Force ipaddr<5.0 temporary

That'll unbreak the CI and will be reverted once all the mirage packages are updated.

+2 -2

0 comment

2 changed files

samoht

pr closed time in 19 days

pull request commentmirage/mirage

Fix cmdliner term generation for keys with the same name but differen…

So how would you handle https://github.com/mirage/mirage/blob/master/lib/mirage/mirage_impl_network.ml#L36-L52 ?

samoht

comment created time in 19 days

issue closedocaml/opam

local cache of binary packages

Hello,

It would be nice if I build a package, then uninstall it, then reinstall it, that the already built one is re-used instead of recompiling everything again.

Thanks, F.

closed time in 19 days

UnixJunkie

issue commentocaml/opam

local cache of binary packages

This has been added directly in dune, see https://dune.readthedocs.io/en/stable/caching.html

UnixJunkie

comment created time in 19 days

PR opened mirage/mirage

Force ipaddr<5.0 temporary

That'll unbreak the build and will be reverted once all the mirage packages are updated.

+2 -2

0 comment

2 changed files

pr created time in 19 days

more