Searched refs:LIBGUM (Results 1 - 25 of 47) sorted by relevance

12

/seL4-camkes-master/tools/cogent/cogent/examples/iterator/
H A DMakefile9 LIBGUM=$(shell cogent --libgum-dir) macro
13 CFLAGS+=-I${LIBGUM} -I${LIBGUM}gum/anti -O2
/seL4-camkes-master/tools/cogent/cogent/examples/mapper/
H A DMakefile18 LIBGUM=$(shell cogent --libgum-dir) macro
20 AHFILES=$(LIBGUM)gum/anti/abstract/WordArray.ah \
21 $(LIBGUM)gum/anti/abstract/View.ah
31 CFLAGS+=-I. -I$(LIBGUM) -I$(LIBGUM)/gum/anti -std=gnu99
/seL4-camkes-master/tools/cogent/cogent/tests/pass_bench-dargent-cg/wo_dargent/
H A DMakefile9 LIBGUM=$(shell cogent --libgum-dir) macro
13 CFLAGS+=-I${LIBGUM} -I${LIBGUM}gum/anti -O2 -g
/seL4-camkes-master/tools/cogent/cogent/tests/pass_bench-dargent-cg/w_dargent/
H A DMakefile9 LIBGUM=$(shell cogent --libgum-dir) macro
13 CFLAGS+=-I${LIBGUM} -I${LIBGUM}gum/anti -O2 -g
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/readpage_example/
H A DMakefile18 LIBGUM=$(COGENT_LIBGUM_DIR) macro
19 ifeq ($(LIBGUM),)
20 LIBGUM=$(shell cogent --libgum-dir) macro
/seL4-camkes-master/tools/cogent/cogent/examples/fib/
H A DMakefile18 LIBGUM=$(shell cogent --libgum-dir) macro
29 CFLAGS=-I. -I$(LIBGUM) -I$(LIBGUM)/gum/anti -std=gnu99 # -I../plat/console
/seL4-camkes-master/tools/cogent/cogent/examples/hello-world/
H A DMakefile15 LIBGUM=$(shell cogent --libgum-dir) macro
27 CFLAGS+=-I. -I$(LIBGUM) -I$(LIBGUM)/gum/anti -std=gnu99
/seL4-camkes-master/tools/cogent/cogent/examples/recursive-list-example/
H A DMakefile27 LIBGUM=$(shell cogent --libgum-dir) macro
29 ACFILES = main.ac # $(LIBGUM)/lib/anti/common.ac $(LIBGUM)/lib/anti/recursive_list.ac
39 CFLAGS=-I. -I$(LIBGUM) -I$(LIBGUM)/gum/anti -std=gnu99 -I$(BUILD_DIR)
/seL4-camkes-master/tools/cogent/cogent/examples/flip/
H A DMakefile15 LIBGUM=$(shell cogent --libgum-dir) macro
27 CFLAGS+=-I. -I$(LIBGUM) -I$(LIBGUM)/gum/anti -std=gnu99
/seL4-camkes-master/tools/cogent/cogent/examples/sumofn/
H A DMakefile16 LIBGUM=$(shell cogent --libgum-dir) macro
27 CFLAGS+=-I. -I$(LIBGUM) -I$(LIBGUM)/gum/anti -std=gnu99
/seL4-camkes-master/tools/cogent/cogent/examples/template/
H A DMakefile15 LIBGUM=$(shell cogent --libgum-dir) macro
27 CFLAGS+=-I. -I$(LIBGUM) -I$(LIBGUM)/gum/anti -std=gnu99
/seL4-camkes-master/tools/cogent/cogent/examples/square/
H A DMakefile20 LIBGUM=$(shell cogent --libgum-dir) macro
29 CFLAGS=-I. -I$(LIBGUM) -I$(LIBGUM)/gum/anti -std=gnu99 # -I../plat/console
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/pass_array/
H A DMakefile18 LIBGUM=$(shell cogent --libgum-dir) macro
20 AHFILES=$(LIBGUM)/gum/anti/abstract/Array.ah
30 CFLAGS+=-I. -I$(LIBGUM) -std=gnu99
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/pass_serialisation/
H A DMakefile18 LIBGUM=$(shell cogent --libgum-dir) macro
20 AHFILES=$(LIBGUM)/gum/anti/abstract/WordArray.ah
30 CFLAGS+=-I. -I$(LIBGUM) -std=gnu99
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/pass_wordarray/
H A DMakefile18 LIBGUM=$(shell cogent --libgum-dir) macro
20 AHFILES=$(LIBGUM)/gum/anti/abstract/WordArray.ah
30 CFLAGS+=-I. -I$(LIBGUM) -std=gnu99
/seL4-camkes-master/tools/cogent/impl/experimental/serial/
H A DMakefile16 LIBGUM=$(shell cogent --libgum-dir) macro
27 CFLAGS+=-I. -I$(LIBGUM) -I$(LIBGUM)/gum/anti -I ./libutils/include/ -std=gnu99
/seL4-camkes-master/tools/cogent/cogent/examples/fizzbuzz/
H A DMakefile18 LIBGUM=$(shell cogent --libgum-dir) macro
21 #AHFILES=$(LIBGUM)/gum/anti/abstract/Array.ah
31 CFLAGS+=-I. -I../plat/console -I$(LIBGUM) -I$(LIBGUM)/gum/anti -std=gnu99
/seL4-camkes-master/tools/cogent/cogent/examples/list/
H A DMakefile18 LIBGUM=$(shell cogent --libgum-dir) macro
21 #AHFILES=$(LIBGUM)/gum/anti/abstract/Array.ah
31 CFLAGS+=-I. -I../plat/console -I$(LIBGUM) -I$(LIBGUM)/gum/anti -std=gnu99
/seL4-camkes-master/tools/cogent/cogent/examples/search/
H A DMakefile18 LIBGUM=$(shell cogent --libgum-dir) macro
20 AHFILES= # $(LIBGUM)/gum/anti/abstract/WordArray.ah
30 CFLAGS+=-I. -I$(LIBGUM) -I$(LIBGUM)/gum/anti -std=gnu99
/seL4-camkes-master/tools/cogent/cogent/examples/files/
H A DMakefile16 LIBGUM=$(shell cogent --libgum-dir) macro
28 CFLAGS+=-I. -I$(LIBGUM) -I$(LIBGUM)/gum/anti -std=gnu99 -I$(ABSDIR)
/seL4-camkes-master/tools/cogent/cogent/examples/system-abstract-verif/
H A DMakefile27 LIBGUM=$(shell cogent --libgum-dir) macro
43 CFLAGS=-I. -I$(LIBGUM) -I$(LIBGUM)/gum/anti -std=gnu99 -I$(BUILD_DIR)
/seL4-camkes-master/tools/cogent/cogent/examples/brutal/
H A DMakefile18 LIBGUM=$(shell cogent --libgum-dir) macro
21 #AHFILES=$(LIBGUM)/gum/anti/abstract/WordArray.ah
31 CFLAGS+=-g -I. -I../plat/console -I$(LIBGUM) -I$(LIBGUM)/gum/anti -std=gnu99
/seL4-camkes-master/tools/cogent/cogent/examples/bag/
H A DMakefile18 LIBGUM=$(shell cogent --libgum-dir) macro
29 CFLAGS+=-I. -I$(LIBGUM) -std=gnu99
/seL4-camkes-master/tools/cogent/cogent/examples/swap-drop/
H A DMakefile20 LIBGUM=$(shell cogent --libgum-dir) macro
29 CFLAGS=-I. -I$(LIBGUM) -std=c99
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/fail_toplevel-polyfunc/
H A DMakefile18 LIBGUM=$(shell cogent --libgum-dir) macro
29 CFLAGS+=-I. -I$(LIBGUM) -std=gnu99

Completed in 158 milliseconds

12