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

/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DMakefile10 COBJS = $(addsuffix .o, $(basename $(CSRCS))) macro
12 PCOBJS = $(addsuffix p, $(COBJS))
13 DCOBJS = $(addsuffix d, $(COBJS))
14 RCOBJS = $(addsuffix r, $(COBJS))
48 $(COBJS) $(PCOBJS) $(DCOBJS) $(RCOBJS) depend.mak
56 $(EXEC): $(COBJS)
58 @$(CXX) $(COBJS) -ggdb -Wall -o $@
/seL4-l4v-10.1.1/HOL4/tools/
H A Dconfigure.sml576 of "linux" => SOME "ld -shared -o $@ $(COBJS) $(LIBS)"
577 | "solaris" => SOME "ld -G -B dynamic -o $@ $(COBJS) $(LIBS)"
579 \ -o $@ $(COBJS) $(LIBS)"

Completed in 82 milliseconds