===================================================================
RCS file: /home/cvs/OpenXM_contrib2/windows/extract_gc.sh,v
retrieving revision 1.2
retrieving revision 1.7
diff -u -p -r1.2 -r1.7
--- OpenXM_contrib2/windows/extract_gc.sh	2009/03/11 11:32:07	1.2
+++ OpenXM_contrib2/windows/extract_gc.sh	2013/08/20 14:17:22	1.7
@@ -1,12 +1,14 @@
-#!/bin/sh
-# $OpenXM$
-(shopt -s igncr) 2>/dev/null && eval 'shopt -s igncr';#
+#!/bin/bash
+# $OpenXM: OpenXM_contrib2/windows/extract_gc.sh,v 1.6 2012/05/30 02:24:33 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
+OpenXM_dist="$(realpath -m ${OpenXM_HOME}/../OpenXM_dist)"
+GC=gc-7.2
+GC_TARGZ=gc-7.2b.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