|
Lines 17-23
Link Here
|
| 17 |
RUN_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \ |
17 |
RUN_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \ |
| 18 |
${PYTHON_PKGNAMEPREFIX}tabulate>0:devel/py-tabulate@${PY_FLAVOR} |
18 |
${PYTHON_PKGNAMEPREFIX}tabulate>0:devel/py-tabulate@${PY_FLAVOR} |
| 19 |
|
19 |
|
| 20 |
USES= cmake localbase pkgconfig python:3.5+,run shebangfix |
20 |
USES= cmake compiler:c++14-lang localbase pkgconfig python:3.5+,run \ |
|
|
21 |
shebangfix |
| 21 |
USE_GITHUB= yes |
22 |
USE_GITHUB= yes |
| 22 |
SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool |
23 |
SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool |
| 23 |
USE_LDCONFIG= yes |
24 |
USE_LDCONFIG= yes |