improvements for libcsp cargo builder

libcsp-cargo-build/CHANGELOG.md

@@ -8,6 +8,10 @@ and this project adheres to [Semantic Versioning](http://semver.org/).
 
 # [unreleased]
 
+# [v0.2.0] 2024-06-01
+
+Added basic sanity checks for the user-provided `libcsp` location.
+
 # [v0.1.0] 2024-06-01
 
 Initial release

libcsp-cargo-build/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "libcsp-cargo-build"
-version = "0.1.0"
+version = "0.2.0"
 edition = "2021"
 description = "Tools to build libcsp using cargo"
 homepage = "https://egit.irs.uni-stuttgart.de/rust/libcsp-rust"

libcsp-cargo-build/src/lib.rs

@@ -133,12 +133,32 @@ pub struct Builder {
     build: cc::Build,
 }
 
+#[derive(Debug, Copy, Clone, PartialEq, Eq)]
+pub enum BuildCreationError {
+    PathDoesNotExist,
+    InvalidLibcspFormat,
+}
+
 impl Builder {
-    /// Create a new builder instance.
-    pub fn new(libcsp_path: PathBuf, out_dir: PathBuf) -> Self {
+    /// Create a new builder instance. Returns [BuildCreationError] if the specified libcsp path
+    /// does not exist or does not have the expected format.
+    pub fn new(libcsp_path: PathBuf, out_dir: PathBuf) -> Result<Self, BuildCreationError> {
+        // Basic sanity checks for the passed libcsp path.
+        if !libcsp_path.exists() {
+            return Err(BuildCreationError::PathDoesNotExist);
+        }
+        if !libcsp_path
+            .join("include")
+            .join("csp")
+            .join("csp.h")
+            .exists()
+        {
+            return Err(BuildCreationError::InvalidLibcspFormat);
+        }
+
         let mut libcsp_src_path_base = libcsp_path.clone();
         libcsp_src_path_base.push("src");
-        Self {
+        Ok(Self {
             generate_autoconf_file: true,
             libcsp_path,
             libcsp_src_path_base,
@@ -146,7 +166,7 @@ impl Builder {
             cfg: Default::default(),
             compiler_warnings: true,
             build: Default::default(),
-        }
+        })
     }
 
     /// Access to the underlying [cc::Build] builder object.