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