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

/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DMakefile20 COPTIMIZE = -O3 macro
31 r: CFLAGS+=$(COPTIMIZE) -D NDEBUG
32 s: CFLAGS+=$(COPTIMIZE) -ggdb -D DEBUG
33 p: CFLAGS+=$(COPTIMIZE) -pg -ggdb -D DEBUG
35 rs: CFLAGS+=$(COPTIMIZE) -D NDEBUG

Completed in 76 milliseconds