Lines Matching refs:HETS_FOLDER
32 HETS_FOLDER=$DATA_DIR/hets
33 HETS_OWL_TOOLS_FOLDER=$HETS_FOLDER/hets-owl-tools
326 export_git_repo "hets" "$HETS_REPO" "$HETS_REPO_FOLDER" "$HETS_FOLDER" "$HETS_REV"
333 HETS_VERSION=`cat $HETS_FOLDER/version_nr`
347 export_git_repo "lib" "$HETS_LIB_REPO" "$HETS_LIB_REPO_FOLDER" "$HETS_FOLDER/hets-lib"
351 cd $HETS_FOLDER
355 cd $HETS_FOLDER/OWL2
359 cp $HETS_FOLDER/OWL2/lib/*.jar $HETS_OWL_TOOLS_FOLDER/lib
360 cp $HETS_FOLDER/CASL/Termination/AProVE.jar $HETS_FOLDER/hets-owl-tools
361 cp $HETS_FOLDER/DMU/OntoDMU.jar $HETS_FOLDER/hets-owl-tools
367 echo ":: Clearing $HETS_FOLDER"
369 cd $HETS_FOLDER
383 cd $HETS_FOLDER
385 rm -rf $HETS_FOLDER/.gitignore
386 rm -rf $HETS_FOLDER/OWL2/java/OwlApi
387 rm -rf $HETS_FOLDER/utils/nightly
388 rm -rf $HETS_FOLDER/utils/debian
389 rm -rf $HETS_FOLDER/utils/macports
390 rm -rf $HETS_FOLDER/utils/ubuntu
400 rm -rf $HETS_FOLDER
405 echo ::Creating debian folder $HETS_FOLDER and changelog
406 mkdir -p $HETS_FOLDER/debian
407 cp -rf $OLD_PWD/debian-server/* $HETS_FOLDER/debian
408 cp -rf $OLD_PWD/debian/$DIST/* $HETS_FOLDER/debian
423 mv .changelog $HETS_FOLDER/debian/changelog
428 cd $HETS_FOLDER;