quoracle 1.4.0

A library for constructing and analyzing read-write quorum systems
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

//! Build script: validates LP solver feature configuration.

fn main() {
    let microlp = cfg!(feature = "microlp");
    let cbc = cfg!(feature = "cbc");

    if microlp && cbc {
        // Both features enabled (e.g. via --all-features in CI).
        // Silently prefer microlp (the default) — no warning needed since
        // --all-features is a valid CI invocation pattern.
        return;
    }

    if !microlp && !cbc {
        // No solver configured — this is always an error.
        println!(
            "cargo:warning=quoracle: no solver feature enabled; add \
             'microlp' (default) or 'cbc' to your dependency features."
        );
        // Trigger a compile error via a non-existent cfg.
        println!("cargo:rustc-cfg=quoracle_no_solver_enabled");
    }
}