conjure_cp_cli/
find_conjure.rs1use anyhow::{Result, anyhow, bail};
2use versions::Versioning;
3
4const CONJURE_MIN_VERSION: &str = "2.6.0";
5const CORRECT_FIRST_LINE: &str = "Conjure: The Automated Constraint Modelling Tool";
6
7pub fn conjure_executable() -> Result<()> {
10 let mut cmd = std::process::Command::new("conjure");
11 let output = cmd.arg("--version").output()?;
12 let stdout = String::from_utf8(output.stdout)?;
13 let stderr = String::from_utf8(output.stderr)?;
14
15 if !stderr.is_empty() {
16 bail!("'conjure' results in error: ".to_string() + &stderr);
17 }
18 let first = stdout
19 .lines()
20 .next()
21 .ok_or(anyhow!("Could not read stdout"))?;
22 if first != CORRECT_FIRST_LINE {
23 let path = std::env::var("PATH")?;
24 let paths = std::env::split_paths(&path);
25 let num_conjures = paths.filter(|path| path.join("conjure").exists()).count();
26 if num_conjures > 1 {
27 bail!(
28 "Conjure may be present in PATH after a conflicting name. \
29 Make sure to prepend the correct path to Conjure to PATH."
30 )
31 } else {
32 bail!("The correct Conjure executable is not present in PATH.")
33 }
34 }
35
36 let version_line = stdout
37 .lines()
38 .nth(1)
39 .ok_or(anyhow!("Could not read Conjure's stdout"))?;
40 let version_and_repo = version_line.strip_prefix("Conjure v").ok_or(anyhow!(
41 "Could not read Conjure's version from: {version_line}"
42 ))?;
43 let (version, _) = version_and_repo
44 .split_once(" (Repository version ")
45 .ok_or(anyhow!(
46 "Could not read Conjure's version from: {version_line}"
47 ))?;
48
49 if Versioning::new(version) < Versioning::new(CONJURE_MIN_VERSION) {
50 bail!("Conjure version is too old (< {CONJURE_MIN_VERSION}): {version}");
51 }
52 Ok(())
53}