lean-tui 0.3.1

Standalone TUI infoview for Lean 4 theorem prover
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

use std::{env, fs, path::PathBuf};

const LEAN_DAG_COMMIT: &str = "d703dde00f08d06a1769156ba1f5c9e8fbb41abe";

fn main() {
    let schema_json = env::var("LEAN_DAG_SCHEMA")
        .map(PathBuf::from)
        .ok()
        .filter(|p| p.exists())
        .map_or_else(
            || {
                let url = format!(
                    "https://codeberg.org/wvhulle/lean-dag/raw/commit/{LEAN_DAG_COMMIT}/protocol-schema.json"
                );
                ureq::get(&url).call().expect("fetch schema").into_string().expect("read response")
            },
            |p| {
                println!("cargo:rerun-if-changed={}", p.display());
                fs::read_to_string(&p).expect("read local schema")
            },
        );

    let mut type_space = typify::TypeSpace::default();
    type_space
        .add_root_schema(serde_json::from_str(&schema_json).expect("parse schema"))
        .expect("add schema");

    let out_dir = PathBuf::from(env::var("OUT_DIR").unwrap());
    let code = prettyplease::unparse(&syn::parse2(type_space.to_stream()).unwrap());
    fs::write(out_dir.join("protocol_types.rs"), code).unwrap();
}