From 4c471e6e99dcd60d07d8978222956dd0ddd151db Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 4 Feb 2020 07:49:31 -0800
Subject: [PATCH] Fix header installation on MacOS. (#3660)

On MacOS sed -i requires a suffix to be set.
---
 src/fix-install-headers.sh | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/fix-install-headers.sh b/src/fix-install-headers.sh
index a1f15996a..39d8bc663 100755
--- a/src/fix-install-headers.sh
+++ b/src/fix-install-headers.sh
@@ -1,5 +1,7 @@
-#!/bin/bash
+#!/usr/bin/env bash
+
+set -e -o pipefail
 
 dir=$1
-find "$dir/include/cvc4/" -type f | \
-  xargs sed -i 's/include.*"\(.*\)"/include <cvc4\/\1>/'
+find "$dir/include/cvc4/" -type f \
+  -exec sed -i'' -e 's/include.*"\(.*\)"/include <cvc4\/\1>/' {} +
-- 
2.30.2