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

/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/adder/
H A Dmakefile9 CPP = g++ macro
20 $(CPP) $(CFLAGS) -c $<
26 $(CPP) $(CFLAGS) adder.o -o adder -lbdd -lm
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/fdd/
H A Dmakefile9 CPP = g++ macro
20 $(CPP) $(CFLAGS) -c $<
26 $(CPP) $(CFLAGS) statespace.o -o statespace -lbdd -lm
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/milner/
H A Dmakefile9 CPP = g++ macro
20 $(CPP) $(CFLAGS) -c $<
26 $(CPP) $(CFLAGS) milner.o -o milner -lbdd -lm
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/queen/
H A Dmakefile9 CPP = g++ macro
20 $(CPP) $(CFLAGS) -c $<
26 $(CPP) $(CFLAGS) queen.o -o queen -lbdd -lm
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/solitare/
H A Dmakefile9 CPP = g++ macro
20 $(CPP) $(CFLAGS) -c $<
26 $(CPP) $(CFLAGS) solitare.o -o solitare -lbdd -lm
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/money/
H A Dmakefile9 CPP = g++ macro
20 $(CPP) $(CFLAGS) -c $<
26 $(CPP) $(CFLAGS) money.o -o money -lbdd -lm
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/
H A Dmakefile9 CPP = g++ macro
20 $(CPP) $(CFLAGS) -c $<
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A Dmakefile11 CPP = g++ macro
30 $(CPP) $(CFLAGS) -c $<
36 $(CPP) $(CFLAGS) parser.o lexer.o hashtbl.o -o bddcalc -lbdd -lm
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dmakefile22 $(CPP) $(CFLAGS) $(DFLAGS) -c $<
49 $(CPP) $(CFLAGS) $(DFLAGS) bddtest.cxx -o bddtest -L. -lbdd
/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in142 CPP = @CPP@
/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in202 CPP = @CPP@
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A DMakefile.in330 CPP = @CPP@
/seL4-l4v-master/HOL4/polyml/libpolymain/
H A DMakefile.in224 CPP = @CPP@
/seL4-l4v-master/HOL4/polyml/
H A Dconfigure561 # Sed expression to map a string onto a valid CPP name.
719 CPP
844 CPP
1540 CPP C preprocessor
2923 ac_cpp='$CPP $CPPFLAGS'
3701 ac_cpp='$CPP $CPPFLAGS'
4484 ac_cpp='$CPP $CPPFLAGS'
4490 ac_cpp='$CPP $CPPFLAGS'
4542 ac_cpp='$CPP $CPPFLAGS'
4678 ac_cpp='$CPP
[all...]
H A DMakefile.in315 CPP = @CPP@

Completed in 86 milliseconds