Return to extract_gc.sh CVS log | Up to [local] / OpenXM_contrib2 / windows |
File: [local] / OpenXM_contrib2 / windows / extract_gc.sh (download)
Revision 1.5, Wed May 9 06:17:13 2012 UTC (12 years, 4 months ago) by ohara
Boehm GC is upgraded to version 7.2 alpha6. After this commit, Risa/Asir can be built on MacOS X 10.6 and 10.7. |
#!/bin/bash # $OpenXM: OpenXM_contrib2/windows/extract_gc.sh,v 1.5 2012/05/09 06:17:13 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.2alpha6 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