OpenXM_contrib2/windows/extract_gc.sh - diff

Return to extract_gc.sh CVS log

Up to [local] / OpenXM_contrib2 / windows

version 1.1, 2009/03/09 16:00:42

version 1.10, 2019/03/28 08:03:07

Line 1

#!/bin/sh

#!/bin/bash

# $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;#

OpenXM_HOME=${OpenXM_HOME:-../../OpenXM}

OpenXM_dist=${OpenXM_HOME}/../OpenXM_dist

OpenXM_dist="$(realpath -m ${OpenXM_HOME}/../OpenXM_dist)"

GC=gc-7.1

GC=gc-7.4.4

ATOMIC_OPS=libatomic_ops-7.4.4

GC_TARGZ=${GC}.tar.gz

GC_PATCH=gc-7.0-risa.diff

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=../asir2000/$i

f=../asir2018/$i

if [ -f $f ]; then

(cd ${GC}; patch -p1) < $f

(cd gc; patch -p1) < $f

done

echo -n > ${GC}/gc_cpp.cc

echo -n > gc/gc_cpp.cc