Ticket #10231: 10231_extcode_dist.patch

File 10231_extcode_dist.patch, 1.0 KB (added by jdemeyer, 9 years ago)

Remove spkg-dist from extcode (apply to extcode repo)

  • deleted file spkg-dist

    # HG changeset patch
    # User Jeroen Demeyer <jdemeyer@cage.ugent.be>
    # Date 1289133950 -3600
    # Node ID e4485e2a3aeae3d7f4ce9896a9eef0bf9bf4d501
    # Parent  a723a6bde83ddee57738c003edf7e8b3a54cef74
    #10231: Remove spkg-dist
    spkg-dist is not needed anymore (shifting the burden of making the spkg
    to the release manager).
    
    diff -r a723a6bde83d -r e4485e2a3aea spkg-dist
    + -  
    1 #!/bin/sh
    2 if [ $# -ne 2 ]; then
    3     echo "Usage: $0 <SAGE_VERSION> <SAGE_ROOT>"
    4     echo "Build SAGE package in the extcode directory."
    5     exit 0
    6 fi
    7 
    8 E=extcode
    9 SAGE_VERSION=$1
    10 SAGE_ROOT=$2
    11 DIR=$E-$SAGE_VERSION
    12 
    13 cd "$SAGE_ROOT/data/"
    14 if [ -d $DIR ]; then
    15    rm -rf $DIR
    16 fi
    17 mkdir $DIR
    18 
    19 cd $E
    20 cp -pr * .hg .hgignore .hgtags "../$DIR/"
    21 cd "../$DIR"
    22 rm -f *.spkg
    23 rm -f magma/*.dat magma/*.sig magma/*/*.dat magma/*/*.sig magma/*/*/*.dat magma/*/*/*.sig
    24 rm -rf octave/user/tmp
    25 rm -rf octave/user/*
    26 
    27 cd ..
    28 $SAGE_ROOT/sage -pkg $DIR
    29 rm -rf $DIR
    30 mv $DIR.spkg extcode