- Configuration files for V7_mowgli now also generated.
./makeit V7 phd phd <template.rc >phd.rc
./makeit V7 phd marcello <template.cshrc >phd_marcello.cshrc
./makeit V7 phd marcello <template.rc >phd_marcello.rc
+ ./makeit V7_mowgli marcello marcello <template.cshrc >marcello_mowgli.cshrc
+ ./makeit V7_mowgli marcello marcello <template.rc >marcello_mowgli.rc
+ ./makeit V7_mowgli marcello phd <template.cshrc >marcello_phd_mowgli.cshrc
+ ./makeit V7_mowgli marcello phd <template.rc >marcello_phd_mowgli.rc
+ ./makeit V7_mowgli phd phd <template.cshrc >phd_mowgli.cshrc
+ ./makeit V7_mowgli phd phd <template.rc >phd_mowgli.rc
+ ./makeit V7_mowgli phd marcello <template.cshrc >phd_marcello_mowgli.cshrc
+ ./makeit V7_mowgli phd marcello <template.rc >phd_marcello_mowgli.rc
chmod a+x marcello*rc phd*rc
clean:
endif
setenv PATH $HELMROOT/http_getter:$PATH
-setenv PATH $HELMROOT/V7/interface:$PATH
+setenv PATH $HELMROOT/$COQV/interface:$PATH
setenv PATH $HELMROOT/shared/scripts:$PATH
setenv HELM_CONFIGURATION_DIR $HELMROOT/$COQV/$WHERE/local/etc/helm
setenv HELM_STYLE_DIR $HELMROOT/$COQV/style
setenv HELM_LIB_DIR $HELMROOT/$COQV/$WHERE/local/lib/helm
-setenv HTTP_GETTER_RDF_DIR $HELMROOT/shared/V7/rdf_library
-setenv HTTP_GETTER_RDF_DBM $HELMROOT/shared/V7/rdf_urls_of_uris.db
-setenv HTTP_GETTER_XSLT_DBM $HELMROOT/shared/V7/xslt_urls_of_uris.db
+setenv HTTP_GETTER_RDF_DIR $HELMROOT/shared/$COQV/rdf_library
+setenv HTTP_GETTER_RDF_DBM $HELMROOT/shared/$COQV/rdf_urls_of_uris.db
+setenv HTTP_GETTER_XSLT_DBM $HELMROOT/shared/$COQV/xslt_urls_of_uris.db
+setenv HTTP_GETTER_RDF_INDEXNAME rdf_index.txt
+setenv HTTP_GETTER_XSLT_INDEXNAME xslt_index.txt
setenv HTTP_GETTER_PORT 48081
+if ($COQV == V7) then
+ setenv HTTP_GETTER_DTD_BASE_URL http://www.cs.unibo.it/helm/dtd
+else
+ # V7_mowgli
+ setenv HTTP_GETTER_DTD_BASE_URL http://mowgli.cs.unibo.it/dtd
+endif
echo HELM_CONFIGURATION_DIR=$HELM_CONFIGURATION_DIR
echo HELM_LIB_DIR=$HELM_LIB_DIR
fi
export PATH=$HELMROOT/http_getter:$PATH
-export PATH=$HELMROOT/V7/interface:$PATH
+export PATH=$HELMROOT/$COQV/interface:$PATH
export PATH=$HELMROOT/shared/scripts:$PATH
export HELM_CONFIGURATION_DIR=$HELMROOT/$COQV/$WHERE/local/etc/helm
export HELM_STYLE_DIR=$HELMROOT/$COQV/style
export HELM_LIB_DIR=$HELMROOT/$COQV/$WHERE/local/lib/helm
-export HTTP_GETTER_RDF_DIR=$HELMROOT/shared/V7/rdf_library
-export HTTP_GETTER_RDF_DBM=$HELMROOT/shared/V7/rdf_urls_of_uris.db
-export HTTP_GETTER_XSLT_DBM=$HELMROOT/shared/V7/xslt_urls_of_uris.db
+export HTTP_GETTER_RDF_DIR=$HELMROOT/shared/$COQV/rdf_library
+export HTTP_GETTER_RDF_DBM=$HELMROOT/shared/$COQV/rdf_urls_of_uris.db
+export HTTP_GETTER_XSLT_DBM=$HELMROOT/shared/$COQV/xslt_urls_of_uris.db
+export HTTP_GETTER_RDF_INDEXNAME=rdf_index.txt
+export HTTP_GETTER_XSLT_INDEXNAME=xslt_index.txt
export HTTP_GETTER_PORT=48081
+if test $COQV = V7; then
+ export HTTP_GETTER_DTD_BASE_URL=http://www.cs.unibo.it/helm/dtd
+else
+ # V7_mowgli
+ export HTTP_GETTER_DTD_BASE_URL=http://mowgli.cs.unibo.it/dtd
+fi
echo HELM_CONFIGURATION_DIR=$HELM_CONFIGURATION_DIR
echo HELM_LIB_DIR=$HELM_LIB_DIR