Annotation of OpenXM_contrib2/windows/extract_gc.sh, Revision 1.7
1.4 ohara 1: #!/bin/bash
1.7 ! ohara 2: # $OpenXM: OpenXM_contrib2/windows/extract_gc.sh,v 1.6 2012/05/30 02:24:33 ohara Exp $
1.4 ohara 3: (set -o igncr) 2>/dev/null && set -o igncr;#
1.1 ohara 4: OpenXM_HOME=${OpenXM_HOME:-../../OpenXM}
1.7 ! ohara 5: OpenXM_dist="$(realpath -m ${OpenXM_HOME}/../OpenXM_dist)"
1.6 ohara 6: GC=gc-7.2
7: GC_TARGZ=gc-7.2b.tar.gz
1.1 ohara 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>