From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 4 Feb 2020 15:49:31 +0000 (-0800)
Subject: Fix header installation on MacOS. (#3660)
X-Git-Tag: cvc5-1.0.0~3683
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4c471e6e99dcd60d07d8978222956dd0ddd151db;p=cvc5.git

Fix header installation on MacOS. (#3660)

On MacOS sed -i requires a suffix to be set.
---

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>/' {} +