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

/seL4-l4v-10.1.1/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-10.1.1/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-10.1.1/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-10.1.1/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-10.1.1/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-10.1.1/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-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/
H A Dmakefile9 CPP = g++ macro
20 $(CPP) $(CFLAGS) -c $<
/seL4-l4v-10.1.1/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-10.1.1/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-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dcompile212 *.c | *.cpp | *.CPP | *.lib | *.LIB | *.Lib | *.OBJ | *.obj | *.[oO])
H A Dconfigure561 # Sed expression to map a string onto a valid CPP name.
740 CPP
899 CPP
1585 CPP C preprocessor
2723 ac_cpp='$CPP $CPPFLAGS'
3573 ac_cpp='$CPP $CPPFLAGS'
4356 ac_cpp='$CPP $CPPFLAGS'
4362 ac_cpp='$CPP $CPPFLAGS'
4414 ac_cpp='$CPP $CPPFLAGS'
4863 ac_cpp='$CPP
[all...]
H A DMakefile.in454 CPP = @CPP@
/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in142 CPP = @CPP@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/
H A DMakefile.in201 CPP = @CPP@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/man/
H A DMakefile.in184 CPP = @CPP@
/seL4-l4v-10.1.1/HOL4/polyml/modules/
H A DMakefile.in202 CPP = @CPP@
/seL4-l4v-10.1.1/HOL4/polyml/libpolymain/
H A DMakefile.in223 CPP = @CPP@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A DMakefile.in337 CPP = @CPP@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/
H A DMakefile.in157 CPP = @CPP@
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure561 # Sed expression to map a string onto a valid CPP name.
696 CPP
849 CPP
1549 CPP C preprocessor
2932 ac_cpp='$CPP $CPPFLAGS'
3961 ac_cpp='$CPP $CPPFLAGS'
4744 ac_cpp='$CPP $CPPFLAGS'
4750 ac_cpp='$CPP $CPPFLAGS'
4802 ac_cpp='$CPP $CPPFLAGS'
7397 ac_cpp='$CPP
[all...]
H A DMakefile.in313 CPP = @CPP@

Completed in 118 milliseconds