bucket_F5/php72-json

   1 # Buildsheet autogenerated by ravenadm tool -- Do not edit.
   2
   3 NAMEBASE=               php72-json
   4 VERSION=                7.2.33
   5 KEYWORDS=               lang www php devel
   6 VARIANTS=               standard
   7 SDESC[standard]=        PHP 7.2 extension: json (JavaScript Obj Notation)
   8 HOMEPAGE=               https://php.net/
   9 CONTACT=                nobody
  10
  11 DOWNLOAD_GROUPS=        main
  12 SITES[main]=            PHP/distributions
  13 DISTFILE[1]=            php-7.2.33.tar.xz:main
  14 DF_INDEX=               1
  15 SPKGS[standard]=        single
  16
  17 OPTIONS_AVAILABLE=      none
  18 OPTIONS_STANDARD=       none
  19
  20 USES=                   php:ext,72
  21
  22 DISTNAME=               php-7.2.33/ext/{{PHP_MODNAME}}
  23 EXTRACT_HEAD[1]=        {{TAR}} -xf
  24 EXTRACT_TAIL[1]=        php-7.2.33/ext/{{PHP_MODNAME}}
  25
  26 FPC_EQUIVALENT=         devel/php72-json
  27
  28 CONFIGURE_ARGS=         --enable-json
  29
  30 [FILE:54:descriptions/desc.single]
  31 This package contains the json extension for PHP 7.2.
  32
  33
  34 [FILE:96:distinfo]
  35 0f160a3483ffce36be5962fab7bcf09d605ee66c5707df83e4195cb796bbb03a     12310624 php-7.2.33.tar.xz
  36