From 1c7a67aa8022ce09d50c711eed536b7874aaf728 Mon Sep 17 00:00:00 2001 From: swrup Date: Mon, 11 May 2026 22:04:37 +0200 Subject: [PATCH] update pins --- mte.opam | 28 ++++++++++++++-------------- network.sh | 2 +- source.sh | 4 ++-- 3 files changed, 17 insertions(+), 17 deletions(-) diff --git a/mte.opam b/mte.opam index edcff04c..97af4543 100644 --- a/mte.opam +++ b/mte.opam @@ -54,19 +54,19 @@ build: [ ] pin-depends: [ [ "zarith.dev" "git+https://github.com/mirage/Zarith.git#df8969d9bb95cffca13e31a615189ab27ada0684" ] - [ "mnet.dev" "git+https://github.com/robur-coop/mnet.git#7e07437cda26f8efd3da0c4d14d76293d8fcbc78" ] - [ "mnet-tls.dev" "git+https://github.com/robur-coop/mnet.git#7e07437cda26f8efd3da0c4d14d76293d8fcbc78" ] - [ "mnet-happy-eyeballs.dev" "git+https://github.com/robur-coop/mnet.git#7e07437cda26f8efd3da0c4d14d76293d8fcbc78" ] - [ "mnet-dns.dev" "git+https://github.com/robur-coop/mnet.git#7e07437cda26f8efd3da0c4d14d76293d8fcbc78" ] - [ "mhttp.dev" "git+https://github.com/robur-coop/mhttp.git#57df8883ad0b4dfd81812d297f26259f9efa2880" ] - [ "mhttp-client.dev" "git+https://github.com/robur-coop/mhttp.git#57df8883ad0b4dfd81812d297f26259f9efa2880" ] - [ "mhttp-server.dev" "git+https://github.com/robur-coop/mhttp.git#57df8883ad0b4dfd81812d297f26259f9efa2880" ] - [ "vif.dev" "git+https://github.com/robur-coop/vif.git#0be5b5b90a41e1b974be3793fda96b408bd0e945" ] - [ "vifu.dev" "git+https://github.com/robur-coop/vif.git#0be5b5b90a41e1b974be3793fda96b408bd0e945" ] + [ "mnet.dev" "git+https://github.com/robur-coop/mnet.git#v0.0.2" ] + [ "mnet-tls.dev" "git+https://github.com/robur-coop/mnet.git#v0.0.2" ] + [ "mnet-happy-eyeballs.dev" "git+https://github.com/robur-coop/mnet.git#v0.0.2" ] + [ "mnet-dns.dev" "git+https://github.com/robur-coop/mnet.git#v0.0.2" ] + [ "mhttp.dev" "git+https://github.com/robur-coop/mhttp.git#v0.0.2" ] + [ "mhttp-client.dev" "git+https://github.com/robur-coop/mhttp.git#v0.0.2" ] + [ "mhttp-server.dev" "git+https://github.com/robur-coop/mhttp.git#v0.0.2" ] + [ "vif.dev" "git+https://github.com/robur-coop/vif.git#v0.0.1_beta3" ] + [ "vifu.dev" "git+https://github.com/robur-coop/vif.git#v0.0.1_beta3" ] + [ "mfat.dev" "git+https://github.com/robur-coop/mfat.git#v0.0.1_beta1" ] [ "mirage-mtime.dev" "git+https://github.com/swrup/mirage-mtime.git#6a6bb4dd25624a3c43e6417dcdf73f3c689946a7" ] - [ "caqti.dev" "git+https://github.com/swrup/ocaml-caqti.git#34defd3dd86797eb1e2cdb2de3c6ac27ac87f2b7" ] - [ "caqti-miou.dev" "git+https://github.com/swrup/ocaml-caqti.git#34defd3dd86797eb1e2cdb2de3c6ac27ac87f2b7" ] - [ "caqti-mnet.dev" "git+https://github.com/swrup/ocaml-caqti.git#34defd3dd86797eb1e2cdb2de3c6ac27ac87f2b7" ] - [ "caqti-driver-pgx.dev" "git+https://github.com/swrup/ocaml-caqti.git#34defd3dd86797eb1e2cdb2de3c6ac27ac87f2b7" ] - [ "mfat.dev" "git+https://github.com/swrup/mfat.git#ab53147fbbc1ec661ed33263eea7313b0ae96433" ] + [ "caqti.dev" "git+https://github.com/swrup/ocaml-caqti.git#32e7b703390b04afbc6c2c6636c49b9ee0a60113" ] + [ "caqti-miou.dev" "git+https://github.com/swrup/ocaml-caqti.git#32e7b703390b04afbc6c2c6636c49b9ee0a60113" ] + [ "caqti-mnet.dev" "git+https://github.com/swrup/ocaml-caqti.git#32e7b703390b04afbc6c2c6636c49b9ee0a60113" ] + [ "caqti-driver-pgx.dev" "git+https://github.com/swrup/ocaml-caqti.git#32e7b703390b04afbc6c2c6636c49b9ee0a60113" ] ] diff --git a/network.sh b/network.sh index 712edd58..93ef0530 100755 --- a/network.sh +++ b/network.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh set -e sudo ip link add name br0 type bridge diff --git a/source.sh b/source.sh index 2db3c928..59b9ecd5 100755 --- a/source.sh +++ b/source.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh [ ! -d vendors ] && mkdir vendors [ -d vendors/zarith ] || opam source zarith --dir vendors/zarith @@ -27,4 +27,4 @@ [ -d vendors/mirage-ptime ] || opam source mirage-ptime --dir vendors/mirage-ptime [ -d vendors/caqti ] || opam source caqti --dir vendors/caqti # avoid caqti-driver-sqlite3 dune rule error on "sqlite3" package not found -rm -r vendors/caqti/caqti-driver-sqlite3 +[ ! -d vendors/caqti/caqti-driver-sqlite3 ] || rm -r vendors/caqti/caqti-driver-sqlite3