Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/makerpm
changeset 6591 6a753a6d6738
parent 6567 8338dd394144
child 6608 927def00b1c6
equal deleted inserted replaced
6590:fa5f2ca893c5 6591:6a753a6d6738 
   189 rpm --rcfile "$TMP/rpmrc" -bb "$TMP/SPECS/isabelle.spec"
 
   189 rpm --rcfile "$TMP/rpmrc" -bb "$TMP/SPECS/isabelle.spec"
 
   190 
   190 
   191 mkdir -p "$DISTBASE/rpm"
 
   191 mkdir -p "$DISTBASE/rpm"
 
   192 cd "$TMP/RPMS/i386"
 
   192 cd "$TMP/RPMS/i386"
 
   193 cp "isabelle-$RPMVERSION-1.i386.rpm" "$DISTBASE/rpm/isabelle.rpm"
 
   193 cp "isabelle-$RPMVERSION-1.i386.rpm" "$DISTBASE/rpm/isabelle.rpm"
 
   194 cp "isabelle-HOL-$RPMVERSION-1.i386.rpm" "$DISTBASE/rpm/isabelle-HOL.i386.rpm"
 
   194 cp "isabelle-HOL-$RPMVERSION-1.i386.rpm" "$DISTBASE/rpm/isa-HOL.rpm"
 
   195 cp "isabelle-ZF-$RPMVERSION-1.i386.rpm" "$DISTBASE/rpm/isabelle-ZF.i386.rpm"
 
   195 cp "isabelle-ZF-$RPMVERSION-1.i386.rpm" "$DISTBASE/rpm/isa-ZF.rpm"
 
   196 
   196 
   197 # clean up
 
   197 # clean up
 
   198 cd /
 
   198 cd /
 
   199 rm -rf "$TMP"
 
   199 rm -rf "$TMP"
isabelle