correctly install pycryptosat

dimpase · dimpase · commit cdd19b0ac19b · 2022-01-14T10:17:27.000Z
pycryptosat is build together with cryptominisat,
and installed in the same prefix (by cmake). For us,
the correct prefix is SAGE_VENV, so we need to install
again, there. See #33162 for details.
diff --git a/build/pkgs/cryptominisat/spkg-install.in b/build/pkgs/cryptominisat/spkg-install.in
@@ -3,3 +3,7 @@ cd src
 sdh_cmake -DUSE_GAUSS='ON' $EXTRA_OPTS
 sdh_make VERBOSE=ON
 sdh_make_install VERBOSE=ON
+
+cd pycryptosat
+
+sdh_pip_install .
