scripts: switch everything to use uv and add uv instructions in the README.md

Author: kkysen

README.md

@@ -50,12 +50,21 @@ so refer to the in-tree [./manual/](./manual/) for more up-to-date instructions.
 ### Prerequisites
 
 C2Rust requires LLVM 7 or later with its corresponding clang compiler and libraries.
-Python 3.6 or later, CMake 3.5 or later, and openssl (1.0) are also required. These prerequisites may be installed with the following commands, depending on your platform:
+Python (through `uv`), CMake 3.5 or later and openssl (1.0) are also required.
+These prerequisites may be installed with the following commands, depending on your platform:
+
+Python:
+
+```sh
+curl -LsSf https://astral.sh/uv/install.sh | sh
+uv venv
+uv pip install -r scripts/requirements.txt
+```
 
 - **Ubuntu 18.04, Debian 10, and later:**
 
     ```sh
-    apt install build-essential llvm clang libclang-dev cmake libssl-dev pkg-config python3 git
+    apt install build-essential llvm clang libclang-dev cmake libssl-dev pkg-config git
     ```
 
 Depending on the LLVM distribution, the `llvm-dev` package may also be required.
@@ -64,7 +73,7 @@ For example, the official LLVM packages from [apt.llvm.org](https://apt.llvm.org
 - **Arch Linux:**
 
     ```sh
-    pacman -S base-devel llvm clang cmake openssl python
+    pacman -S base-devel llvm clang cmake openssl
     ```
 
 - **NixOS / nix:**
@@ -77,7 +86,7 @@ For example, the official LLVM packages from [apt.llvm.org](https://apt.llvm.org
 
     ```sh
     xcode-select --install
-    brew install llvm python3 cmake openssl
+    brew install llvm cmake openssl
     ```
 
 The C2Rust transpiler now builds using a stable Rust compiler.
@@ -302,7 +311,7 @@ is very similar, but not always as up-to-date and comprehensive as `bear`.
 but a standalone version can be easily installed via `pip` with:
 
 ```sh
-pip install scan-build
+uv tool install scan-build
 ```
 
 #### ... with `compiledb`
@@ -312,7 +321,7 @@ Unlike the others, it doesn't require a clean build/`make clean`.
 Install via `pip` with:
 
 ```sh
-pip install compiledb
+uv tool install compiledb
 ```
 
 Usage:

book.toml

@@ -7,7 +7,7 @@ create-missing = false
 preprocess = ["links", "index"]
 
 [preprocessor.generator_dispatch]
-command = "python3 manual/preprocessors/generator_dispatch.py"
+command = "./manual/preprocessors/generator_dispatch.py"
 
 [output.html]
 

c2rust-analyze/rename_nll_facts.py

@@ -1,5 +1,7 @@
+#!/usr/bin/env -S uv run
+
 '''
-Usage: `python3 rename_nll_facts.py src ref dest`
+Usage: `./rename_nll_facts.py src ref dest`
 
 Renames atoms in `src/*.facts` to match the names used in `ref/*.facts`, then
 writes the renamed facts to `dest/`.

c2rust-analyze/scripts/auto_fix_errors.py

@@ -1,4 +1,5 @@
-#!/usr/bin/env python3
+#!/usr/bin/env -S uv run
+
 import argparse
 from collections import defaultdict, namedtuple
 import json

c2rust-analyze/scripts/extract_working_defs.py

@@ -1,4 +1,5 @@
-#!/usr/bin/env python3
+#!/usr/bin/env -S uv run
+
 """
 Script for extracting defs on which rewriting succeeded.  Currently, this is
 specific to lighttpd_rust_amalgamated, but it could be generalized to work on
@@ -8,6 +9,7 @@
 then locates each working def in the rewritten code by searching for "start/end
 of def" comments and prints the code for each working def to stdout.
 """
+
 from dataclasses import dataclass
 import re
 import subprocess

c2rust-analyze/scripts/pointwise_metrics.py

@@ -1,3 +1,5 @@
+#!/usr/bin/env -S uv run
+
 '''
 Process logs to compute pointwise success rate metrics.
 

c2rust-analyze/scripts/run_pointwise_metrics.sh

@@ -100,4 +100,4 @@ done |& tee "$unmodified_log_file"
 echo
 echo 
 
-python3 "$SCRIPT_DIR/pointwise_metrics.py" "$pointwise_log_file" "$unmodified_log_file"
+"$SCRIPT_DIR/pointwise_metrics.py" "$pointwise_log_file" "$unmodified_log_file"

c2rust-analyze/tests/auto_fix_errors.rs

@@ -38,8 +38,8 @@ fn test(file_name: &str) {
     );
 
     // Run the script to fix errors.
-    let mut cmd = Command::new("python3");
-    cmd.arg(&script_path).arg(&json_path);
+    let mut cmd = Command::new(script_path);
+    cmd.arg(&json_path);
     let status = cmd.status().unwrap();
     assert!(
         status.success(),

c2rust-analyze/tests/filecheck/lighttpd_buffer.rs

@@ -14,10 +14,10 @@ cargo test lighttpd_buffer
 
 # Auto-fix remaining compile errors
 rustc --crate-type rlib --error-format json test_buffer.rs 2>errors.json
-python3 scripts/auto_fix_errors.py errors.json
+./scripts/auto_fix_errors.py errors.json
 # Run again to fix newly uncovered errors
 rustc --crate-type rlib --error-format json test_buffer.rs 2>errors.json
-python3 scripts/auto_fix_errors.py errors.json
+./scripts/auto_fix_errors.py errors.json
 
 # Remove `unsafe`
 sed -i -e 's/\<unsafe //' test_buffer.rs

c2rust-refactor/build.rs

@@ -5,14 +5,11 @@ use std::path::Path;
 use std::process::Command;
 
 fn process_ast(mode: &str, dest: &Path) {
-    let mut p = Command::new("python3")
-        .arg("-B") // Don't write bytecode files (and thus pollute the source
-        // directory)
-        .arg("gen/process_ast.py")
+    let mut p = Command::new("gen/process_ast.py")
         .arg(mode)
         .arg(dest)
         .spawn()
-        .expect("failed to run process_ast.py. Make sure python3 is in your PATH.");
+        .expect("failed to run process_ast.py");
 
     let ret = p.wait().expect("failed to wait on process_ast.py");