Update conda instructions

coq-tactician · Dec 24, 2023 · c071d48 · c071d48
1 parent e3c49b2
commit c071d48
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -195,7 +195,8 @@ git clone --recurse-submodules [email protected]:coq-tactician/coq-tactician-api.gi
 cd coq-tactician-api
 conda env create -f environment.yml
 conda activate tactician
-export CPATH="$CONDA_PREFIX:$CPATH" # Needed by cmake to find conda headers
+conda env config vars set CPATH=${CONDA_PREFIX}/include:${CPATH}
+conda activate tactician
 ```
 
 On Ubuntu 22.04 or newer, you can get the required packages as follows (older versions of Ubuntu