OpenXM_contrib2/windows/extract_gc.sh - view

Return to extract_gc.sh CVS log

Up to [local] / OpenXM_contrib2 / windows

File: [local] / OpenXM_contrib2 / windows / extract_gc.sh (download)

Revision 1.10, Thu Mar 28 08:03:07 2019 UTC (5 years ago) by ohara
Branch: MAIN
CVS Tags: HEAD
Changes since 1.9: +3 -3 lines

The Asir for windows is based on asir2018.

#!/bin/bash
# $OpenXM: OpenXM_contrib2/windows/extract_gc.sh,v 1.10 2019/03/28 08:03:07 ohara Exp $
(set -o igncr) 2>/dev/null && set -o igncr;#
OpenXM_HOME=${OpenXM_HOME:-../../OpenXM}
OpenXM_dist="$(realpath -m ${OpenXM_HOME}/../OpenXM_dist)"
GC=gc-7.4.4
ATOMIC_OPS=libatomic_ops-7.4.4
GC_TARGZ=${GC}.tar.gz
GC_PATCH=gc-7.4.2-risa.diff

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 
	f=../asir2018/$i
	if [ -f $f ]; then
		(cd gc; patch -p1) < $f 
	fi
done
echo -n > gc/gc_cpp.cc