Searched refs:ax_enable_builddir (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure2893 ax_enable_builddir="."
2896 enableval=$enable_builddir; ax_enable_builddir="$enableval"
2898 ax_enable_builddir="auto"
2907 test ".$ax_enable_builddir" = "." && ax_enable_builddir="."
2908 test ".$ax_enable_builddir" = ".no" && ax_enable_builddir="."
2910 test ".$ax_enable_builddir" = ".auto" && ax_enable_builddir="$TARGET"
2911 if test ".$ax_enable_builddir" !
[all...]
H A DMakefile.in145 $(top_srcdir)/m4/ax_enable_builddir.m4 \
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/
H A DMakefile.in101 $(top_srcdir)/m4/ax_enable_builddir.m4 \
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/man/
H A DMakefile.in100 $(top_srcdir)/m4/ax_enable_builddir.m4 \
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/
H A DMakefile.in100 $(top_srcdir)/m4/ax_enable_builddir.m4 \

Completed in 97 milliseconds