Brak opisu

Jethro Beekman 58e2337cf1 Update to 2016-10-28 8 lat temu
patches 58e2337cf1 Update to 2016-10-28 8 lat temu
src 5694474891 Make most of Cursor available without collections. Fixes #4 8 lat temu
.gitignore b358934c5c Keep track of individual patches instead of patched source versions 8 lat temu
Cargo.toml 58e2337cf1 Update to 2016-10-28 8 lat temu
LICENSE-APACHE 625484e0c3 Add some documentation and copyright info 8 lat temu
LICENSE-MIT 625484e0c3 Add some documentation and copyright info 8 lat temu
README.md 281a9216e4 Update README 8 lat temu
build-src.sh 60e5225eaa Add patch-editing interactive script 8 lat temu
build.rs 3ad99dcdae Allow specifying a specific std version (by commit hash) in an environment variable 8 lat temu
doc.sh 3b0668806a Add collections/alloc features 8 lat temu
edit-patches.sh 60e5225eaa Add patch-editing interactive script 8 lat temu
functions.sh c026b915d9 Fix whitespace passing 8 lat temu
mapping.rs 58e2337cf1 Update to 2016-10-28 8 lat temu

README.md

core_io

std::io with all the parts that don't work in core removed.

Adding new nightly versions

First, make sure the commit you want to add is fetch in the git tree at /your/rust/dir/.git. Then, import the right source files:

$ echo FULL_COMMIT_ID ...|GIT_DIR=/your/rust/dir/.git ./build-src.sh

Instead of echoing in the commit IDs, you might pipe in rustc-commit-db list-valid.

The build-src script will prompt you to create patches for new commits. You will be dropped in a shell prompt with a temporary new, clean, git repository just for this patch. Make any changes necessary to make it build. Don't commit any changes! When exiting the shell and the script will use the working tree diff as the patch. The temporary git repository will be deleted. Before dropping into the shell, the script will show you nearby commits, you can try to apply $PATCH_DIR/that_commit.patch and see if it works for you.

Editing patches

To edit all patches, again make a checkout of the rust source. Then, run:

$ GIT_DIR=/your/rust/dir/.git ./edit-patches.sh

The script will prompt you to make changes. You will be dropped in a shell prompt with a temporary new, clean, git repository just for this patch edit. The original patch will be the HEAD commit in the repository. Make any changes you want. Don't commit any changes! When exiting the shell and the script will use the diff between the working tree and the root commit as the patch. The temporary git repository will be deleted. When editing further commits, the previous patch changes will already be applied to the working tree (if succesful).