diff options
Diffstat (limited to 'src/fix-install-headers.sh')
| -rwxr-xr-x | src/fix-install-headers.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/fix-install-headers.sh b/src/fix-install-headers.sh index 49bade416..083cec852 100755 --- a/src/fix-install-headers.sh +++ b/src/fix-install-headers.sh @@ -8,4 +8,4 @@ find "$dir/include/cvc5/" -type f \ -exec sed -i'' -e 's/include.*"api\/cpp\/\(.*\)"/include <cvc5\/\1>/' {} + find "$dir/include/cvc5/" -type f \ - -exec sed -i'' -e 's/"cvc4_export.h"/<cvc5\/cvc4_export.h>/' {} + + -exec sed -i'' -e 's/"cvc5_export.h"/<cvc5\/cvc5_export.h>/' {} + |