diff options
| author | Alastair Reid | 2018-04-18 14:33:25 +0100 |
|---|---|---|
| committer | Alastair Reid | 2018-04-18 14:36:29 +0100 |
| commit | 79d804ce42de94174a40d605466d0dde9434e8e0 (patch) | |
| tree | d8156e5c5ebaca75d1a15d32907666900ad8884f /src/Makefile | |
| parent | d2e1042f01099e11e04cbfe9529c32db41363e1a (diff) | |
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 ...
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
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 |