Searched refs:HETS_FOLDER (Results 1 - 2 of 2) sorted by relevance

/hets/utils/debian/auto-package/
H A Dpackage_server32 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/het
[all...]
H A Dpackage_trunk32 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/het
[all...]

Completed in 972 milliseconds