install.sh

   1 #!/bin/bash
   2 set -e
   3 VERSION="$1"
   4 URL=$(php get-url.php "$VERSION")
   5 cd working
   6 wget $URL -O "php-$VERSION.tar.gz"
   7 tar xzf "php-$VERSION.tar.gz"
   8 mkdir "../versions/$VERSION"
   9 cd "php-$VERSION"
  10 ./configure --prefix=/home/ezyang/Dev/php/versions/$VERSION
  11 make
  12 make install
  13 ../../versions/$VERSION/bin/php --version
  14