diff --git a/.gitignore b/.gitignore
index dee53c5..3736b22 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 build
+depends
 *~
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..d412187
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,22 @@
+all: lib exe
+
+.PHONY: lib
+lib:
+	idris2 --build quox.ipkg
+
+depends/quox: lib
+	mkdir -p depends
+	ln -sf ../build/ttc depends/quox
+
+.PHONY: exe
+exe: depends/quox
+	idris2 --build quox-exe.ipkg
+
+.PHONY: test
+test:
+	make -C tests test
+
+.PHONY: clean
+clean:
+	rm -rf build depends
+	make -C tests clean
diff --git a/tests/Makefile b/tests/Makefile
new file mode 100644
index 0000000..c0de71e
--- /dev/null
+++ b/tests/Makefile
@@ -0,0 +1,18 @@
+all: test
+
+.PHONY: lib
+lib:
+	make -C .. lib
+
+depends/quox: lib
+	mkdir -p depends
+	ln -sf ../../build/ttc depends/quox
+
+.PHONY: test
+test: depends/quox
+	idris2 --build tests.ipkg
+	build/exec/quox-tests
+
+.PHONY: clean
+clean:
+	rm -rf build depends