package_script revision 74be0dc554ad7689e619289dcdbe2665b249884a
#
# Auto building script
# for the Hets repository
#
# c.prodescu@jacobs-university.de
#
# Dependencies: hets-core dependencies, devscripts, ant
#
# VARIABLES
HETS_VERSION=0.96
else
echo Bye.
exit
fi
#getting revision number
#setting full version
#setting folder name
#checking out latest Hets version
if [ -e .svn_clean ]; then
fi
echo ::Done
#checking out latest Hets-lib
echo ::Done
#checking out Hets-owl-tools and compiling jar files
cd ..
cd $HETS_FOLDER/OWL
cp -r tests OWL2ATerm.jar OWLFact.jar OWLFactProver.jar OWLLocality.jar owl_locality owl_parser $HETS_FOLDER/hets-owl-tools
cd ../..
echo ::Done
#copying OntoDMU and AProVE to hets-owl-tools
cd $HETS_FOLDER
cd ..
echo ::Done
#creating orig.tar.gz
echo ::Done
#copying debian folder
#modifying the changelog
echo "hets ($HETS_FULL_VERSION-1) lucid; urgency=low" > .changelog
echo >> .changelog
echo " * Initial release, automatically generated." >> .changelog
echo >> .changelog
#merging changelogs
echo ::Done
#building
cd $HETS_FOLDER
cd ..
echo ::Done