Ticket #13963: gap_packages-4.5.7.p0.diff

File gap_packages-4.5.7.p0.diff, 728 bytes (added by jdemeyer, 9 years ago)
  • SPKG.txt

    diff --git a/SPKG.txt b/SPKG.txt
    a b  
    2424
    2525== Changelog ==
    2626
     27=== gap_packages-4.5.7.p0 (Jeroen Demeyer, 17 January 2013) ===
     28 * Trac #13963: touch "$SAGE_LOCAL/bin/gap" to invalidate GAP workspaces.
     29
    2730=== gap_packages-4.5.7 (Volker Braun, 20 December 2012) ===
    2831 * Update to latest gap version, none of the contained packages changed
    2932
  • spkg-install

    diff --git a/spkg-install b/spkg-install
    a b  
    2020    exit 1
    2121fi
    2222
     23# Touch this file such that the GAP workspaces will be invalidated
     24touch "$SAGE_LOCAL/bin/gap"
     25
    2326
    2427cd src/
    2528
     
    6568    echo >&2 "Error building GUAVA package."
    6669    exit 1
    6770fi
    68 
    69 
    70 touch "$SAGE_LOCAL/bin/gap_stamp"
    71