Searched refs:VERIFIER_INCLUDE_DIR (Results 1 – 1 of 1) sorted by relevance
17 VERIFIER_INCLUDE_DIR = ../../ macro47 -I$(VERIFIER_INCLUDE_DIR) -I$(VERIFIER_11_INCLUDE_DIR) -c $^ -o $@57 $(CXX) -o $@ $(CXXFLAGS) $(GTEST_DEFINES) -I$(VERIFIER_INCLUDE_DIR) \