diff options
| author | pawel <pawel@FreeBSD.org> | 2012-11-17 19:28:26 +0800 |
|---|---|---|
| committer | pawel <pawel@FreeBSD.org> | 2012-11-17 19:28:26 +0800 |
| commit | 6529a9f4fbe1426a7e1eaf9fa6272655bef27662 (patch) | |
| tree | acaa17b0181986b84df206cb31252eb900bce02f /devel | |
| parent | ea3284ce7d267eacb84fd71504d2a41f70f51ee1 (diff) | |
| download | freebsd-ports-gnome-6529a9f4fbe1426a7e1eaf9fa6272655bef27662.tar.gz freebsd-ports-gnome-6529a9f4fbe1426a7e1eaf9fa6272655bef27662.tar.zst freebsd-ports-gnome-6529a9f4fbe1426a7e1eaf9fa6272655bef27662.zip | |
Utility class for timing
WWW: https://github.com/sebastianbergmann/php-timer
PR: ports/171732
Submitted by: Gasol Wu <gasol.wu@gmail.com>
Feature safe: yes
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/Makefile | 1 | ||||
| -rw-r--r-- | devel/pear-PHP_Timer/Makefile | 26 | ||||
| -rw-r--r-- | devel/pear-PHP_Timer/distinfo | 2 | ||||
| -rw-r--r-- | devel/pear-PHP_Timer/pkg-descr | 3 |
4 files changed, 32 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile index b3a3ded1b2dd..632d64aea5d5 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -3016,6 +3016,7 @@ SUBDIR += pear-PHP_CompatInfo SUBDIR += pear-PHP_Parser SUBDIR += pear-PHP_ParserGenerator + SUBDIR += pear-PHP_Timer SUBDIR += pear-PHP_UML SUBDIR += pear-Pager SUBDIR += pear-PhpDocumentor diff --git a/devel/pear-PHP_Timer/Makefile b/devel/pear-PHP_Timer/Makefile new file mode 100644 index 000000000000..836514410197 --- /dev/null +++ b/devel/pear-PHP_Timer/Makefile @@ -0,0 +1,26 @@ +# Created by: Gasol Wu <gasol.wu@gmail.com> +# $FreeBSD$ + +PORTNAME= PHP_Timer +PORTVERSION= 1.0.2 +CATEGORIES= devel pear +MASTER_SITES= http://pear.phpunit.de/get/ +PKGNAMEPREFIX= pear- + +MAINTAINER= gasol.wu@gmail.com +COMMENT= Utility class for timing + +BUILD_DEPENDS= ${PEARDIR}/PEAR.php:${PORTSDIR}/devel/pear \ + ${PEARDIR}/.channels/pear.phpunit.de.reg:${PORTSDIR}/devel/pear-channel-phpunit +RUN_DEPENDS= ${PEARDIR}/PEAR.php:${PORTSDIR}/devel/pear \ + ${PEARDIR}/.channels/pear.phpunit.de.reg:${PORTSDIR}/devel/pear-channel-phpunit + +PEAR_CHANNEL= phpunit +PEAR_AUTOINSTALL= yes + +DEFAULT_PHP_VER=5 +IGNORE_WITH_PHP=4 + +.include <bsd.port.pre.mk> +.include "${PORTSDIR}/devel/pear/bsd.pear.mk" +.include <bsd.port.post.mk> diff --git a/devel/pear-PHP_Timer/distinfo b/devel/pear-PHP_Timer/distinfo new file mode 100644 index 000000000000..c2d80464620e --- /dev/null +++ b/devel/pear-PHP_Timer/distinfo @@ -0,0 +1,2 @@ +SHA256 (PEAR/PHP_Timer-1.0.2.tgz) = 1208aa877b2d806caf37233c7a49a759aa3a64cbefeffac3538e697c08b2c5d8 +SIZE (PEAR/PHP_Timer-1.0.2.tgz) = 3686 diff --git a/devel/pear-PHP_Timer/pkg-descr b/devel/pear-PHP_Timer/pkg-descr new file mode 100644 index 000000000000..f896db37b86c --- /dev/null +++ b/devel/pear-PHP_Timer/pkg-descr @@ -0,0 +1,3 @@ +Utility class for timing + +WWW: https://github.com/sebastianbergmann/php-timer |