Skip to content

Remove python from build inputs; bump devShell to python312 #18

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.

Sign up for GitHub

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

Open
masad-frost wants to merge 4 commits into
base: main
Choose a base branch
from
Open

Remove python from build inputs; bump devShell to python312 #18

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
e822b84
Remove python from build inputs; bump devShell to python312
masad-frost Apr 2, 2026
07333a1
Bump python310 to python312 in ci_check.sh and replit.nix
masad-frost Apr 2, 2026
68d7905
Use python314 instead of python312
masad-frost Apr 2, 2026
1ef61ca
Use python314 instead of python314Full (removed in nixpkgs)
masad-frost Apr 2, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions flake.nix
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
pname = "replit_rtld_loader";
version = "1";
src = ./.;
buildInputs = [pkgs.python310];
buildInputs = [];
installPhase = ''
mkdir $out
mv rtld_loader.so $out/
Expand All @@ -21,7 +21,7 @@
packages.x86_64-linux.default = package;
devShells.x86_64-linux.default = pkgs.mkShell {
packages = with pkgs; [
python310
python314
gnumake
];
};
Expand Down
2 changes: 1 addition & 1 deletion replit.nix
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
{pkgs}: {
deps = [
pkgs.gdb
pkgs.python310Full
pkgs.python314
pkgs.clang
];
}
2 changes: 1 addition & 1 deletion scripts/ci_check.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
#! /usr/bin/env nix-shell
#! nix-shell -i bash -p clang python310Full gnumake
#! nix-shell -i bash -p clang python314 gnumake

set -e

Expand Down
Loading