adding mic headers, switching to runtime dynamic libloading

This commit is contained in:
2026-07-01 20:48:52 +02:00
parent 9d99ef63bf
commit f46bd2a058
8 changed files with 2695 additions and 251 deletions
+4 -8
View File
@@ -2,15 +2,10 @@
Zig 0.16 wrapper for Intel/CIRCL `miclib.h` / `libmicmgmt`.
This repo does **not** vendor MPSS, `miclib.h`, `scif.h`, `libmicmgmt`, or `libscif`.
Install/build miclib separately, then point Zig at the include/library directories.
## Build
```sh
zig build \
-Dmiclib_include=/usr/local/include \
-Dmiclib_libdir=/usr/local/lib
zig build
```
The default miclib system library name is `micmgmt`, which links `-lmicmgmt`.
@@ -35,8 +30,6 @@ Then in your `build.zig`:
const miclib_dep = b.dependency("miclib", .{
.target = target,
.optimize = optimize,
.miclib_include = "/usr/local/include",
.miclib_libdir = "/usr/local/lib",
});
exe.root_module.addImport("miclib", miclib_dep.module("miclib"));
@@ -47,6 +40,9 @@ Then in Zig:
```zig
const mic = @import("miclib");
try mic.load();
defer mic.unload();
var list = try mic.DeviceList.init();
defer list.deinit();