diff --git a/Makefile b/Makefile
index e492d19..8ebc25a 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,6 @@
 GPRBUILD ?= gprbuild
 GPRBUILD_OPTS = -s -p -j0
+Z3_TEST_OPTS = -fsanitize=address -static-libasan -fno-omit-frame-pointer
 
 GCOVR_OPTS = \
 	--exclude-unreachable-branches \
@@ -13,10 +14,10 @@ test: build obj/tests/tests
 	@gcovr . $(GCOVR_OPTS)
 
 z3/z3/build/Makefile:
-	@cd z3/z3 && python scripts/mk_make.py
+	CFLAGS="$(Z3_TEST_OPTS)" CXXFLAGS="$(Z3_TEST_OPTS)" cmake -S z3/z3 -B z3/z3/build
 
 z3/z3/build/libz3.so: z3/z3/build/Makefile
-	$(MAKE) -C z3/z3/build
+	make -C z3/z3/build -j$(shell nproc)
 
 build: z3/z3/build/libz3.so
 	@$(GPRBUILD) $(GPRBUILD_OPTS) -P tests/tests