mirror of
https://gitlab.redox-os.org/redox-os/redox.git
synced 2026-07-05 02:58:42 +08:00
9 lines
228 B
TOML
9 lines
228 B
TOML
#TODO require the rust-src rustc-dev llvm-tools-preview components
|
|
[source]
|
|
git = "https://github.com/formal-land/coq-of-rust"
|
|
[build]
|
|
template = "custom"
|
|
script = """
|
|
cookbook_cargo_packages coq_of_rust_cli coq_of_rust_lib
|
|
"""
|