Searched refs:srcdir (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/HOL4/polyml/
H A DMakefile.am24 POLYIMPORT = $(srcdir)/imports/polymli386.txt
27 POLYIMPORT = $(srcdir)/imports/polymlint.txt
30 POLYIMPORT = $(srcdir)/imports/polymlint64.txt
34 POLYIMPORT = $(srcdir)/imports/polymlx86_64win.txt
36 POLYIMPORT = $(srcdir)/imports/polymlx86_64sysv.txt
41 POLYIMPORT = $(srcdir)/imports/polymlx64_32win.txt
43 POLYIMPORT = $(srcdir)/imports/polymlx64_32sysv.txt
124 ./polyimport $(POLYIMPORT_OPTIONS) polytemp.txt -I $(srcdir) < $(srcdir)/exportPoly.sml
128 ./polyimport $(POLYIMPORT_OPTIONS) polytemp.txt -I $(srcdir) <
[all...]
H A DMakefile.in19 VPATH = @srcdir@
114 DIST_COMMON = $(srcdir)/Makefile.am $(top_srcdir)/configure \
143 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'`
249 if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
254 am__DIST_COMMON = $(srcdir)/Makefile.in $(srcdir)/config.h.in \
255 $(srcdir)/polyc.in COPYING compile config.guess config.sub \
432 srcdir
[all...]
H A Dconfigure875 srcdir=
1178 -srcdir | --srcdir | --srcdi | --srcd | --src | --sr)
1179 ac_prev=srcdir ;;
1180 -srcdir=* | --srcdir=* | --srcdi=* | --srcd=* | --src=* | --sr=*)
1181 srcdir=$ac_optarg ;;
1341 if test -z "$srcdir"; then
1367 srcdir=$ac_confdir
1368 if test ! -r "$srcdir/
[all...]
/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in16 VPATH = @srcdir@
99 DIST_COMMON = $(srcdir)/Makefile.am $(am__DIST_COMMON)
124 am__DIST_COMMON = $(srcdir)/Makefile.in
259 srcdir = @srcdir@
270 $(srcdir)/Makefile.in: @MAINTAINER_MODE_TRUE@ $(srcdir)/Makefile.am $(am__configure_deps)
282 Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
316 @srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
328 if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); f
[all...]
/seL4-l4v-master/HOL4/polyml/libpolymain/
H A DMakefile.in17 VPATH = @srcdir@
100 DIST_COMMON = $(srcdir)/Makefile.am $(am__DIST_COMMON)
105 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'`
202 if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
206 am__DIST_COMMON = $(srcdir)/Makefile.in $(top_srcdir)/depcomp
341 srcdir = @srcdir@
358 $(srcdir)/Makefil
[all...]
/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in16 VPATH = @srcdir@
99 DIST_COMMON = $(srcdir)/Makefile.am $(am__DIST_COMMON)
154 if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
159 am__DIST_COMMON = $(srcdir)/Makefile.in
319 srcdir = @srcdir@
331 $(srcdir)/Makefile.in: @MAINTAINER_MODE_TRUE@ $(srcdir)/Makefile.am $(am__configure_deps)
343 Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
451 case "$(srcdir)" i
[all...]
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A DMakefile.in19 VPATH = @srcdir@
107 DIST_COMMON = $(srcdir)/Makefile.am $(noinst_HEADERS) \
113 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'`
307 if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
311 am__DIST_COMMON = $(srcdir)/Makefile.in $(srcdir)/polyml.pc.in \
447 srcdir = @srcdir
[all...]

Completed in 112 milliseconds