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

/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DMakefile18 CXX = g++ macro
53 @$(CXX) $(CFLAGS) -c -o $@ $<
58 @$(CXX) $(COBJS) -ggdb -Wall -o $@
62 @$(CXX) $(PCOBJS) -ggdb -Wall -pg -o $@
66 @$(CXX) $(DCOBJS) -ggdb -Wall -o $@
70 @$(CXX) $(RCOBJS) -Wall -o $@
74 @$(CXX) --static $(RCOBJS) -Wall -o $@
81 @$(CXX) -MM $(CSRCS) > depend.mak
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A DMakefile.in184 libpolyml_la_LINK = $(LIBTOOL) $(AM_V_lt) --tag=CXX $(AM_LIBTOOLFLAGS) \
213 CXXCOMPILE = $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \
215 LTCXXCOMPILE = $(LIBTOOL) $(AM_V_lt) --tag=CXX $(AM_LIBTOOLFLAGS) \
216 $(LIBTOOLFLAGS) --mode=compile $(CXX) $(DEFS) \
221 am__v_CXX_0 = @echo " CXX " $@;
223 CXXLD = $(CXX)
224 CXXLINK = $(LIBTOOL) $(AM_V_lt) --tag=CXX $(AM_LIBTOOLFLAGS) \
339 CXX = @CXX@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dcompile207 *.cc | *.CC | *.cxx | *.CXX | *.[cC]++)
H A Dconfigure773 CXX
1579 CXX C++ compiler command
4613 ac_compile='$CXX -c $CXXFLAGS $CPPFLAGS conftest.$ac_ext >&5'
4614 ac_link='$CXX -o conftest$ac_exeext $CXXFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4616 if test -z "$CXX"; then
4618 CXX=$CCC
4630 if test -n "$CXX"; then
4631 ac_cv_prog_CXX="$CXX" # Let the user override the test.
4650 CXX=$ac_cv_prog_CXX
4651 if test -n "$CXX"; the
[all...]
H A DMakefile.in456 CXX = @CXX@
666 'CXX=$(CXX)' \
/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in144 CXX = @CXX@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/
H A DMakefile.in203 CXX = @CXX@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/man/
H A DMakefile.in186 CXX = @CXX@
/seL4-l4v-10.1.1/HOL4/polyml/modules/
H A DMakefile.in204 CXX = @CXX@
/seL4-l4v-10.1.1/HOL4/polyml/libpolymain/
H A DMakefile.in225 CXX = @CXX@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/
H A DMakefile.in159 CXX = @CXX@
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure692 CXX
850 CXX
1550 CXX C++ compiler command
13182 ac_compile='$CXX -c $CXXFLAGS $CPPFLAGS conftest.$ac_ext >&5'
13183 ac_link='$CXX -o conftest$ac_exeext $CXXFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
13185 if test -z "$CXX"; then
13187 CXX=$CCC
13199 if test -n "$CXX"; then
13200 ac_cv_prog_CXX="$CXX" # Let the user override the test.
13219 CXX
[all...]
H A DMakefile.in315 CXX = @CXX@

Completed in 133 milliseconds