search

tarides / tezos

Mirror of the release branches for Tezos, a self-amending cryptographic ledger
https://gitlab.com/tezos/tezos
Other
0 stars 2 forks source link

lib_context: update to use Irmin 3.0 #18

Closed craigfe closed 2 years ago

craigfe commented 2 years ago

Currently using the minimal indexing strategy.

Depends on https://github.com/mirage/irmin/pull/1664 (mirage/craigfe@user-defined-indexing-strategies), which needs the following additional pin-depends:

pin-depends: [
  [ "repr.dev" "git+https://github.com/mirage/repr#031cbb3728c3394e46b25a5e77aa5ceaa674c235" ]
  [ "ppx_repr.dev" "git+https://github.com/mirage/repr#031cbb3728c3394e46b25a5e77aa5ceaa674c235" ]
  [ "index.dev" "git+https://github.com/mirage/index#a60af0e40052093d810dfaca8ce5c8c1a74d882f" ]
]
Ngoguey42 commented 2 years ago

I've rebased on top of a newer master. It uses repr 0.9.0, the same index version and irmin main at hash b5b8186ca9eeafb1fb5ea34fea3417d7e8931457.