# Main make.code.defn file for thorn Requirements -*-Makefile-*- # Source files in this directory SRCS = Requirements.cc clause.cc clauses.cc util.cc all_clauses.cc location.cc gridpoint.cc all_state.cc # Subdirectories containing source files SUBDIRS =