diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 15 |
1 files changed, 10 insertions, 5 deletions
@@ -8,17 +8,22 @@ SRC= main.ml \ frontend/parser.mly \ frontend/lexer.mll \ frontend/ast_printer.ml \ - frontend/typing.ml \ frontend/ast_util.ml \ + \ + frontend/typing.ml \ frontend/rename.ml \ + \ + abstract/intervals_domain.ml \ + abstract/nonrelational.ml \ + abstract/apron_domain.ml \ + abstract/num_domain.ml \ + abstract/abs_domain.ml \ + \ abstract/formula.ml \ abstract/formula_printer.ml \ abstract/transform.ml \ - abstract/environment_domain.ml \ - abstract/apron_domain.ml \ + \ abstract/abs_interp.ml \ - abstract/nonrelational.ml \ - abstract/intervals_domain.ml \ interpret/interpret.ml \ all: $(BIN) |