diff options
| author | Alasdair Armstrong | 2018-04-18 14:45:51 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-04-18 14:48:34 +0100 |
| commit | 61a7ddecad42f873f3776d22e41ec5cd1ae69859 (patch) | |
| tree | b5ce1a9be3557d23c6a201db91542436c3d63ec1 /src | |
| parent | 79d804ce42de94174a40d605466d0dde9434e8e0 (diff) | |
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.
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
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 |