pool/klee
SHA256
12
0
Fork 2
Code Issues Pull Requests Activity

switch to llvm7

Browse Source 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=61
This commit is contained in:
Jiri Slaby
2018-10-29 16:29:13 +00:00
committed by Git OBS Bridge
parent 220a78369b
commit 14a3e76a0a
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
klee.spec
View File

@@ -112,7 +112,8 @@ ninja check
%files
%defattr(-,root,root)
%doc LICENSE.TXT NEWS README.md TODO.txt
%doc NEWS README.md TODO.txt
%license LICENSE.TXT
%{_bindir}/gen-bout
%{_bindir}/gen-random-bout
%{_bindir}/kleaver