# Created by: Li-Wen Hsu # $FreeBSD$ PORTNAME= stp PORTVERSION= 1436 PORTREVISION= 3 CATEGORIES= math MASTER_SITES= http://intara.arrowdodger.ru/ MAINTAINER= 6yearold@gmail.com COMMENT= Decision Procedure for Bitvectors and Arrays LICENSE= MIT LIB_DEPENDS= libboost_program_options.so:devel/boost-libs \ libboost_system.so:devel/boost-libs USES= bison:build cmake perl5 tar:xz USE_PERL5= build CMAKE_ARGS= -DFL_LIBRARY=/usr/lib/libfl.a .include ~lantw44/git/freebsd-ports-gnome' title='freebsd-ports-gnome Git repository'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/net-mgmt/php53-snmp
Commit message (Expand)AuthorAgeFilesLines
* Remove expired ports:Rene Ladan2015-04-181-9/+0
* - convert php53 ports to STAGEFlorian Smeets2013-11-021-1/+0
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-211-5/+1