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 37 milliseconds