Searched defs:CFLAGS (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/adder/
H A Dmakefile6 CFLAGS = -g -pedantic -Wall -ansi -L../../src -I../../src macro
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A Dmakefile8 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src macro
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/
H A Dmakefile6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src macro
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/fdd/
H A Dmakefile6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src macro
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/milner/
H A Dmakefile6 CFLAGS = -g -pedantic -Wall -ansi -L../../src -I../../src macro
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/money/
H A Dmakefile6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src macro
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/queen/
H A Dmakefile6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src macro
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/solitare/
H A Dmakefile6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src macro
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DMakefile19 CFLAGS = -Wall -ffloat-store -fno-strict-aliasing macro
/seL4-l4v-master/HOL4/tools/
H A Dconfigure.sml518 local val CFLAGS = value

Completed in 52 milliseconds