1 files changed, 7 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 29061a4..f91718e 100644
--- a/Makefile
+++ b/Makefile
@@ -11,13 +11,13 @@ builddir:
 	mkdir -p build
 
 OBJECTS = \
+	build/constrain.o \
 	build/cps.o \
 	build/gc.o \
 	build/gclib.so \
 	build/llvm.so \
 	build/pprint.o \
 	build/tuplr.o \
-	build/typing.o \
 	build/unify.o
 
 build/tuplr: $(OBJECTS)
@@ -31,3 +31,9 @@ build/%.so: src/%.cpp src/tuplr.hpp
 
 clean:
 	rm -rf build
+
+check:
+	./test.sh
+
+doc:
+	doxygen ./tuplr.dox