1#!/bin/bash 2 3dir=$1 4find "$dir/include/cvc4/" -type f | \ 5 xargs sed -i '' 's/include.*"\(.*\)"/include <cvc4\/\1>/' 6