Searched refs:CSRCS (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DMakefile8 CSRCS = $(wildcard *.C) macro
10 COBJS = $(addsuffix .o, $(basename $(CSRCS)))
79 depend.mak: $(CSRCS) $(CHDRS)
81 @$(CXX) -MM $(CSRCS) > depend.mak

Completed in 25 milliseconds