Searched refs:PWD (Results 1 - 20 of 20) sorted by path

/seL4-camkes-master/projects/picotcp/
H A DMakefile16 PREFIX?=$(PWD)/build
H A DMakefile.watcom14 PREFIX?=$(PWD)/build
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/
H A DMakefile23 EXTRA_CFLAGS += -I$(PWD) -I$(PWD)/$(OS_PATH) -fstack-usage
66 PWD := $(shell pwd) macro
69 $(MAKE) CFLAGS="$(CFLAGS) $(EXTRA_CFLAGS)" -C $(KERNELDIR) M=$(PWD) modules
71 $(MAKE) -C $(KERNELDIR) M=$(PWD) clean
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A DMakefile85 $(error $(BASEFILE) does not equal $(MAINOBJ). ${PWD})
/seL4-camkes-master/tools/rumprun/platform/sel4/camkes/
H A Dcamkes_link.sh.in39 mkdir -p $PWD/rumprun/$(basename "${last}")_
/seL4-camkes-master/
H A Dgriddle209 # Is a repo dir present in the PWD?
217 THIS_DIR=${PWD##*/}
226 # Is a repo dir present in the PWD?
H A Dinit-build.sh19 if [ "$PWD" = "$SCRIPT_PATH" ]
/seL4-camkes-master/tools/cogent/
H A Dbuild-env.sh31 while test "$PWD" != '/' -a ! -f build-env.mk
35 echo "$PWD"
/seL4-camkes-master/tools/cogent/cogent/
H A DMakefile14 PWD:=$(shell pwd) macro
15 SCRIPTS_DIR:=$(PWD)/scripts/
16 include $(PWD)/../config.mk
29 $(E) "source $(PWD)/misc/cogent_autocomplete.sh"
60 $(E) ' export PATH=$(PWD)/dist-newstyle/build/<ARCH>/ghc-<GHC_VERSION>/cogent-<COGENT_VERSION>/build/cogent/cogent:$$PATH'
63 $(E) ' ln -s $(PWD)/dist-newstyle/build/<ARCH>/ghc-<GHC_VERSION>/cogent-<COGENT_VERSION>/build/cogent/cogent $$HOME/.cabal/bin/cogent'
66 $(E) "source $(PWD)/misc/cogent_autocomplete.sh"
75 $(Q) $(CABAL) new-install --overwrite-policy=always --installdir=$(PWD)/build/bin/
98 ./tests/run-test-suite.py --repo "$(PWD)/../" \
99 --extra-phases "$(PWD)/test
[all...]
/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/
H A DMakefile47 PWD:= $(shell pwd) macro
56 LINUX_EXTRA_CFLAGS := -I$(PWD)/plat/linux/ -I$(PWD) -I$(PWD)/src -I$(PWD)/lib -I$(PWD)/abstract $(COMMON_CFLAGS) -I$(LIBGUM)
57 VERIF_EXTRA_CFLAGS := -I$(PWD)/plat/verification/ -I$(PWD) -I$(PWD)/src -I$(PWD)/li
112 PWD:= $(shell pwd) macro
[all...]
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/
H A DMakefile39 PWD:= $(shell pwd) macro
48 LINUX_EXTRA_CFLAGS := -I$(PWD) -I$(PWD)/build -I$(PWD)/abstract $(COMMON_CFLAGS) -I$(LIBGUM)
58 --abs-type-dir=$(PWD)
85 PWD:= $(shell pwd) macro
107 $(Q)$(CC) -c $(DIST_DIR)/fsm_wrapper_pp_inferred.c -o $(DIST_DIR)/fsm.o -I$(DIST_DIR) -I$(PWD) -fPIC
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/readpage_example/
H A DMakefile27 PWD:= $(shell pwd) macro
30 --abs-type-dir=$(PWD)
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/wa_example/
H A DMakefile35 PWD:= $(shell pwd) macro
44 LINUX_EXTRA_CFLAGS := -I$(PWD) -I$(PWD)/build -I$(PWD)/abstract $(COMMON_CFLAGS) -I$(LIBGUM)
54 --abs-type-dir=$(PWD)
82 PWD:= $(shell pwd) macro
104 $(Q)$(CC) -c $(DIST_DIR)/wa_wrapper_pp_inferred.c -o $(DIST_DIR)/wa.o -I$(DIST_DIR) -I$(PWD) -fPIC
/seL4-camkes-master/tools/cogent/impl/fs/ext2/cogent/
H A DMakefile77 PWD:= $(shell pwd) macro
88 CPPFLAGS.common := -I$(PWD) -I$(PWD)/src -I$(PWD)/lib -I$(PWD)/abstract -I$(LIBGUM)
89 CPPFLAGS.linux := -I$(PWD)/plat/linux/
90 CPPFLAGS.verif := -I$(PWD)/plat/verification/ -DVERIFICATION
102 --abs-type-dir=$(PWD) \
146 PWD:= $(shell pwd) macro
180 $(Q)$(MAKE) OBJ="$(OBJ)" CFLAGS="${CFLAGS}" EXTRA_CFLAGS="-std=gnu99 ${EXTRA_CFLAGS} ${CPPFLAGS}" -C $(KERNELDIR) M=$(PWD) module
[all...]
/seL4-camkes-master/tools/cogent/impl/fs/skel-fs/cogent/
H A DMakefile41 PWD:= $(shell pwd) macro
51 LINUX_EXTRA_CFLAGS := -I$(PWD)/plat/linux/ -I$(PWD) -I$(PWD)/src -I$(PWD)/lib -I$(PWD)/abstract $(COMMON_CFLAGS) -I$(LIBGUM)
52 VERIF_EXTRA_CFLAGS := -I$(PWD)/plat/verification/ -I$(PWD) -I$(PWD)/src -I$(PWD)/li
106 PWD:= $(shell pwd) macro
[all...]
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/
H A DMakefile45 PWD:= $(shell pwd) macro
55 LINUX_EXTRA_CFLAGS := -I$(PWD)/plat/linux/ -I$(PWD) -I$(PWD)/src -I$(PWD)/lib -I$(PWD)/abstract $(COMMON_CFLAGS) -I$(LIBGUM)
56 VERIF_EXTRA_CFLAGS := -I$(PWD)/plat/verification/ -I$(PWD) -I$(PWD)/src -I$(PWD)/li
115 PWD:= $(shell pwd) macro
[all...]
/seL4-camkes-master/tools/cogent/impl/net/loopback/cogent/
H A DMakefile51 PWD:= $(shell pwd) macro
61 LINUX_EXTRA_CFLAGS := -I$(PWD)/plat/linux/ -I$(PWD) -I$(PWD)/src -I$(PWD)/lib -I$(PWD)/abstract $(COMMON_CFLAGS) -I$(LIBGUM)
62 VERIF_EXTRA_CFLAGS := -I$(PWD)/plat/verification/ -I$(PWD) -I$(PWD)/src -I$(PWD)/li
117 PWD:= $(shell pwd) macro
[all...]
/seL4-camkes-master/tools/cogent/isa-parser/
H A DMakefile14 PWD:=$(shell pwd) macro
15 include $(PWD)/../config.mk
/seL4-camkes-master/tools/seL4/cmake-tool/
H A Dgriddle209 # Is a repo dir present in the PWD?
217 THIS_DIR=${PWD##*/}
226 # Is a repo dir present in the PWD?
H A Dinit-build.sh19 if [ "$PWD" = "$SCRIPT_PATH" ]

Completed in 180 milliseconds