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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/
H A DMakefile.in431 [\\/]* | ?:[\\/]*) sdir="$(srcdir)" ;; \
432 *) sdir=$(subdir)/$(srcdir) ;; \
438 echo "$$sdir/$$i"; \
/seL4-l4v-10.1.1/HOL4/polyml/modules/
H A DMakefile.in455 [\\/]* | ?:[\\/]*) sdir="$(srcdir)" ;; \
456 *) sdir=$(subdir)/$(srcdir) ;; \
462 echo "$$sdir/$$i"; \
/seL4-l4v-10.1.1/HOL4/polyml/libpolymain/
H A DMakefile.in501 [\\/]* | ?:[\\/]*) sdir="$(srcdir)" ;; \
502 *) sdir=$(subdir)/$(srcdir) ;; \
508 echo "$$sdir/$$i"; \
/seL4-l4v-10.1.1/HOL4/polyml/
H A DMakefile.in800 [\\/]* | ?:[\\/]*) sdir="$(srcdir)" ;; \
801 *) sdir=$(subdir)/$(srcdir) ;; \
807 echo "$$sdir/$$i"; \
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A DMakefile.in873 [\\/]* | ?:[\\/]*) sdir="$(srcdir)" ;; \
874 *) sdir=$(subdir)/$(srcdir) ;; \
880 echo "$$sdir/$$i"; \
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A DMakefile.in1490 [\\/]* | ?:[\\/]*) sdir="$(srcdir)" ;; \
1491 *) sdir=$(subdir)/$(srcdir) ;; \
1497 echo "$$sdir/$$i"; \

Completed in 168 milliseconds