This request is superseded by
request 480778
(Show diff)
Overview
Request 478625 superseded
This will be needed by a new version of klee.
- Created by jirislaby
- In state superseded
- Superseded by 480778
-
Open review for
legal-auto
-
Open review for
opensuse-review-team
- Open review for openSUSE:Factory:Staging:adi:295
Loading...
Request History
jirislaby created request
This will be needed by a new version of klee.
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto added factory-repo-checker as a reviewer
Please review build success
factory-auto accepted review
Check script succeeded
factory-repo-checker accepted review
Builds for repo devel:tools:statica/openSUSE_Tumbleweed
dimstar_suse added as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:295"
dimstar_suse accepted review
Picked openSUSE:Factory:Staging:adi:295
superseded by 480778
from my reading, this is 2.1+
Where did you read that? From COPYING.LIB.boilerplate:
Licensed under the LGPL v2.1, see the file COPYING.LIB in this tarball.+%files +%defattr(-,root,root) +%doc COPYING.LIB README README.klee TODO +%dir %{_libdir}/%{name}/ +%dir %{_libdir}/%{name}/lib/ +%{_libdir}/%{name}/lib/libc.aThis is ONLY a static library? No headers, nothing?
In any case: please check the packaging guidelines about static libraries and how to package them (if really needed)
https://en.opensuse.org/openSUSE:Packaging_guidelines#Static_Libraries
TL;DR: static libs go into a -devel-static package
This is a special static library. It is an LLVM bitcode. So it is not ELF, but bca code. I am not sure the guidelines apply to that (we cannot create shared library of that and it is neither a classic static library).
Kinda special case - I'd say the question would be: is this going to be used as BuildRequires for other packages and its content would end up in other code (as with usual static linking) - then we should follow the guideline with a -devel-static (mostly used to find what else needs a rebuild if this changes) - if not, we're probably fine (some documentation in the .spec file might help clear this question up in the future)
It will. So I created the devel-static subpackage and resubmitted.