diff options
Diffstat (limited to 'src')
| -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 |