OpenXM_contrib2/windows/extract_gc.sh - diff

Return to extract_gc.sh CVS log

Up to [local] / OpenXM_contrib2 / windows

version 1.2, 2009/03/11 11:32:07

version 1.7, 2013/08/20 14:17:22

Line 1

#!/bin/sh

#!/bin/bash

# $OpenXM$

# $OpenXM: OpenXM_contrib2/windows/extract_gc.sh,v 1.6 2012/05/30 02:24:33 ohara Exp $

(shopt -s igncr) 2>/dev/null && eval 'shopt -s igncr';#

(set -o igncr) 2>/dev/null && set -o igncr;#

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

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