cppggml-org/ggml #332Not a task: already works

Install header files?

envgap__ggml-org__ggml-332

Original GitHub issue ↗Dated source checkout ↗Opened 2023-07-03

01 / FAILURE SIGNATURE

As reported upstream

No identifying execution failure has been captured.

Not a benchmark task.

The project already builds and runs before the fix, so there is nothing to repair.

02 / ENVIRONMENT RECIPE

Base commit: 965568dcd722462466afc1a729be55fb884ab64c
Manifest: src/CMakeLists.txt
Reproduce: Awaiting issue-specific recipe
Run under trace: Awaiting a meaningful runtime command

03 / ORIGINAL ISSUE TEXT

ggml-org/ggml #332 · read the original issue

Right now header files aren't installed as part of the build process.



At least for linux packaging, installing the header file is sort of a pre-requisite if code using this library want to be part of a distro's package set, since there's a general skepticism of any sort of static linking. Fortunately, there's a `BUILD_SHARED_LIBS` option, so to make a `-dev` package, one really only need to install the header file.



This raises the side question of API and/or ABI stability. Its probably fine to just say "no guarantees for now, all rdepends will need to be rebuilt on upgrade".

Continue on GitHub ↗

04 / LABELS

Labels from the report text only; not yet run

No supported category has been assigned.

Label rules and the text that matched

[]