Search

Home

Sort by

Full Search
Definition
Symbol
File Path
History
Type

In Project(s)

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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.special/
H A D	special.exp	`20 global srcdir subdir 28 dg-runtest [lsort [glob -nocomplain $srcdir/$subdir/.cc]] $cxx_options "-O0 -W -Wall" 29 dg-runtest [lsort [glob -nocomplain $srcdir/$subdir/.cc]] $cxx_options "-O2" 30 dg-runtest [lsort [glob -nocomplain $srcdir/$subdir/.cc]] $cxx_options "-O3" 31 dg-runtest [lsort [glob -nocomplain $srcdir/$subdir/.cc]] $cxx_options "-Os"`
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A D	call.exp	`20 global srcdir subdir 22 set tlist [lsearch -inline -all -not -glob [lsort [glob -nocomplain -- $srcdir/$subdir/.{c,cc}]] complex] 23 set ctlist [lsearch -inline -all -glob [lsort [glob -nocomplain -- $srcdir/$subdir/.{c,cc}]] complex]`
/seL4-l4v-10.1.1/HOL4/polyml/
H A D	Makefile.am	24 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 109 ./polyimport $(POLYIMPORT_OPTIONS) polytemp.txt -I $(srcdir) < $(srcdir)/exportPoly.sml 113 ./polyimport $(POLYIMPORT_OPTIONS) polytemp.txt -I $(srcdir) < $(srcdir)/exportPoly.sml \| cat 116 $(WINDRES) -o polyresource.o $(srcdir)/PolyM [all...]
H A D	Makefile.in	19 VPATH = @srcdir@ 113 DIST_COMMON = $(srcdir)/Makefile.am $(top_srcdir)/configure \ 142 am__vpath_adj_setup = srcdirstrip=`echo "$(srcdir)" \| sed 's\|.\|.\|g'`; 144 $(srcdir)/) f=`echo "$$p" \| sed "s\|^$$srcdirstrip/\|\|"`;; \ 150 srcdirstrip=`echo "$(srcdir)" \| sed 's/[].[^$$\\\|]/\\\\&/g'` 247 if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \ 252 am__DIST_COMMON = $(srcdir)/Makefile.in $(srcdir)/config.h.in \ 253 $(srcdir)/polyc.in COPYING compile config.guess config.sub \ 432 srcdir [all...]
H A D	configure	`881 srcdir= 1184 -srcdir \| --srcdir \| --srcdi \| --srcd \| --src \| --sr) 1185 ac_prev=srcdir ;; 1186 -srcdir=* \| --srcdir=* \| --srcdi=* \| --srcd=* \| --src=* \| --sr=*) 1187 srcdir=$ac_optarg ;; 1347 if test -z "$srcdir"; then 1373 srcdir=$ac_confdir 1374 if test ! -r "$srcdir/ [all...]`
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/
H A D	Makefile.in	17 VPATH = @srcdir@ 110 DIST_COMMON = $(srcdir)/Makefile.am $(am__DIST_COMMON) 134 am__vpath_adj_setup = srcdirstrip=`echo "$(srcdir)" \| sed 's\|.\|.\|g'`; 136 $(srcdir)/) f=`echo "$$p" \| sed "s\|^$$srcdirstrip/\|\|"`;; \ 142 srcdirstrip=`echo "$(srcdir)" \| sed 's/[].[^$$\\\|]/\\\\&/g'` 178 if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \ 182 am__DIST_COMMON = $(srcdir)/Makefile.in $(srcdir)/ffi.h.in 313 srcdir = @srcdir [all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/man/
H A D	Makefile.in	16 VPATH = @srcdir@ 109 DIST_COMMON = $(srcdir)/Makefile.am $(am__DIST_COMMON) 133 am__vpath_adj_setup = srcdirstrip=`echo "$(srcdir)" \| sed 's\|.\|.\|g'`; 135 $(srcdir)/) f=`echo "$$p" \| sed "s\|^$$srcdirstrip/\|\|"`;; \ 141 srcdirstrip=`echo "$(srcdir)" \| sed 's/[].[^$$\\\|]/\\\\&/g'` 165 am__DIST_COMMON = $(srcdir)/Makefile.in 296 srcdir = @srcdir@ 315 $(srcdir)/Makefile.in: @MAINTAINER_MODE_TRUE@ $(srcdir)/Makefil [all...]
/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A D	Makefile.in	16 VPATH = @srcdir@ 99 DIST_COMMON = $(srcdir)/Makefile.am $(am__DIST_COMMON) 124 am__DIST_COMMON = $(srcdir)/Makefile.in 261 srcdir = @srcdir@ 273 $(srcdir)/Makefile.in: @MAINTAINER_MODE_TRUE@ $(srcdir)/Makefile.am $(am__configure_deps) 285 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-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/
H A D	Makefile.in	`16 VPATH = @srcdir@ 109 DIST_COMMON = $(srcdir)/Makefile.am $(am__DIST_COMMON) 135 RUNTESTDEFAULTFLAGS = --tool $$tool --srcdir $$srcdir 138 am__DIST_COMMON = $(srcdir)/Makefile.in 269 srcdir = @srcdir@ 366 $(srcdir)/Makefile.in: @MAINTAINER_MODE_TRUE@ $(srcdir)/Makefile.am $(am__configure_deps) 378 Makefile: $(srcdir)/Makefil [all...]`
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/lib/
H A D	libffi.exp	`18 global srcdir 19 load_file $srcdir/lib/$filename 94 global srcdir 176 global srcdir 195 # search for ffi_mips.h in srcdir, too 196 lappend options "additional_flags=-I${libffi_include} -I${srcdir}/../include -I${libffi_include}/.."`
/seL4-l4v-10.1.1/HOL4/polyml/libpolymain/
H A D	Makefile.in	17 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'` 201 if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \ 205 am__DIST_COMMON = $(srcdir)/Makefile.in $(top_srcdir)/depcomp 342 srcdir = @srcdir@ 360 $(srcdir)/Makefil [all...]
/seL4-l4v-10.1.1/HOL4/polyml/modules/
H A D	Makefile.in	`16 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 321 srcdir = @srcdir@ 334 $(srcdir)/Makefile.in: @MAINTAINER_MODE_TRUE@ $(srcdir)/Makefile.am $(am__configure_deps) 346 Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status 454 case "$(srcdir)" i [all...]`
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A D	Makefile.in	19 VPATH = @srcdir@ 105 DIST_COMMON = $(srcdir)/Makefile.am $(noinst_HEADERS) \ 111 am__vpath_adj_setup = srcdirstrip=`echo "$(srcdir)" \| sed 's\|.\|.\|g'`; 113 $(srcdir)/) f=`echo "$$p" \| sed "s\|^$$srcdirstrip/\|\|"`;; \ 119 srcdirstrip=`echo "$(srcdir)" \| sed 's/[].[^$$\\\|]/\\\\&/g'` 289 if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \ 293 am__DIST_COMMON = $(srcdir)/Makefile.in $(srcdir)/polyml.pc.in \ 456 srcdir = @srcdir [all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A D	Makefile.in	18 VPATH = @srcdir@ 154 DIST_COMMON = $(srcdir)/Makefile.am $(top_srcdir)/configure \ 162 am__vpath_adj_setup = srcdirstrip=`echo "$(srcdir)" \| sed 's\|.\|.\|g'`; 164 $(srcdir)/) f=`echo "$$p" \| sed "s\|^$$srcdirstrip/\|\|"`;; \ 170 srcdirstrip=`echo "$(srcdir)" \| sed 's/[].[^$$\\\|]/\\\\&/g'` 385 if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \ 391 am__DIST_COMMON = $(srcdir)/Makefile.in $(srcdir)/fficonfig.h.in \ 392 $(srcdir)/libffi.pc.in ChangeLog README compile config.guess \ 566 srcdir [all...]
H A D	configure	`921 srcdir= 1224 -srcdir \| --srcdir \| --srcdi \| --srcd \| --src \| --sr) 1225 ac_prev=srcdir ;; 1226 -srcdir=* \| --srcdir=* \| --srcdi=* \| --srcd=* \| --src=* \| --sr=*) 1227 srcdir=$ac_optarg ;; 1387 if test -z "$srcdir"; then 1413 srcdir=$ac_confdir 1414 if test ! -r "$srcdir/ [all...]`
H A D	Makefile.am	260 libffi_la_LDFLAGS = -no-undefined -version-info `grep -v '^\#' $(srcdir)/libtool-version` $(LTLDFLAGS) $(AM_LTLDFLAGS)

