BASH   94
phpextdist
Guest on 16th May 2022 01:55:02 AM


  1. #! /bin/sh
  2. if test $# -lt 2; then
  3.         echo "usage: phpextdist <extension> <version>";
  4.         exit 1
  5. fi
  6.  
  7. phpize=`php-config --prefix`/bin/phpize
  8. distname="$1-$2"
  9.  
  10. if test ! -f Makefile.in || test ! -f config.m4; then
  11.         echo "Did not find required files in current directory"
  12.         exit 1
  13. fi
  14.  
  15. rm -rf modules *.lo *.o *.la config.status config.cache \
  16. config.log libtool php_config.h config_vars.mk Makefile
  17.  
  18. myname=`basename \`pwd\``
  19. cd ..
  20. cp -rp $myname $distname
  21. cd $distname
  22. $phpize
  23. cd ..
  24. tar cf $distname.tar $distname
  25. rm -rf $distname $distname.tar.*
  26. gzip --best $distname.tar
  27. mv $distname.tar.gz $myname

Raw Paste

Login or Register to edit or fork this paste. It's free.