===================================================================
RCS file: /home/cvs/OpenXM_contrib2/windows/extract_gc.sh,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -p -r1.7 -r1.8
--- OpenXM_contrib2/windows/extract_gc.sh	2013/08/20 14:17:22	1.7
+++ OpenXM_contrib2/windows/extract_gc.sh	2015/08/13 13:45:26	1.8
@@ -1,20 +1,22 @@
 #!/bin/bash
-# $OpenXM: OpenXM_contrib2/windows/extract_gc.sh,v 1.6 2012/05/30 02:24:33 ohara Exp $
+# $OpenXM: OpenXM_contrib2/windows/extract_gc.sh,v 1.7 2013/08/20 14:17:22 ohara Exp $
 (set -o igncr) 2>/dev/null && set -o igncr;#
 OpenXM_HOME=${OpenXM_HOME:-../../OpenXM}
 OpenXM_dist="$(realpath -m ${OpenXM_HOME}/../OpenXM_dist)"
-GC=gc-7.2
-GC_TARGZ=gc-7.2b.tar.gz
+GC=gc-7.4.2
+ATOMIC_OPS=libatomic_ops-7.4.0
+GC_TARGZ=gc-7.4.2.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}
+tar zxf ${OpenXM_dist}/${ATOMIC_OPS}.tar.gz
+mv ${GC} gc
+mv ${ATOMIC_OPS} gc/libatomic_ops
 
 for i in ${GC_PATCH} ; do 
 	f=../asir2000/$i
 	if [ -f $f ]; then
-		(cd ${GC}; patch -p1) < $f 
+		(cd gc; patch -p1) < $f 
 	fi
 done
-echo -n > ${GC}/gc_cpp.cc
+echo -n > gc/gc_cpp.cc