version 1.1, 2009/03/09 16:00:42 |
version 1.7, 2013/08/20 14:17:22 |
|
|
#!/bin/sh |
#!/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_HOME=${OpenXM_HOME:-../../OpenXM} |
OpenXM_dist=${OpenXM_HOME}/../OpenXM_dist |
OpenXM_dist="$(realpath -m ${OpenXM_HOME}/../OpenXM_dist)" |
GC=gc-7.1 |
GC=gc-7.2 |
GC_TARGZ=${GC}.tar.gz |
GC_TARGZ=gc-7.2b.tar.gz |
GC_PATCH=gc-7.0-risa.diff |
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}/${GC_TARGZ} |
|
|
for i in ${GC_PATCH} ; do |
for i in ${GC_PATCH} ; do |