Searched refs:LDFLAGS (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A DMakefile.in192 $(CXXFLAGS) $(libpolyml_la_LDFLAGS) $(LDFLAGS) -o $@
260 $(CXXFLAGS) $(AM_LDFLAGS) $(LDFLAGS) -o $@
278 $(AM_LDFLAGS) $(LDFLAGS) -o $@
356 LDFLAGS = @LDFLAGS@
/seL4-l4v-master/HOL4/polyml/libpolymain/
H A DMakefile.in143 $(AM_CFLAGS) $(CFLAGS) $(libpolymain_la_LDFLAGS) $(LDFLAGS) -o \
175 $(AM_LDFLAGS) $(LDFLAGS) -o $@
250 LDFLAGS = @LDFLAGS@
/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in168 LDFLAGS = @LDFLAGS@
/seL4-l4v-master/HOL4/polyml/
H A Dconfigure733 LDFLAGS
841 LDFLAGS
1535 LDFLAGS linker flags, e.g. -L<lib dir> if you have libraries in a
2925 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
3703 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4486 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4492 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4544 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4680 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4811 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftes
[all...]
H A DMakefile.in136 $(poly_LDFLAGS) $(LDFLAGS) -o $@
142 $(polyimport_LDFLAGS) $(LDFLAGS) -o $@
201 $(AM_LDFLAGS) $(LDFLAGS) -o $@
341 LDFLAGS = @LDFLAGS@
/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in228 LDFLAGS = @LDFLAGS@

Completed in 64 milliseconds