1 2 3 4 5 6 7
#!/usr/bin/env bash set -e -o pipefail dir=$1 find "$dir/include/cvc4/" -type f \ -exec sed -i'' -e 's/include.*"\(.*\)"/include <cvc4\/\1>/' {} +