Try to fix doc build on docs.rs

.github/workflows/check-test.yml

@@ -36,6 +36,18 @@ jobs:
       - name: Run cargo test suite
         run: cargo test --workspace --verbose
 
+  doc:
+    name: Doc
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v4
+      - name: Install stable toolchain
+        uses: dtolnay/rust-toolchain@stable
+      - uses: Swatinem/rust-cache@v2
+      - name: Run cargo doc
+        run: cargo doc --workspace --verbose --no-deps --features=all
+
   pystubs:
     name: Test python stubs
     runs-on: ubuntu-latest

cadical/build.rs

@@ -56,6 +56,7 @@ fn main() {
     };
 
     // Build C++ library
+    #[cfg(not(doc))]
     build(
         "https://github.com/arminbiere/cadical.git",
         "master",

glucose/build.rs

@@ -3,6 +3,7 @@ use std::{env, fs, path::Path, str};
 fn main() {
     // Build C++ library
     // Full commit hash needs to be provided
+    #[cfg(not(doc))]
     build(
         "https://github.com/chrjabs/glucose4.git",
         "main",

glucose/src/core.rs

@@ -231,7 +231,7 @@ impl PhaseLit for Glucose {
         Ok(())
     }
 
-    /// Undoes the effect of a call to [`CaDiCaL::phase_lit`]
+    /// Undoes the effect of a call to [`Glucose::phase_lit`]
     fn unphase_var(&mut self, var: Var) -> Result<(), SolverError> {
         unsafe { ffi::cglucose4_unphase(self.handle, var.to_ipasir()) };
         Ok(())

glucose/src/simp.rs

@@ -248,7 +248,7 @@ impl PhaseLit for Glucose {
         Ok(())
     }
 
-    /// Undoes the effect of a call to [`CaDiCaL::phase_lit`]
+    /// Undoes the effect of a call to [`Glucose::phase_lit`]
     fn unphase_var(&mut self, var: Var) -> Result<(), SolverError> {
         unsafe { ffi::cglucosesimp4_unphase(self.handle, var.to_ipasir()) };
         Ok(())

kissat/build.rs

@@ -29,6 +29,7 @@ fn main() {
 
     // Build C library
     // Full commit hash needs to be provided
+    #[cfg(not(doc))]
     build("https://github.com/arminbiere/kissat.git", "master", tag);
 
     let out_dir = env::var("OUT_DIR").unwrap();

minisat/build.rs

@@ -3,6 +3,7 @@ use std::{env, fs, path::Path, str};
 fn main() {
     // Build C++ library
     // Full commit hash needs to be provided
+    #[cfg(not(doc))]
     build(
         "https://github.com/chrjabs/minisat.git",
         "master",

minisat/src/core.rs

@@ -231,7 +231,7 @@ impl PhaseLit for Minisat {
         Ok(())
     }
 
-    /// Undoes the effect of a call to [`CaDiCaL::phase_lit`]
+    /// Undoes the effect of a call to [`Minisat::phase_lit`]
     fn unphase_var(&mut self, var: Var) -> Result<(), SolverError> {
         unsafe { ffi::cminisat_unphase(self.handle, var.to_ipasir()) };
         Ok(())

minisat/src/simp.rs

@@ -248,7 +248,7 @@ impl PhaseLit for Minisat {
         Ok(())
     }
 
-    /// Undoes the effect of a call to [`CaDiCaL::phase_lit`]
+    /// Undoes the effect of a call to [`Minisat::phase_lit`]
     fn unphase_var(&mut self, var: Var) -> Result<(), SolverError> {
         unsafe { ffi::cminisatsimp_unphase(self.handle, var.to_ipasir()) };
         Ok(())