diff options
Diffstat (limited to 'unittests')
| -rw-r--r-- | unittests/Solver/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/unittests/Solver/Makefile b/unittests/Solver/Makefile index 65edbe7a..1d3d609e 100644 --- a/unittests/Solver/Makefile +++ b/unittests/Solver/Makefile @@ -12,3 +12,5 @@ include $(LLVM_SRC_ROOT)/unittests/Makefile.unittest ifneq ($(ENABLE_STP),0) LIBS += $(STP_LDFLAGS) endif + +include $(PROJ_SRC_ROOT)/MetaSMT.mk |