OpenXM_contrib2/windows/extract_gc.sh - view

Return to extract_gc.sh CVS log

Up to [local] / OpenXM_contrib2 / windows

File: [local] / OpenXM_contrib2 / windows / extract_gc.sh (download)

Revision 1.4, Thu Dec 15 17:52:07 2011 UTC (12 years, 4 months ago) by ohara
Branch: MAIN
Changes since 1.3: +3 -3 lines

Bash 4.1 for cygwin accepts CR in shell scripts by using the command "set -o igncr".

#!/bin/bash
# $OpenXM: OpenXM_contrib2/windows/extract_gc.sh,v 1.4 2011/12/15 17:52:07 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 
	f=../asir2000/$i
	if [ -f $f ]; then
		(cd ${GC}; patch -p1) < $f 
	fi
done
echo -n > ${GC}/gc_cpp.cc