Annotation of OpenXM_contrib2/windows/extract_gc.sh, Revision 1.3
1.1 ohara 1: #!/bin/sh
1.3 ! ohara 2: # $OpenXM: OpenXM_contrib2/windows/extract_gc.sh,v 1.2 2009/03/11 11:32:07 ohara Exp $
1.2 ohara 3: (shopt -s igncr) 2>/dev/null && eval 'shopt -s igncr';#
1.1 ohara 4: OpenXM_HOME=${OpenXM_HOME:-../../OpenXM}
5: OpenXM_dist=${OpenXM_HOME}/../OpenXM_dist
6: GC=gc-7.1
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>