src/fix-install-headers.sh

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