Return to extract_gc.sh CVS log

Up to [local] / OpenXM_contrib2 / windows

Annotation of OpenXM_contrib2/windows/extract_gc.sh, Revision 1.4

1.4     ! ohara       1: #!/bin/bash
        !             2: # $OpenXM: OpenXM_contrib2/windows/extract_gc.sh,v 1.3 2009/11/24 05:00:23 ohara Exp $
        !             3: (set -o igncr) 2>/dev/null && set -o igncr;#
1.1       ohara       4: OpenXM_HOME=${OpenXM_HOME:-../../OpenXM}
                      5: OpenXM_dist=${OpenXM_HOME}/../OpenXM_dist
                      6: GC=gc-7.1
                      7: GC_TARGZ=${GC}.tar.gz
                      8: GC_PATCH=gc-7.0-risa.diff
1.3       ohara       9: PARI_TARGZ=pari-2.0.17.beta.tgz
1.1       ohara      10:
1.3       ohara      11: cat ${OpenXM_dist}/${PARI_TARGZ} | ( cd pari20; tar zxf -)
1.1       ohara      12: tar zxf ${OpenXM_dist}/${GC_TARGZ}
                     13:
                     14: for i in ${GC_PATCH} ; do
                     15:        f=../asir2000/$i
                     16:        if [ -f $f ]; then
                     17:                (cd ${GC}; patch -p1) < $f
                     18:        fi
                     19: done
                     20: echo -n > ${GC}/gc_cpp.cc