Merge pull request conjure-cp#245 from niklasdewally/fix/minion-debug…

…-build-rs minion_rs: rebuild when DEBUG_MINION changes
gskorokhod · Feb 23, 2024 · bc7a9be · bc7a9be
2 parents e711ffb + 3c77239
commit bc7a9be
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 4 deletions.
diff --git a/solvers/minion/README.md b/solvers/minion/README.md
@@ -15,3 +15,9 @@ This crate is licensed under the [Mozilla Public Licence 2.0](https://www.mozill
 ## Debugging
 
 Debug symbols for Minion can be enabled by setting the environment variable `DEBUG_MINION`.
+
+Eg.
+
+```shell
+DEBUG_MINION=true cargo test
+```
diff --git a/solvers/minion/build.rs b/solvers/minion/build.rs
@@ -18,6 +18,7 @@ fn main() {
     println!("cargo:rerun-if-changed=vendor");
     println!("cargo:rerun-if-changed=build.rs");
     println!("cargo:rerun-if-changed=build.sh");
+    println!("cargo:rerun-if-env-changed=DEBUG_MINION");
 
     build();
 

diff --git a/solvers/minion/clean.sh b/solvers/minion/clean.sh