/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | Makefile.am | 5 AM_CPPFLAGS = $(CFLAGS) $(OSFLAG) $(GIT_VERSION) -Wall -DMODULEDIR=\"$(moduledir)\" 6 AM_CFLAGS = $(CFLAGS) $(OSFLAG) $(GIT_VERSION) -Wall -fno-strict-aliasing
|
H A D | Makefile.in | 232 $(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 D | makefile | 6 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 D | makefile | 6 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 D | makefile | 6 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 D | makefile | 6 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 D | makefile | 6 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 D | makefile | 6 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 D | makefile | 6 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 D | makefile | 22 $(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 D | makefile | 8 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 D | Makefile | 19 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 D | polyc.in | 8 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 D | configure | 731 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 D | Makefile.in | 134 $(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 D | build-ios.sh | 19 export CFLAGS="-arch ${arch} -isysroot ${sdk} -miphoneos-version-min=${MIN_IOS_VERSION}"
|
H A D | configure | 789 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 D | generate-ios-source-and-headers.py | 128 CFLAGS='-arch %s -isysroot %s -miphoneos-version-min=4.0' % (platform.arch, platform.sdkroot))
|
H A D | generate-osx-source-and-headers.py | 121 CFLAGS='-arch %s -isysroot %s -mmacosx-version-min=10.6' % (platform.arch, platform.sdkroot))
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolymain/ |
H A D | Makefile.in | 143 $(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 D | configure.sml | 568 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 D | Makefile.in | 141 CFLAGS = @CFLAGS@
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/ |
H A D | Makefile.in | 200 CFLAGS = @CFLAGS@
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/man/ |
H A D | Makefile.in | 183 CFLAGS = @CFLAGS@
|
/seL4-l4v-10.1.1/HOL4/polyml/modules/ |
H A D | Makefile.in | 201 CFLAGS = @CFLAGS@
|