From 61a7ddecad42f873f3776d22e41ec5cd1ae69859 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 18 Apr 2018 14:45:51 +0100
Subject: Fix build on linux

Turns out that BSD sed is not a subset of GNU sed, GNU sed doesn't
allow a space after the -i option.
---
 src/Makefile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/Makefile b/src/Makefile
index 17125d32..e68f27d2 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 .bak -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 .bak -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
@@ -283,8 +283,10 @@ clean:
 	-rm -f gen_lib/*.ml
 	-rm -f ast.ml
 	-rm -f ast.lem
+	-rm -f ast.ml.bak
 	-rm -f bytecode.ml
 	-rm -f bytecode.lem
+	-rm -f bytecode.ml.bak
 
 doc:
 	ocamlbuild -use-ocamlfind sail.docdir/index.html
-- 
cgit v1.2.3