From 3ae22594fd2c684088acb8841c2fea7272392986 Mon Sep 17 00:00:00 2001
From: Christoph Jabs <christoph.jabs@helsinki.fi>
Date: Mon, 29 Apr 2024 16:39:40 +0300
Subject: [PATCH] chore: cleanup capi examples

---
 capi/examples/Makefile    | 9 +++++++++
 capi/src/lib.rs           | 2 +-
 rustsat/examples/Makefile | 7 -------
 3 files changed, 10 insertions(+), 8 deletions(-)
 create mode 100644 capi/examples/Makefile
 delete mode 100644 rustsat/examples/Makefile

diff --git a/capi/examples/Makefile b/capi/examples/Makefile
new file mode 100644
index 00000000..0a5776e4
--- /dev/null
+++ 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
index e92904b0..f5fef5e6 100644
--- 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
deleted file mode 100644
index a5259405..00000000
--- a/rustsat/examples/Makefile
+++ /dev/null
@@ -1,7 +0,0 @@
-capi: capi.cpp
-	g++ -I.. -c capi.cpp -o capi.o
-	g++ capi.o ../../target/release/librustsat.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.a ${IPASIR_LIB} -o capi-ipasir.out