smtlib_build_util/
lib.rs

1pub use itertools;
2pub use miette;
3use miette::{Context, IntoDiagnostic, Result};
4use std::path::{Path, PathBuf};
5
6pub mod spec;
7
8pub fn out_dir() -> PathBuf {
9    PathBuf::from(std::env::var("OUT_DIR").expect("Could not get OUT_DIR"))
10}
11
12pub fn env_var(key: &str) -> Result<String> {
13    println!("cargo:rerun-if-env-changed={key}");
14    std::env::var(key)
15        .into_diagnostic()
16        .with_context(|| format!("reading env var ${key}"))
17}
18
19pub fn read_to_string(path: impl AsRef<Path>) -> Result<String> {
20    let path = path.as_ref();
21    println!("cargo:rerun-if-changed={path:?}");
22    std::fs::read_to_string(path).into_diagnostic()
23}
smtlib_build_util/lib.rs

smtlib_build_util/
lib.rs
