| version 1.5, 2012/05/09 06:17:13 |
version 1.10, 2019/03/28 08:03:07 |
|
|
| #!/bin/bash |
#!/bin/bash |
| # $OpenXM: OpenXM_contrib2/windows/extract_gc.sh,v 1.4 2011/12/15 17:52:07 ohara Exp $ |
# $OpenXM: OpenXM_contrib2/windows/extract_gc.sh,v 1.9 2018/09/09 07:39:14 ohara Exp $ |
| (set -o igncr) 2>/dev/null && set -o igncr;# |
(set -o igncr) 2>/dev/null && set -o igncr;# |
| OpenXM_HOME=${OpenXM_HOME:-../../OpenXM} |
OpenXM_HOME=${OpenXM_HOME:-../../OpenXM} |
| OpenXM_dist=${OpenXM_HOME}/../OpenXM_dist |
OpenXM_dist="$(realpath -m ${OpenXM_HOME}/../OpenXM_dist)" |
| GC=gc-7.2alpha6 |
GC=gc-7.4.4 |
| |
ATOMIC_OPS=libatomic_ops-7.4.4 |
| GC_TARGZ=${GC}.tar.gz |
GC_TARGZ=${GC}.tar.gz |
| GC_PATCH=gc-7.0-risa.diff |
GC_PATCH=gc-7.4.2-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} |
tar zxf ${OpenXM_dist}/${GC_TARGZ} |
| |
tar zxf ${OpenXM_dist}/${ATOMIC_OPS}.tar.gz |
| |
mv ${GC} gc |
| |
mv ${ATOMIC_OPS} gc/libatomic_ops |
| |
|
| for i in ${GC_PATCH} ; do |
for i in ${GC_PATCH} ; do |
| f=../asir2000/$i |
f=../asir2018/$i |
| if [ -f $f ]; then |
if [ -f $f ]; then |
| (cd ${GC}; patch -p1) < $f |
(cd gc; patch -p1) < $f |
| fi |
fi |
| done |
done |
| echo -n > ${GC}/gc_cpp.cc |
echo -n > gc/gc_cpp.cc |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to extract_gc.sh CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib2 / windows