Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
56 commits
Select commit Hold shift + click to select a range
d5a4057
opam.export: bump to use ocaml 5.2.1 & core 0.17 packages
glyh Nov 29, 2025
ec01e1e
bump toolchain source to use ocaml 5.2.1
glyh Nov 29, 2025
1cf2b4e
bump makefile & update opam switch script to use ocaml 5.2.1
glyh Nov 29, 2025
b7304f7
Bump opam repo pins
glyh Nov 29, 2025
5743801
Remove dep base.caml as it's no longer present
glyh Nov 29, 2025
740e4e3
Remove dep core.uuid as it's no longer present
glyh Nov 29, 2025
e190180
remove core_kernel as it's replaced by core
glyh Nov 29, 2025
4c33e62
remove ocaml-migrate-parsetree as it's replaced by ppxlib
glyh Nov 29, 2025
68d9292
forbid core_unix instead of core as core_kernel is replaced by core
glyh Nov 29, 2025
b9f2963
remove sexp_diff_kernel as it's replaced by sexp_diff
glyh Nov 29, 2025
f9765f4
remove a bunch of other libs that no longer exists
glyh Nov 29, 2025
fe52493
node config: use relative inclusion for config.mlh
glyh Nov 29, 2025
5f6327f
patch lib/snark_keys_header to OCaml 5.2.1
glyh Nov 29, 2025
fe4ef8a
patch lib/webkit_trace_event for 5.2.1
glyh Nov 29, 2025
9e3a48b
patch lib/visualization for 5.2.1
glyh Nov 29, 2025
2ea457c
patch lib/ppx_util for 5.2.1
glyh Nov 29, 2025
c106b58
patch lib/ppx_annot for 5.2.1
glyh Nov 29, 2025
072fde9
patch lib/sync_status for 5.2.1
glyh Nov 29, 2025
1256b38
patch lib/structured_log_events for 5.2.1
glyh Nov 29, 2025
6d082f2
CHATGPT_GENERATED: patch ppx_register_event for 5.2.1
glyh Nov 29, 2025
0f55832
patch lib/ppx_mina for 5.2.1
glyh Nov 29, 2025
ba207b2
patch lib/fields_deriviers for 5.2.1
glyh Nov 29, 2025
e4f7826
patch lib/fields_derivers_graphql for 5.2.1
glyh Nov 29, 2025
856e51a
mina version: patch to 5.2.1
glyh Nov 29, 2025
2731a2e
snark_field_extensions: patch for 5.2.1
glyh Nov 29, 2025
203d419
app > reformat: patch for 5.2.1
glyh Nov 29, 2025
e6f585e
patch lib/signature_kind to 5.2.1
glyh Nov 29, 2025
c764cd1
lib/testing/itn_logger: bump to 5.2.1
glyh Nov 29, 2025
74ac439
lib/logger: bump to 5.2.1
glyh Nov 29, 2025
e862dfd
lib/bowe_gabizon_hash: bump to 5.2.1
glyh Nov 29, 2025
1d95c7b
patch lib/sparse_ledger to 5.2.1
glyh Nov 29, 2025
349e543
patch snarky for ocaml 5.2.1
glyh Nov 29, 2025
2b5c6ee
port mina_debug to 5.2.1
glyh Nov 30, 2025
a88dbaa
port o1trace to 5.2.1
glyh Dec 1, 2025
abc2950
mina metrics: port to 5.2.1
glyh Dec 1, 2025
091df23
port merkle_list_prover to 5.2.1
glyh Dec 1, 2025
bb3b875
port random_oracle_input to 5.2.1
glyh Dec 1, 2025
e0dfad2
port key_cache to 5.2.1
glyh Dec 1, 2025
87f305b
participating_state: port to 5.2.1
glyh Dec 1, 2025
f22e4f5
bignum bigint: Port to 5.2.1
glyh Dec 1, 2025
a7d437a
key_value_database: port to 5.2.1
glyh Dec 1, 2025
f3d796c
hex: port to 5.2.1
glyh Dec 1, 2025
471d4c2
parallel: port to 5.2.1 + core v0.17
glyh Dec 1, 2025
771fac4
snarky_group_map: port to 5.2.1
glyh Dec 1, 2025
dd3d517
concurrency > interruptible: port to 5.2.1
glyh Dec 1, 2025
596a75a
concurrency > promise: port to 5.2.1
glyh Dec 1, 2025
2f2050a
concurrency > pipe_lib: port to 5.2.1
glyh Dec 1, 2025
472554b
port ppx-version to OCaml 5.2.1 + Core.v0.17.0
glyh Nov 29, 2025
ffc1350
port mina-stdlib to 5.2.1
glyh Nov 29, 2025
a9d0a39
port network_peer -> 5.2.1
glyh Dec 1, 2025
979a55c
patch lib/logproc_lib for 5.2.1
glyh Nov 29, 2025
2b3f54a
port perf_histograms to 5.2.1
glyh Dec 1, 2025
b398654
port allocation funtor to 5.2.1
glyh Dec 1, 2025
f9c9b26
port fields_derivers to 5.2.1
glyh Dec 1, 2025
9d7e64f
port blake2 to 5.2.1
glyh Dec 1, 2025
88648e1
port plonkish prelude to 5.2.1
glyh Dec 1, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
## Configuration

