mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-05 06:27:37 +00:00
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
This commit is contained in:
parent
227995398b
commit
d3cbdedebf
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=307504
@ -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
|
||||
|
26
devel/pear-PHP_Timer/Makefile
Normal file
26
devel/pear-PHP_Timer/Makefile
Normal file
@ -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>
|
2
devel/pear-PHP_Timer/distinfo
Normal file
2
devel/pear-PHP_Timer/distinfo
Normal file
@ -0,0 +1,2 @@
|
||||
SHA256 (PEAR/PHP_Timer-1.0.2.tgz) = 1208aa877b2d806caf37233c7a49a759aa3a64cbefeffac3538e697c08b2c5d8
|
||||
SIZE (PEAR/PHP_Timer-1.0.2.tgz) = 3686
|
3
devel/pear-PHP_Timer/pkg-descr
Normal file
3
devel/pear-PHP_Timer/pkg-descr
Normal file
@ -0,0 +1,3 @@
|
||||
Utility class for timing
|
||||
|
||||
WWW: https://github.com/sebastianbergmann/php-timer
|
Loading…
Reference in New Issue
Block a user