Lines Matching refs:DISTNAME
107 DISTNAME="Isabelle_$DATE"
110 DISTNAME="$RELEASE"
111 DISTVERSION="$DISTNAME: $DISTDATE"
115 DISTBASE="$DISTPREFIX/dist-$DISTNAME"
118 DIR="$DISTBASE/$DISTNAME"
167 perl -pi -e "s,ISABELLE_IDENTIFIER=\"\",ISABELLE_IDENTIFIER=\"$DISTNAME\",g" lib/scripts/getsettings
168 perl -pi -e "s,{ISABELLE},$DISTNAME,g" lib/html/library_index_header.template
183 echo "### Preparing distribution $DISTNAME"
195 env ISABELLE_IDENTIFIER="${DISTNAME}-build" \
204 rmdir "$USER_HOME/.isabelle/${DISTNAME}-build"
205 rmdir "$USER_HOME/.isabelle/${DISTNAME}"
217 echo "$DISTBASE/$DISTNAME.tar.gz" > "$DISTPREFIX/ISABELLE_DIST"
220 chown -R "$LOGNAME" "$DISTNAME"
221 chmod -R g=o "$DISTNAME"
222 chmod -R u+w "$DISTNAME"
223 find "$DISTNAME" -type f "(" -name '*.scala' -o -name '*.ML' -o -name '*.thy' ")" -print | xargs chmod -f u-w
225 echo "$DISTBASE/$DISTNAME.tar.gz"
226 tar -c -z -f "$DISTNAME.tar.gz" "$DISTNAME"
232 mv "$DISTNAME" "${DISTNAME}-old"
233 mkdir "$DISTNAME"
235 mv "${DISTNAME}-old/README" "${DISTNAME}-old/NEWS" "${DISTNAME}-old/ANNOUNCE" \
236 "${DISTNAME}-old/COPYRIGHT" "${DISTNAME}-old/CONTRIBUTORS" "$DISTNAME"
237 mkdir "$DISTNAME/doc"
238 mv "${DISTNAME}-old/doc/"*.pdf \
239 "${DISTNAME}-old/doc/"*.html \
240 "${DISTNAME}-old/doc/"*.css \
241 "${DISTNAME}-old/doc/fonts" \
242 "${DISTNAME}-old/doc/Contents" "$DISTNAME/doc"
244 rm -f Isabelle && ln -sf "$DISTNAME" Isabelle
246 rm -rf "${DISTNAME}-old"