# Current OCaml version
OCAML_VERSION = "4.14.2"
OCAML_VERSION = "5.2.1"

# machine word size
WORD_SIZE = "64"
Expand Down
8 changes: 4 additions & 4 deletions dockerfiles/stages/1-build-deps
Original file line number Diff line number Diff line change
Expand Up @@ -34,8 +34,8 @@ ARG TARGETARCH
# - dockerfiles/1-build-deps
# - opam.export
# - scripts/update_opam_switch.sh
ARG OCAML_VERSION=4.14
ARG OCAML_REVISION=.2
ARG OCAML_VERSION=5.2
ARG OCAML_REVISION=.1
ARG OCAML_VARIANT=
ARG OCAML_PACKAGE=
ARG OPAM_VERSION=2.3.0
Expand All @@ -44,8 +44,8 @@ ARG OPAM_VERSION=2.3.0
# - flake.nix (and flake.lock after running
# `nix flake update opam-repository`).
# - scripts/update_opam_switch.sh
ARG OPAM_REPOSITORY_COMMIT=08d8c16c16dc6b23a5278b06dff0ac6c7a217356
ARG O1LABS_OPAM_REPOSITORY_COMMIT=dd90c5c72b7b7caeca3db3224b2503924deea08a
ARG OPAM_REPOSITORY_COMMIT=2e72379851a4769911b11b7f85be197919fe4b82
ARG O1LABS_OPAM_REPOSITORY_COMMIT=5a86178017864741537d7b1cac96a957b4ddcb88

# Golang version number used to detemine tarball name
ARG GO_VERSION=1.19.11
Expand Down
16 changes: 8 additions & 8 deletions flake.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 2 additions & 2 deletions flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@
inputs.describe-dune.inputs.nixpkgs.follows = "nixpkgs";
inputs.describe-dune.inputs.flake-utils.follows = "utils";

inputs.o1-opam-repository.url = "github:o1-labs/opam-repository/dd90c5c72b7b7caeca3db3224b2503924deea08a";
inputs.o1-opam-repository.url = "github:o1-labs/opam-repository/5a86178017864741537d7b1cac96a957b4ddcb88";
inputs.o1-opam-repository.flake = false;

# The version must be the same as the version used in:
Expand All @@ -40,7 +40,7 @@
# `nix flake update opam-repository`).
# - scripts/update-opam-switch.sh
inputs.opam-repository.url =
"github:ocaml/opam-repository/08d8c16c16dc6b23a5278b06dff0ac6c7a217356";
"github:ocaml/opam-repository/2e72379851a4769911b11b7f85be197919fe4b82";
inputs.opam-repository.flake = false;

inputs.nixpkgs-mozilla.url = "github:mozilla/nixpkgs-mozilla";
Expand Down
Loading