pool/klee
SHA256
4
0
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

enable uclibc

Browse Source 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=9
This commit is contained in:
Jiri Slaby 2017-03-02 14:13:43 +00:00 committed by Git OBS Bridge
parent c84247b608
commit f4f00b978e
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
klee.spec
View File

@ -19,7 +19,11 @@
%define version_unconverted 1.3.0+20170221
%ifarch %{ix86} x86_64
%define with_uclibc 1
%else
%define with_uclibc 0
%endif
Name: klee
Summary: LLVM Execution Engine