-
Notifications
You must be signed in to change notification settings - Fork 97
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
chore: Upgrade RTS Dependencies #4677
base: master
Are you sure you want to change the base?
Changes from all commits
4984cd5
fdd2ff2
9153fca
a6d1305
aa445dd
04e04e6
af74f86
a10ab53
7aa01e7
f8a970d
6572974
323d52e
923086b
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -78,7 +78,7 @@ let | |
}; | ||
}; | ||
|
||
# No testing of atdgen, as it pulls in python stuff, tricky on musl | ||
# No testing of atdgen, as it pulls in python stuff | ||
atdgen = super.ocamlPackages.atdgen.overrideAttrs { doCheck = false; }; | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. this could be There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. or rather leave it uncustomized? |
||
}; | ||
} | ||
|
@@ -91,13 +91,11 @@ let | |
|
||
# Rust nightly | ||
(self: super: let | ||
rust-channel = self.moz_overlay.rustChannelOf { date = "2023-04-21"; channel = "nightly"; }; | ||
rust-channel = self.moz_overlay.rustChannelOf { date = "2024-07-28"; channel = "nightly"; }; | ||
in rec { | ||
rustc-nightly = rust-channel.rust.override { | ||
targets = [ | ||
"wasm32-unknown-emscripten" | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. oh, why were these here? There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. We used emscripten to get PIC-relocatable shared Wasm modules for the RTS. This is now redundant by the customized RTS backends. |
||
"wasm32-wasi" | ||
"i686-unknown-linux-gnu" | ||
]; | ||
extensions = ["rust-src"]; | ||
}; | ||
|
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -70,15 +70,15 @@ | |
"version": "v1.2.0" | ||
}, | ||
"motoko-base": { | ||
"branch": "next-moc", | ||
"branch": "pull/589/head", | ||
"description": "The Motoko base library", | ||
"homepage": "", | ||
"owner": "dfinity", | ||
"repo": "motoko-base", | ||
"rev": "21a80ab250501a5de3365114abb242559573fecc", | ||
"sha256": "0zm60azafdfczdiqkqs1fwgxf3crb2bk0vs7y09rvnwkqgqkxxw8", | ||
"rev": "1bece926bfc417db5661c66d8617f6b09ab06b95", | ||
"sha256": "02i8s4ybjmbbf72jclpvqcsxh4dypgsxqsagiga64jqyprmqzvlr", | ||
"type": "tarball", | ||
"url": "https://github.com/dfinity/motoko-base/archive/21a80ab250501a5de3365114abb242559573fecc.tar.gz", | ||
"url": "https://github.com/dfinity/motoko-base/archive/1bece926bfc417db5661c66d8617f6b09ab06b95.tar.gz", | ||
"url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz" | ||
Comment on lines
-73
to
82
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. This is to be changed back to There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Let's not forget this |
||
}, | ||
"motoko-matchers": { | ||
|
@@ -94,30 +94,16 @@ | |
"url": "https://github.com/kritzcreek/motoko-matchers/archive/cb838c192df3328ff9ae172e2dc7338cf55e74bf.tar.gz", | ||
"url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz" | ||
}, | ||
"musl-wasi": { | ||
"branch": "main", | ||
"builtin": false, | ||
"description": "WASI libc implementation for WebAssembly", | ||
"homepage": "https://wasi.dev", | ||
"owner": "WebAssembly", | ||
"repo": "wasi-libc", | ||
"rev": "c5264e2bbe532994d06b039005f2af91bedcc1a6", | ||
"sha256": "1skw2jqzaidr2zbzbjw32b36xvqniwf4if8cr4kbpp8vjvh7j2lr", | ||
"type": "tarball", | ||
"url": "https://github.com/WebAssembly/wasi-libc/archive/c5264e2bbe532994d06b039005f2af91bedcc1a6.tar.gz", | ||
"url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz" | ||
}, | ||
"nixpkgs": { | ||
"branch": "release-24.05", | ||
"builtin": true, | ||
"description": "Nixpkgs/NixOS branches that track the Nixpkgs/NixOS channels", | ||
"homepage": null, | ||
"description": "Nix Packages collection & NixOS", | ||
"homepage": "", | ||
"owner": "NixOS", | ||
"repo": "nixpkgs", | ||
"rev": "68f19df4809ea68e782cddc5f3e9827cb5db65cb", | ||
"sha256": "1caizbyi4sc5b47il8kbr2a8aripyb6wqw56dpgdhcmfhng17wb0", | ||
"rev": "404f983f8c1da3ed403c95df9bd18d7c3b23399d", | ||
"sha256": "025alb35qf1iwmz45615ahp400q54582kqzc0238a51ai2w88pxc", | ||
"type": "tarball", | ||
"url": "https://github.com/NixOS/nixpkgs/archive/68f19df4809ea68e782cddc5f3e9827cb5db65cb.tar.gz", | ||
"url": "https://github.com/NixOS/nixpkgs/archive/404f983f8c1da3ed403c95df9bd18d7c3b23399d.tar.gz", | ||
"url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz" | ||
}, | ||
"nixpkgs-mozilla": { | ||
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
this package now merged into
bintools
? We do usewasm-ld-18
below...There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yes,
wasm-ld
is part ofbintools
.