raa_tt 0.9.1

Proves sentences of propositional calculus
Documentation 
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
32
33
34
35
36
37
38
39
40
41
42
43

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

use parol::{ParolErrorReporter, build::Builder, parol_runtime::Report};

fn main() {
    // Skip in GitHub Actions
    if let Ok(in_actions) = env::var("GITHUB_ACTIONS")
        && in_actions == "true"
    {
        return;
    }

    let generate_parser = {
        let par_file = PathBuf::from("raa_tt.par");
        let exp_file = PathBuf::from("raa_tt-exp.par");

        let par_modified = fs::metadata(par_file).unwrap().modified().unwrap();
        let exp_modified = fs::metadata(exp_file).unwrap().modified().unwrap();

        par_modified > exp_modified
    };

    if generate_parser {
        println!("cargo:warning=raa_tt.par was changed");
        // CLI equivalent is:
        // parol -f ./raa_tt.par -e ./raa_tt-exp.par -p ./src/raa_tt_parser.rs -a ./src/raa_tt_grammar_trait.rs -t RaaTtGrammar -m raa_tt_grammar --trim --disable-recovery --minbox
        if let Err(err) = Builder::with_explicit_output_dir("src")
            .grammar_file("raa_tt.par")
            .expanded_grammar_output_file("../raa_tt-exp.par")
            .parser_output_file("raa_tt_parser.rs")
            .actions_output_file("raa_tt_grammar_trait.rs")
            .minimize_boxed_types()
            .user_type_name("RaaTtGrammar")
            .user_trait_module_name("raa_tt_grammar")
            .trim_parse_tree()
            // .disable_recovery()
            .generate_parser()
        {
            ParolErrorReporter::report_error(&err, "raa_tt.par").unwrap_or_default();
            process::exit(1);
        }
    }
}