diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -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 |