Improve all Rust tooling recipes

This commit is contained in:
Ribbon 2026-03-12 15:10:50 -03:00
parent e57164aa7b
commit e7cdadfe12
16 changed files with 47 additions and 43 deletions

View File

@ -1,5 +1,6 @@
#TODO camino crate compilation error
[source]
git = "https://github.com/Canop/bacon"
shallow_clone = true
[build]
template = "cargo"

View File

@ -1,11 +1,10 @@
#TODO compilation error
[source]
git = "https://github.com/immunant/c2rust"
shallow_clone = true
[build]
template = "custom"
template = "cargo"
cargopackages = ["c2rust"]
dependencies = [
"openssl1",
"openssl3",
]
script = """
cookbook_cargo_packages c2rust
"""

View File

@ -1,8 +1,16 @@
#TODO not compiled or tested
#TODO require the rust-src rustc-dev llvm-tools-preview components
[source]
git = "https://github.com/formal-land/coq-of-rust"
shallow_clone = true
[build]
template = "custom"
script = """
cookbook_cargo_packages coq_of_rust_cli coq_of_rust_lib
"""
template = "cargo"
cargopackages = [
"coq_of_rust_cli",
"coq_of_rust_lib",
]
[package]
dependencies = [
"rust",
"llvm21-common",
]

View File

@ -1,8 +1,9 @@
#TODO camino crate error
[source]
git = "https://github.com/rust-lang/crater"
shallow_clone = true
[build]
template = "cargo"
dependencies = [
"openssl1",
"openssl3",
]

View File

@ -1,8 +1,7 @@
#TODO missing script to properly move the binary
[source]
git = "https://github.com/rust-diplomat/diplomat"
shallow_clone = true
[build]
template = "custom"
script = """
cookbook_cargo_packages diplomat
"""
template = "cargo"
cargopackages = ["diplomat"]

View File

@ -1,11 +1,13 @@
#TODO cargo-util crate error
[source]
git = "https://github.com/trailofbits/dylint"
shallow_clone = true
[build]
template = "custom"
dependencies = [
"openssl1",
template = "cargo"
cargopackages = [
"cargo-dylint",
"dylint-link",
]
dependencies = [
"openssl3",
]
script = """
cookbook_cargo_packages cargo-dylint dylint-link
"""

View File

@ -1,8 +1,7 @@
#TODO camino crate error
[source]
git = "https://github.com/evcxr/evcxr"
shallow_clone = true
[build]
template = "custom"
script = """
cookbook_cargo_packages evcxr_jupyter
"""
template = "cargo"
cargopackages = ["evcxr_jupyter"]

View File

@ -1,8 +1,7 @@
#TODO camino crate error
[source]
git = "https://github.com/evcxr/evcxr"
shallow_clone = true
[build]
template = "custom"
script = """
cookbook_cargo_packages evcxr_repl
"""
template = "cargo"
cargopackages = ["evcxr_repl"]

View File

@ -1,8 +1,9 @@
#TODO compiled but not tested
[source]
git = "https://github.com/Jitpomi/ferrisup"
shallow_clone = true
[build]
template = "cargo"
dependencies = [
"openssl1",
"openssl3",
]

View File

@ -1,5 +1,6 @@
#TODO compiled but not tested
[source]
git = "https://github.com/model-checking/kani"
shallow_clone = true
[build]
template = "cargo"

View File

@ -1,5 +1,6 @@
#TODO compiled but not tested
[source]
git = "https://github.com/fornwall/rust-script"
shallow_clone = true
[build]
template = "cargo"

View File

@ -1,8 +1,7 @@
#TODO compiled but not tested (after cargo update)
[source]
git = "https://github.com/a11ywatch/rust-to-npm"
shallow_clone = true
[build]
template = "custom"
script = """
cookbook_cargo_packages rust-to-npm-cli
"""
template = "cargo"
cargopackages = ["rust-to-npm-cli"]

View File

@ -3,11 +3,7 @@
git = "https://github.com/rust-lang/rustup"
shallow_clone = true
[build]
template = "custom"
template = "cargo"
dependencies = [
"openssl3",
]
script = """
DYNAMIC_INIT
cookbook_cargo
"""

View File

@ -3,11 +3,7 @@
git = "https://github.com/mozilla/sccache"
shallow_clone = true
[build]
template = "custom"
template = "cargo"
dependencies = [
"openssl3",
]
script = """
DYNAMIC_INIT
cookbook_cargo
"""

View File

@ -1,5 +1,6 @@
#TODO users crate error
[source]
git = "https://github.com/igor-petruk/scriptisto"
shallow_clone = true
[build]
template = "cargo"

View File

@ -1,5 +1,6 @@
#TODO compiled but not tested
[source]
git = "https://github.com/stepchowfun/tagref"
shallow_clone = true
[build]
template = "cargo"