=================================================================== RCS file: /home/cvs/OpenXM_contrib2/windows/extract_gc.sh,v retrieving revision 1.1 retrieving revision 1.4 diff -u -p -r1.1 -r1.4 --- OpenXM_contrib2/windows/extract_gc.sh 2009/03/09 16:00:42 1.1 +++ OpenXM_contrib2/windows/extract_gc.sh 2011/12/15 17:52:07 1.4 @@ -1,10 +1,14 @@ -#!/bin/sh +#!/bin/bash +# $OpenXM: OpenXM_contrib2/windows/extract_gc.sh,v 1.3 2009/11/24 05:00:23 ohara Exp $ +(set -o igncr) 2>/dev/null && set -o igncr;# OpenXM_HOME=${OpenXM_HOME:-../../OpenXM} OpenXM_dist=${OpenXM_HOME}/../OpenXM_dist GC=gc-7.1 GC_TARGZ=${GC}.tar.gz GC_PATCH=gc-7.0-risa.diff +PARI_TARGZ=pari-2.0.17.beta.tgz +cat ${OpenXM_dist}/${PARI_TARGZ} | ( cd pari20; tar zxf -) tar zxf ${OpenXM_dist}/${GC_TARGZ} for i in ${GC_PATCH} ; do