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

/seL4-l4v-master/HOL4/polyml/libpolymain/
H A DMakefile.in105 am__vpath_adj_setup = srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`;
107 $(srcdir)/*) f=`echo "$$p" | sed "s|^$$srcdirstrip/||"`;; \
113 srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*|]/\\\\&/g'`
115 for p in $$list; do echo "$$p"; done | sed -e "s|$$srcdirstrip/||"
118 sed "s| $$srcdirstrip/| |;"' / .*\//!s/ .*/ ./; s,\( .*\)/[^/]*$$,\1,' | \
523 @srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
527 sed -e "s|^$$srcdirstrip/||;t" \
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A DMakefile.in113 am__vpath_adj_setup = srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`;
115 $(srcdir)/*) f=`echo "$$p" | sed "s|^$$srcdirstrip/||"`;; \
121 srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*|]/\\\\&/g'`
123 for p in $$list; do echo "$$p"; done | sed -e "s|$$srcdirstrip/||"
126 sed "s| $$srcdirstrip/| |;"' / .*\//!s/ .*/ ./; s,\( .*\)/[^/]*$$,\1,' | \
844 @srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
848 sed -e "s|^$$srcdirstrip/||;t" \
/seL4-l4v-master/HOL4/polyml/
H A DMakefile.in143 am__vpath_adj_setup = srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`;
145 $(srcdir)/*) f=`echo "$$p" | sed "s|^$$srcdirstrip/||"`;; \
151 srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*|]/\\\\&/g'`
153 for p in $$list; do echo "$$p"; done | sed -e "s|$$srcdirstrip/||"
156 sed "s| $$srcdirstrip/| |;"' / .*\//!s/ .*/ ./; s,\( .*\)/[^/]*$$,\1,' | \
831 @srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
835 sed -e "s|^$$srcdirstrip/||;t" \
/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in316 @srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
320 sed -e "s|^$$srcdirstrip/||;t" \
/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in470 @srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
474 sed -e "s|^$$srcdirstrip/||;t" \

Completed in 47 milliseconds