Searched refs:CFLAGS (Results 1 - 25 of 27) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A DMakefile.am5 AM_CPPFLAGS = $(CFLAGS) $(OSFLAG) $(GIT_VERSION) -Wall -DMODULEDIR=\"$(moduledir)\"
6 AM_CFLAGS = $(CFLAGS) $(OSFLAG) $(GIT_VERSION) -Wall -fno-strict-aliasing
H A DMakefile.in232 $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
236 $(AM_CFLAGS) $(CFLAGS)
243 $(LIBTOOLFLAGS) --mode=link $(CCLD) $(AM_CFLAGS) $(CFLAGS) \
336 CFLAGS = @CFLAGS@
465 AM_CPPFLAGS = $(CFLAGS) $(OSFLAG) $(GIT_VERSION) -Wall -DMODULEDIR=\"$(moduledir)\"
466 AM_CFLAGS = $(CFLAGS) $(OSFLAG) $(GIT_VERSION) -Wall -fno-strict-aliasing
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/adder/
H A Dmakefile6 CFLAGS = -g -pedantic -Wall -ansi -L../../src -I../../src macro
20 $(CPP) $(CFLAGS) -c $<
23 $(CC) $(CFLAGS) -c $<
26 $(CPP) $(CFLAGS) adder.o -o adder -lbdd -lm
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/
H A Dmakefile6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src macro
20 $(CPP) $(CFLAGS) -c $<
23 $(CC) $(CFLAGS) -c $<
26 $(CC) $(CFLAGS) milner.o -o milner -lbdd -lm
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/fdd/
H A Dmakefile6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src macro
20 $(CPP) $(CFLAGS) -c $<
23 $(CC) $(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 Dmakefile6 CFLAGS = -g -pedantic -Wall -ansi -L../../src -I../../src macro
20 $(CPP) $(CFLAGS) -c $<
23 $(CC) $(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 Dmakefile6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src macro
20 $(CPP) $(CFLAGS) -c $<
23 $(CC) $(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 Dmakefile6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src macro
20 $(CPP) $(CFLAGS) -c $<
23 $(CC) $(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 Dmakefile6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src macro
20 $(CPP) $(CFLAGS) -c $<
23 $(CC) $(CFLAGS) -c $<
26 $(CPP) $(CFLAGS) money.o -o money -lbdd -lm
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dmakefile22 $(CPP) $(CFLAGS) $(DFLAGS) -c $<
25 $(CC) $(CFLAGS) $(DFLAGS) -c $<
45 gcc -MM $(CFLAGS) $(DFLAGS) $(CFILES) > depend.inf
46 g++ -MM $(CFLAGS) $(DFLAGS) $(CCFILES) >> depend.inf
49 $(CPP) $(CFLAGS) $(DFLAGS) bddtest.cxx -o bddtest -L. -lbdd
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A Dmakefile8 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src macro
30 $(CPP) $(CFLAGS) -c $<
33 $(CC) $(CFLAGS) -c $<
36 $(CPP) $(CFLAGS) parser.o lexer.o hashtbl.o -o bddcalc -lbdd -lm
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DMakefile19 CFLAGS = -Wall -ffloat-store -fno-strict-aliasing macro
31 r: CFLAGS+=$(COPTIMIZE) -D NDEBUG
32 s: CFLAGS+=$(COPTIMIZE) -ggdb -D DEBUG
33 p: CFLAGS+=$(COPTIMIZE) -pg -ggdb -D DEBUG
34 d: CFLAGS+=-O0 -ggdb -D DEBUG
35 rs: CFLAGS+=$(COPTIMIZE) -D NDEBUG
53 @$(CXX) $(CFLAGS) -c -o $@ $<
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dpolyc.in8 CFLAGS="@polyc_CFLAGS@"
46 "${LINK}" ${EXTRALDFLAGS} ${CFLAGS} "$1" "-L${LIBDIR}" "-Wl,-rpath,${LIBDIR}" -lpolymain -lpolyml ${LIBS}
48 "${LINK}" ${EXTRALDFLAGS} ${CFLAGS} "$1" -o "$2" "-L${LIBDIR}" "-Wl,-rpath,${LIBDIR}" -lpolymain -lpolyml ${LIBS}
H A Dconfigure731 CFLAGS
844 CFLAGS
1416 To assign environment variables (e.g., CC, CFLAGS...), specify them as
1541 CFLAGS C compiler flags
1554 CCASFLAGS assembler compiler flags (defaults to CFLAGS)
2933 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
2934 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
3560 # Set CCASFLAGS to empty so that it doesn't get set to CFLAGS.
3563 test "${CFLAGS+set}" = set || CFLAGS
[all...]
H A DMakefile.in134 $(LIBTOOLFLAGS) --mode=link $(CCLD) $(AM_CFLAGS) $(CFLAGS) \
140 $(LIBTOOLFLAGS) --mode=link $(CCLD) $(AM_CFLAGS) $(CFLAGS) \
187 $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
191 $(AM_CFLAGS) $(CFLAGS)
198 $(LIBTOOLFLAGS) --mode=link $(CCLD) $(AM_CFLAGS) $(CFLAGS) \
312 CFLAGS = @CFLAGS@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dbuild-ios.sh19 export CFLAGS="-arch ${arch} -isysroot ${sdk} -miphoneos-version-min=${MIN_IOS_VERSION}"
H A Dconfigure789 CFLAGS
1456 To assign environment variables (e.g., CC, CFLAGS...), specify them as
1573 CFLAGS C compiler flags
1582 CCASFLAGS assembler compiler flags (defaults to CFLAGS)
2724 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
2725 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
3565 # As a side effect, we have to subst CFLAGS ourselves.
3566 # Also save and restore CFLAGS, since AC_PROG_CC will come up with
3571 save_CFLAGS=$CFLAGS
3574 ac_compile='$CC -c $CFLAGS
[all...]
H A Dgenerate-ios-source-and-headers.py128 CFLAGS='-arch %s -isysroot %s -miphoneos-version-min=4.0' % (platform.arch, platform.sdkroot))
H A Dgenerate-osx-source-and-headers.py121 CFLAGS='-arch %s -isysroot %s -mmacosx-version-min=10.6' % (platform.arch, platform.sdkroot))
/seL4-l4v-10.1.1/HOL4/polyml/libpolymain/
H A DMakefile.in143 $(AM_CFLAGS) $(CFLAGS) $(libpolymain_la_LDFLAGS) $(LDFLAGS) -o \
162 $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
166 $(AM_CFLAGS) $(CFLAGS)
173 $(LIBTOOLFLAGS) --mode=link $(CCLD) $(AM_CFLAGS) $(CFLAGS) \
222 CFLAGS = @CFLAGS@
/seL4-l4v-10.1.1/HOL4/tools/
H A Dconfigure.sml568 local val CFLAGS = value
593 case (CFLAGS, DLLIBCOMP, ALL) of
600 "CFLAGS=" --> String.concat["CFLAGS=",cflags,"\n"],
/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in141 CFLAGS = @CFLAGS@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/
H A DMakefile.in200 CFLAGS = @CFLAGS@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/man/
H A DMakefile.in183 CFLAGS = @CFLAGS@
/seL4-l4v-10.1.1/HOL4/polyml/modules/
H A DMakefile.in201 CFLAGS = @CFLAGS@

Completed in 136 milliseconds

12