#!/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`
OS=`uname | sed "s/_.*//;s/[0-9]//g"`
BINDIR="`pwd`/bin"

rm -f "$EDITION-$VERSION-$OS-mish.zip"
rm -f "$EDITION-$VERSION-$OS.zip"
rm -fr $BINDIR

echo "Creating $EDITION-$VERSION-$OS-mish.zip ..."

cd source
make mish "BINDIR=$BINDIR"
make clean "BINDIR=$BINDIR"
cp COPYING ../bin
cp est2ed.tcl ../bin
cp pkgIndex.tcl ../bin
cp ../../myinterface/mi.tcl ../bin
cp ../../myinterface/miDialog.tcl ../bin
cp ../../bddview/bddview.tcl ../bin
cp bdd/bddDialog.tcl ../bin
cp pa/paDialog.tcl ../bin
cp versis/versisDialog.tcl ../bin
cp mc/mcDialog.tcl ../bin
cp strucval/strucvalDialog.tcl ../bin
cp ccs/ccsDialog.tcl ../bin
make milocal "BINDIR=$BINDIR"
cd ../..
zip -o -r "$EDITION/$EDITION-$VERSION-$OS-mish.zip" $EDITION/bin/*
zip -o "$EDITION/$EDITION-$VERSION-$OS-mish.zip" $EDITION/etc/* -x .svn
zip -o "$EDITION/$EDITION-$VERSION-$OS-mish.zip" $EDITION/data/* -x .svn
zip -o "$EDITION/$EDITION-$VERSION-$OS-mish.zip" $EDITION/data/*/* -x .svn
cd $EDITION
rm -fr bin

echo "Creating $EDITION-$VERSION-$OS.zip ..."

cd source
make lib "BINDIR=$BINDIR"
make clean "BINDIR=$BINDIR"
cp est.h ../bin
cd ../..
zip -y -o -r "$EDITION/$EDITION-$VERSION-$OS.zip" $EDITION/bin/*
cd $EDITION/source
make staticlib "BINDIR=$BINDIR"
make clean "BINDIR=$BINDIR"
cd ../..
zip -o -r "$EDITION/$EDITION-$VERSION-$OS.zip" $EDITION/bin/libest2.a
cd $EDITION
rm -fr bin

cd ..
zip -o "$EDITION/$EDITION-$VERSION-$OS.zip" $EDITION/projects/* -x .svn
zip -o "$EDITION/$EDITION-$VERSION-$OS.zip" $EDITION/projects/*/* -x .svn
cd $EDITION

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