chore: cleanup capi examples

chrjabs · Apr 29, 2024 · 3ae2259 · 3ae2259
1 parent 81c27d4
commit 3ae2259
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 8 deletions.
diff --git a/capi/examples/Makefile b/capi/examples/Makefile
@@ -0,0 +1,9 @@
+all: capi capi-ipasir
+
+capi: capi.cpp
+	g++ -I.. -c capi.cpp -o capi.o
+	g++ capi.o ../../target/release/librustsat_capi.a -o capi.out
+
+capi-ipasir: capi-ipasir.cpp
+	g++ -I.. -I${IPASIR_INC} -c capi-ipasir.cpp -o capi-ipasir.o
+	g++ capi-ipasir.o ../../target/release/librustsat_capi.a ${IPASIR_LIB} -o capi-ipasir.out
diff --git a/capi/src/lib.rs b/capi/src/lib.rs
@@ -6,7 +6,7 @@
 //! project. For now, only the API of certain encodings is available.
 //!
 //! For the API itself, see `rustsat.h`. To use RustSAT from an external project, build this crate
-//! and link against `librustsat.a` (produced by `cargo` in `target/release`).
+//! and link against `librustsat_capi.a` (produced by `cargo` in `target/release`).
 
 pub mod encodings {
     //! # C-API For Encodings

diff --git a/rustsat/examples/Makefile b/rustsat/examples/Makefile