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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dpolyc.in7 LIBS="@dependentlibs@"
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 Dconfigure779 LIBS
846 LIBS
1544 LIBS libraries to pass to the linker, e.g. -l<library>
2934 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
3963 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4746 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4752 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4804 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
7003 lt_globsym_save_LIBS=$LIBS
7005 LIBS
[all...]
H A DMakefile.in343 LIBS = @LIBS@
587 $(AM_V_CCLD)$(poly_LINK) $(poly_OBJECTS) $(poly_LDADD) $(LIBS)
591 $(AM_V_CCLD)$(polyimport_LINK) $(polyimport_OBJECTS) $(polyimport_LDADD) $(LIBS)
1168 # ./buildpolyc LINK=\"$(CC)\" BINDIR=\"$(bindir)\" LIBDIR=\"$(libdir)\" LIBS=\"$(LIBS)\" EXTRALDFLAGS=\"$(EXTRALDFLAGS)\" SUFFIX=\"$(OBJECTSUFFIX)\"
/seL4-l4v-10.1.1/HOL4/polyml/libpolymain/
H A DMakefile.in253 LIBS = @LIBS@
426 $(AM_V_CCLD)$(libpolymain_la_LINK) -rpath $(libdir) $(libpolymain_la_OBJECTS) $(libpolymain_la_LIBADD) $(LIBS)
/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in172 LIBS = @LIBS@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/
H A DMakefile.in231 LIBS = @LIBS@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/man/
H A DMakefile.in214 LIBS = @LIBS@
/seL4-l4v-10.1.1/HOL4/tools/
H A Dconfigure.sml576 of "linux" => SOME "ld -shared -o $@ $(COBJS) $(LIBS)"
577 | "solaris" => SOME "ld -G -B dynamic -o $@ $(COBJS) $(LIBS)"
579 \ -o $@ $(COBJS) $(LIBS)"
/seL4-l4v-10.1.1/HOL4/polyml/modules/
H A DMakefile.in232 LIBS = @LIBS@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A DMakefile.in367 LIBS = @LIBS@
658 $(AM_V_CXXLD)$(libpolyml_la_LINK) -rpath $(libdir) $(libpolyml_la_OBJECTS) $(libpolyml_la_LIBADD) $(LIBS)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/
H A DMakefile.in187 LIBS = @LIBS@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure834 LIBS
1576 LIBS libraries to pass to the linker, e.g. -l<library>
2725 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
3575 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4358 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4364 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4416 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4614 ac_link='$CXX -o conftest$ac_exeext $CXXFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4865 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
7303 lt_globsym_save_LIBS=$LIBS
[all...]
H A DMakefile.in484 LIBS = @LIBS@
1139 $(AM_V_CCLD)$(libffi_la_LINK) -rpath $(toolexeclibdir) $(libffi_la_OBJECTS) $(libffi_la_LIBADD) $(LIBS)
1142 $(AM_V_CCLD)$(LINK) $(libffi_convenience_la_OBJECTS) $(libffi_convenience_la_LIBADD) $(LIBS)

Completed in 108 milliseconds