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

/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DMakefile13 DCOBJS = $(addsuffix d, $(COBJS)) macro
48 $(COBJS) $(PCOBJS) $(DCOBJS) $(RCOBJS) depend.mak
64 $(EXEC)_debug: $(DCOBJS)
66 @$(CXX) $(DCOBJS) -ggdb -Wall -o $@

Completed in 23 milliseconds