Update for source code changes.
R=gri
DELTA=15 (13 added, 1 deleted, 1 changed)
OCL=21632
CL=21639
diff --git a/usr/gri/pretty/Makefile.iant b/usr/gri/pretty/Makefile.iant
index b6d794a..fe5e2d2 100644
--- a/usr/gri/pretty/Makefile.iant
+++ b/usr/gri/pretty/Makefile.iant
@@ -10,12 +10,17 @@
PRETTY_OBJS = \
ast.o \
- pretty.o \
compilation.o \
+ globals.o \
+ object.o \
parser.o \
platform.o \
+ pretty.o \
printer.o \
scanner.o \
+ type.o \
+ typechecker.o \
+ universe.o \
utils.o
pretty: $(PRETTY_OBJS)
@@ -33,7 +38,7 @@
pretty.o: platform.o printer.o compilation.o
-compilation.o: platform.o scanner.o parser.o ast.o
+compilation.o: platform.o scanner.o parser.o ast.o typechecker.o
ast.o: scanner.o
@@ -45,6 +50,13 @@
printer.o: scanner.o ast.o
+typechecker.o: ast.o universe.o globals.o type.o
+
+universe.o: globals.o object.o type.o
+
+object.o: globals.o
+
+type.o: globals.o object.o
.SUFFIXES:
.SUFFIXES: .go .o