From 79d804ce42de94174a40d605466d0dde9434e8e0 Mon Sep 17 00:00:00 2001
From: Alastair Reid
Date: Wed, 18 Apr 2018 14:33:25 +0100
Subject: Port to Mac: BSD sed != GNU sed

For GNU sed, the extension is optional in

    sed -i ...

But in BSD sed, the extension is mandatory

    sed -i .bak ...
---
 src/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/Makefile b/src/Makefile
index 2b31d35e..17125d32 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -79,11 +79,11 @@ bytecode.lem: ../language/bytecode.ott ast.lem
 
 ast.ml: ast.lem
 	lem -ocaml ast.lem
-	sed -i -f ast.sed ast.ml
+	sed -i .bak -f ast.sed ast.ml
 
 bytecode.ml: bytecode.lem
 	lem -ocaml bytecode.lem -lib . -lib gen_lib/
-	sed -i -f ast.sed bytecode.ml
+	sed -i .bak -f ast.sed bytecode.ml
 
 lem_interp/interp_ast.lem: ../language/l2.ott
 	ott -sort false -generate_aux_rules true -o lem_interp/interp_ast.lem -picky_multiple_parses true ../language/l2.ott
-- 
cgit v1.2.3