bucket_22/php71-pdo

   1 # Buildsheet autogenerated by ravenadm tool -- Do not edit.
   2
   3 NAMEBASE=               php71-pdo
   4 VERSION=                7.1.16
   5 KEYWORDS=               lang www php databases
   6 VARIANTS=               standard
   7 SDESC[standard]=        PHP 7.1 extension: pdo (PHP Data Objects)
   8 HOMEPAGE=               http://php.net/
   9 CONTACT=                nobody
  10
  11 DOWNLOAD_GROUPS=        main
  12 SITES[main]=            PHP/distributions
  13 DISTFILE[1]=            php-7.1.16.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,71
  21
  22 DISTNAME=               php-7.1.16/ext/{{PHP_MODNAME}}
  23 EXTRACT_HEAD[1]=        {{TAR}} -xf
  24 EXTRACT_TAIL[1]=        php-7.1.16/ext/{{PHP_MODNAME}}
  25
  26 FPC_EQUIVALENT=         databases/php71-pdo
  27
  28 CONFIGURE_ARGS=         --enable-pdo
  29
  30 [FILE:96:distinfo]
  31 a5d67e477248a3911af7ef85c8400c1ba8cd632184186fd31070b96714e669f1     12211512 php-7.1.16.tar.xz
  32