https://github.com/MevenBertrand/metacoq
Tip revision: 2d631dcd91d2315e5a52fea0fdc27e59c30abd57 authored by Meven on 03 February 2021, 23:41:40 UTC
adapting the README
adapting the README
Tip revision: 2d631dc
replace.sh
#/bin/bash
SED=`which gsed || which sed`
echo $1
echo $2
# ${SED} -i -E -e \
# "s/declared_projection ((\(.*\))|[^ ]*) ((\(.*\))|[^ ]*) ((\(.*\))|[^ ]*) ((\(.*\))|[^ ]*)([\)| ->])/declared_projection \1 \7 \3 \5\9/g" \
# */*/*.v
${SED} -i -e "s/${1}/${2}/g" */*/*.v