2024-05-31 19:48:12 +02:00
|
|
|
libcsp-rust
|
|
|
|
=========
|
|
|
|
|
2024-06-01 01:24:23 +02:00
|
|
|
This project aims to provide libraries and tools build and use
|
2024-05-31 19:48:12 +02:00
|
|
|
[`libcsp`](https://github.com/libcsp/libcsp) in your Rust project.
|
|
|
|
|
|
|
|
It provides 2 crates for this:
|
|
|
|
|
2024-06-01 01:14:40 +02:00
|
|
|
- [`libcsp-cargo-build`](https://egit.irs.uni-stuttgart.de/rust/libcsp-rust/src/branch/main/libcsp-cargo-build)
|
|
|
|
provides an API to build the `libcsp` using `cargo` with the [`cc`](https://docs.rs/cc/latest/cc/) crate.
|
|
|
|
- [`libcsp-rust`](https://egit.irs.uni-stuttgart.de/rust/libcsp-rust/src/branch/main/libcsp-rust)
|
|
|
|
provides the Rust bindings to `libcsp` and a safe and ergonomic Rust interface.
|
2024-05-31 19:48:12 +02:00
|
|
|
|
2024-06-01 01:23:26 +02:00
|
|
|
In addition, it provides a workspace to allow updating the `libcsp` and the corresponding bindings
|
2024-05-31 19:48:12 +02:00
|
|
|
more easily inside the `lib` directory. Some of the examples `libcsp` provides were ported to Rust
|
|
|
|
and are showcases in the `examples` directory.
|
|
|
|
|
2024-06-01 00:50:02 +02:00
|
|
|
## How it works
|
2024-05-31 19:48:12 +02:00
|
|
|
|
|
|
|
We assume that cargo should also take care of building the library.
|
|
|
|
|
|
|
|
1. Add the `libcsp-cargo-build` as a build dependency inside your `Cargo.toml`.
|
|
|
|
2. Add the `libcsp-rust` as a regular dependency inside your `Cargo.toml`.
|
|
|
|
3. Create a custom `build.rs` script which takes care of building `libcsp` using the API
|
|
|
|
provided by `libcsp-cargo-build`. You have to provide the source code for `libcsp` inside some
|
2024-06-01 01:14:40 +02:00
|
|
|
directory and pass the directory path to a builder API.
|
2024-05-31 19:48:12 +02:00
|
|
|
4. You can now write regular Rust code and use the API provided by `libcsp-rust` to use `libcsp`
|
|
|
|
in a safe and Rusty way.
|
|
|
|
|
2024-06-01 01:14:40 +02:00
|
|
|
It is recommended to have a look at the [example build script](https://egit.irs.uni-stuttgart.de/rust/libcsp-rust/src/branch/main/examples/build.rs)
|
|
|
|
which should give you a general idea of how a build script might look like to integrate `libcsp`.
|
2024-06-01 00:50:02 +02:00
|
|
|
|
|
|
|
## Running the example
|
|
|
|
|
|
|
|
The example uses both the builder crate and the bindings and API crate and implements the
|
|
|
|
[server/client example](https://github.com/libcsp/libcsp/blob/develop/examples/csp_server_client.c)
|
|
|
|
in Rust. You can run the example using the following steps:
|
|
|
|
|
2024-06-01 01:23:26 +02:00
|
|
|
1. Clone/Copy `libcsp` into the `lib` folder, for example by using the provided `lib/clone-csp.sh`
|
|
|
|
script or adding `libcsp` as a git submodule.
|
2024-06-01 01:20:26 +02:00
|
|
|
2. You can now use `cargo run -p libcsp-rust-examples` to run the server/client example.
|
2024-06-01 00:50:02 +02:00
|
|
|
|
2024-06-01 01:14:40 +02:00
|
|
|
## Compile-time configuration of the `libcsp-rust` library
|
|
|
|
|
|
|
|
The `libcsp-rust` library requires some compile-time configuration file to be included to work
|
|
|
|
properly. You can see an example version of the file for the workspace
|
|
|
|
[here](https://egit.irs.uni-stuttgart.de/rust/libcsp-rust/src/branch/main/examples/autoconfig.rs).
|
|
|
|
The user has to provide the path to a directory containing this `autoconfig.rs` file using the
|
2024-06-01 01:23:26 +02:00
|
|
|
`CSP_CONFIG_DIR` environmental variable.
|
2024-06-01 01:14:40 +02:00
|
|
|
|
|
|
|
You can automatically generate this file when using `libcsp-cargo-build` by using the
|
2024-06-01 01:23:26 +02:00
|
|
|
[`generate_autoconf_rust_file`](here be link soon) method of the Builder object as done in the
|
|
|
|
example build script.
|
|
|
|
|
2024-06-01 01:14:40 +02:00
|
|
|
In this workspace, the `CSP_CONFIG_DIR` variable is hardcoded using the following `.cargo/config.toml`
|
|
|
|
configuration:
|
|
|
|
|
|
|
|
```toml
|
|
|
|
[env]
|
|
|
|
CSP_CONFIG_DIR = { value = "examples", relative = true }
|
|
|
|
```
|
|
|
|
|
2024-06-01 00:50:02 +02:00
|
|
|
## Generating and update the bindings using the `lib` folder
|
|
|
|
|
|
|
|
The `lib` folder in this repository serves as the staging directory for the `libcsp` library to
|
|
|
|
build. However, it can also be used to update the bindings provided in `libcsp-rust` by providing
|
|
|
|
some tools and helpers to auto-generate and update the bindings file `bindings.rs`.
|
|
|
|
|
|
|
|
If you want to do this, you should install `bindgen-cli` first:
|
|
|
|
|
|
|
|
```sh
|
|
|
|
cargo install bindgen-cli --locked
|
|
|
|
```
|
|
|
|
|
|
|
|
`bindgen` needs some additional information provided by the user to generate the bindings:
|
|
|
|
An `autoconfig.h` file which is used to configure `libcsp`. Normally, this file is generated
|
|
|
|
by the C build system. This file is located at `cfg/csp` and is also updated automatically
|
|
|
|
when running the example application.
|
|
|
|
|
|
|
|
After cloning the repository, you can now run the following command to re-generate the bindings
|
|
|
|
file:
|
|
|
|
|
|
|
|
```sh
|
|
|
|
bindgen --use-core wrapper.h -- "-I./libcsp/include" "-I./cfg" "-I./libcsp/src" > bindings.rs
|
|
|
|
```
|
|
|
|
|
|
|
|
With the bindings file, you can now manually update the FFI bindings provided in
|
|
|
|
`libcsp-rust/src/ffi.rs` or in your own CSP library.
|