Annotation of OpenXM_contrib2/windows/extract_gc.sh, Revision 1.5
1.4 ohara 1: #!/bin/bash
1.5 ! ohara 2: # $OpenXM: OpenXM_contrib2/windows/extract_gc.sh,v 1.4 2011/12/15 17:52:07 ohara Exp $
1.4 ohara 3: (set -o igncr) 2>/dev/null && set -o igncr;#
1.1 ohara 4: OpenXM_HOME=${OpenXM_HOME:-../../OpenXM}
5: OpenXM_dist=${OpenXM_HOME}/../OpenXM_dist
1.5 ! ohara 6: GC=gc-7.2alpha6
1.1 ohara 7: GC_TARGZ=${GC}.tar.gz
8: GC_PATCH=gc-7.0-risa.diff
1.3 ohara 9: PARI_TARGZ=pari-2.0.17.beta.tgz
1.1 ohara 10:
1.3 ohara 11: cat ${OpenXM_dist}/${PARI_TARGZ} | ( cd pari20; tar zxf -)
1.1 ohara 12: tar zxf ${OpenXM_dist}/${GC_TARGZ}
13:
14: for i in ${GC_PATCH} ; do
15: f=../asir2000/$i
16: if [ -f $f ]; then
17: (cd ${GC}; patch -p1) < $f
18: fi
19: done
20: echo -n > ${GC}/gc_cpp.cc
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>