Blame SOURCES/sat4j-fetch.sh

f5c003
#!/bin/sh
f5c003
name=sat4j
f5c003
tag=org.ow2.sat4j.pom-2.3.5
f5c003
version=2.3.5
f5c003
tar_name=$name-$version
f5c003
f5c003
rm -fr $tar_name && mkdir $tar_name
f5c003
pushd $tar_name
f5c003
f5c003
# Fetch plugins
f5c003
svn co svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/$tag .
f5c003
find . -name *.jar -delete
f5c003
f5c003
popd
f5c003
# create archive
f5c003
tar -caf $tar_name.tar.xz $tar_name