Searched refs:DISTNAME (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-10.1.1/isabelle/Admin/lib/Tools/ |
H A D | makedist | 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} [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/Admin/lib/Tools/ |
H A D | makedist | 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} [all...] |
Completed in 34 milliseconds