#!/bin/sh
name=sat4j
tag=org.sat4j.pom-2.3.0
version=2.3.0
tar_name=$name-$version

rm -fr $tar_name && mkdir $tar_name
pushd $tar_name

# Fetch plugins
svn co svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/$tag .

popd
# create archive
tar -caf $tar_name.tar.xz $tar_name