diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-05 19:31:28 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-05 19:31:28 -0700 |
commit | d2e454e0dfc06e16fe0a4228168b21cf1311fc35 (patch) | |
tree | 65063161aa9e21348182b13251524c58b0ca49c5 /src/fix-install-headers.sh | |
parent | 00a20b53ce998f52b18303a7a680e6a00acc098c (diff) |
New C++ Api: Rename and move headers. (#6292)
Diffstat (limited to 'src/fix-install-headers.sh')
-rwxr-xr-x | src/fix-install-headers.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/fix-install-headers.sh b/src/fix-install-headers.sh index 7f9fa5d5b..49bade416 100755 --- a/src/fix-install-headers.sh +++ b/src/fix-install-headers.sh @@ -4,5 +4,8 @@ set -e -o pipefail dir="$DESTDIR$1" -find "$dir/include/cvc4/" -type f \ - -exec sed -i'' -e 's/include.*"\(.*\)"/include <cvc4\/\1>/' {} + +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>/' {} + |