#!/bin/bash

#  This file is part of EST (Efficient Symbolic Tools).
#  Copyright (C) 2003, 2012
#  UM-FERI, Smetanova ulica 17, SI-2000 Maribor, Slovenia
#
#  EST is free software; you can redistribute it and/or modify
#  it under the terms of the GNU General Public License as
#  published by the Free Software Foundation; either version 2
#  of the License, or (at your option) any later version.
#
#  EST is distributed in the hope that it will be useful,
#  but WITHOUT ANY WARRANTY; without even the implied warranty of
#  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
#  GNU General Public License for more details.
#
#  You should have received a copy of the GNU General Public
#  License along with this program; if not, write to the Free
#  Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
#  Boston, MA 02110-1301 USA.]

EDITION="est-2ed"
VERSION=`sed "s|\.|-|g" source/VERSION`

rm -f "$EDITION-$VERSION-source.zip"

cd ../..
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/bddview/* -x .svn
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/myinterface/* -x .svn
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/$EDITION/debian/* -x .svn
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/$EDITION/debian/*/* -x .svn
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/$EDITION/rpm/* -x .svn
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/$EDITION/rpm/*/* -x .svn
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/$EDITION/source/* -x .svn
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/$EDITION/source/*/* -x .svn
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/$EDITION/projects/* -x .svn
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/$EDITION/projects/*/* -x .svn
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/$EDITION/data/* -x est.log -x .svn
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/$EDITION/data/*/* -x .svn
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/$EDITION/etc/* -x .svn
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/$EDITION/package-source
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/$EDITION/package-bin
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/$EDITION/package-bin.bat
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/$EDITION/package-tgz
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/$EDITION/package-deb
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/$EDITION/package-rpm
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/$EDITION/do-diff
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/$EDITION/do-diff-all
zip -o "est/$EDITION/$EDITION-$VERSION-source.zip" est/$EDITION/do-gcov
cd est/$EDITION

echo ""
echo "*******************"
echo "PACKAGES COMPLETED!"
echo "*******************"
echo ""