Completed in 65 milliseconds

asus-wl-520gu-7.0.1.45
asuswrt-rt-n18u-9.0.0.4.380.2695
barrelfish-2018-10-04
barrelfish-master
broadcom-cfe-1.4.2
darwin-on-arm
freebsd-10-stable
freebsd-10.0-release
freebsd-10.1-release
freebsd-10.2-release
freebsd-10.3-release
freebsd-11-stable
freebsd-11.0-release
freebsd-12-stable
freebsd-13-stable
freebsd-9.3-release
freebsd-current
fuchsia
haiku
haiku-buildtools
haiku-fatelf
haikuporter
haikuports
linux-master
macosx-10.10
macosx-10.10.1
macosx-10.5.8
macosx-10.9.5
netbsd-6-1-5-RELEASE
netbsd-current
netgear-R7000-V1.0.7.12_1.2.5
netgear-R7800-V1.0.2.28
netgear-WNDR4500-V1.0.1.40_1.0.68
netgear-WNDR4500v2-V1.0.0.60_1.0.38
openbsd-current
openjdk10
openjdk9
opensolaris-onvv-gate
openwrt
seL4-camkes-master
seL4-l4v-10.1.1
seL4-l4v-master
seL4-mcs-10.1.1
seL4-refos-master
seL4-test-master
u-boot
xnu-2422.115.4
xnu-2782.1.97