oclaunch/pkg.sh

#!/bin/bash
# A little script to create tarball, especially for Oasis2Opam
# You may pass source commit as first argument, HEAD is used if omitted.

create_archive() {
  # Target commit (TC) i.e. commit from which tarball is created.
  TC=$1
  TCID=`git rev-parse ${TC}`
  echo "Creating tarball from commit ${TCID} ($TC)."

  # If no tag, use commit SHA1
  id=`git describe --abbrev=10 --candidates=50 ${TCID}`
  name=oclaunch_${id}_source # _source emphasis the difference with binary tarballs

  echo "Writing in" $name".*"
  git archive ${TCID} --prefix=${name}/ --format=zip -o dist/${name}.zip -9
  # Creating .xz .gz and .bz2 from tar archive
  tar_name=${name}.tar
  git archive ${TCID} --prefix=${name}/ --format=tar \
    | tee dist/${tar_name} \
    | gzip -c9 > dist/${tar_name}.gz
  bzip2 -c9 < dist/${tar_name} >  dist/${tar_name}.bz2
  xz -c9 < dist/${tar_name} >  dist/${tar_name}.xz

  # Verification
  gzip -t < dist/${tar_name}.gz
  bzip2 -t <  dist/${tar_name}.bz2
  xz -t <  dist/${tar_name}.xz
}

echo "Start"

# If directory doesn't exist, create it
if ! [ -e dist ]; then
    mkdir dist
fi

if [[ $1 = "" ]]; then
  echo "No argument, using HEAD to create tarball."
  create_archive HEAD
else
  # If several commits are given, create an archive for each
  for commit in "$@"; do
    create_archive $commit
  done
fi