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, 9 months ago) by ohara
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