diff options
| author | bapt <bapt@FreeBSD.org> | 2013-10-18 15:19:25 +0800 |
|---|---|---|
| committer | bapt <bapt@FreeBSD.org> | 2013-10-18 15:19:25 +0800 |
| commit | 148ba59c4875482f972bc7e4d857e5bc006df15f (patch) | |
| tree | a0e1cdb4710758bd66b49fe853f0537d4a54f5c5 /devel/klee | |
| parent | 1ec97617d1740bbd11a41c5e984e463c4a408aa4 (diff) | |
| download | freebsd-ports-gnome-148ba59c4875482f972bc7e4d857e5bc006df15f.tar.gz freebsd-ports-gnome-148ba59c4875482f972bc7e4d857e5bc006df15f.tar.zst freebsd-ports-gnome-148ba59c4875482f972bc7e4d857e5bc006df15f.zip | |
Deprecated some ports broken for more than 6 month
Diffstat (limited to 'devel/klee')
| -rw-r--r-- | devel/klee/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/devel/klee/Makefile b/devel/klee/Makefile index 405d11e7b10b..2f6028918f10 100644 --- a/devel/klee/Makefile +++ b/devel/klee/Makefile @@ -8,6 +8,9 @@ MASTER_SITES= http://cdn.bitbucket.org/arrowdodger/klee/downloads/ MAINTAINER= 6yearold@gmail.com COMMENT= Symbolic virtual machine for LLVM bitcode +DEPRECATED= Broken for more than 6 month +EXPIRATION_DATE= 2013-11-18 + BUILD_DEPENDS= llvm-ar:${PORTSDIR}/devel/llvm \ ccc-analyzer:${PORTSDIR}/lang/clang \ ${LOCALBASE}/lib/libstp.a:${PORTSDIR}/math/stp |