get-source.sh

   1 #!/bin/sh
   2 set -e
   3
   4 package=hiphop-php
   5 version=$(awk '/^Version:/{print $NF}' $package.spec)
   6 repo_url=git://github.com/facebook/$package.git
   7
   8 export GIT_DIR=$package/.git
   9
  10 if [ ! -d $package ]; then
  11         git clone --depth 1 $repo_url $package
  12 else
  13         git pull
  14 fi
  15
  16 git submodule init
  17 git submodule update
  18
  19 #rm -rf src/third_party/libmbfl
  20 #rm -rf src/third_party/xhp
  21 #rm -rf src/third_party/libafdt
  22
  23 version=$(cd $package; (echo 'function HPHP_VERSION(v) { printf("%.3f", v)}; BEGIN{'; cat src/version; echo '}') | awk -f -)
  24 version=${version}_$(git log -1 --format=%h)
  25
  26 git archive master --prefix $package-$version/ | bzip2 > $package-$version.tar.bz2
  27
  28 ../dropin $package-$version.tar.bz2 &