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

/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in452 [\\/]* | ?:[\\/]*) sdir="$(srcdir)" ;; \
453 *) sdir=$(subdir)/$(srcdir) ;; \
459 echo "$$sdir/$$i"; \
/seL4-l4v-master/HOL4/polyml/libpolymain/
H A DMakefile.in505 [\\/]* | ?:[\\/]*) sdir="$(srcdir)" ;; \
506 *) sdir=$(subdir)/$(srcdir) ;; \
512 echo "$$sdir/$$i"; \
/seL4-l4v-master/HOL4/polyml/
H A DMakefile.in810 [\\/]* | ?:[\\/]*) sdir="$(srcdir)" ;; \
811 *) sdir=$(subdir)/$(srcdir) ;; \
817 echo "$$sdir/$$i"; \
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A DMakefile.in826 [\\/]* | ?:[\\/]*) sdir="$(srcdir)" ;; \
827 *) sdir=$(subdir)/$(srcdir) ;; \
833 echo "$$sdir/$$i"; \

Completed in 203 milliseconds