From 8286c7c23a47c166aa87337a3146cdf3b278b144 Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Thu, 19 Jun 2014 10:51:59 +0200 Subject: Isolate numerical part of domain. Next: isolate numerical part of equations. --- Makefile | 15 ++++++++++----- 1 file changed, 10 insertions(+), 5 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 6386a97..ee85664 100644 --- a/Makefile +++ b/Makefile @@ -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) -- cgit v1.2.3