/seL4-camkes-master/tools/cogent/cogent/tests/tests/flags/pass_flags_cpp/ |
H A D | Makefile | 14 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 26 rm -f $(COUTPUT) $(HOUTPUT)
|
/seL4-camkes-master/tools/cogent/cogent/examples/bag/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 52 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/examples/fib/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 49 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/examples/mapper/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 53 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/examples/square/ |
H A D | Makefile | 17 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 55 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/examples/swap-drop/ |
H A D | Makefile | 17 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 48 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/pass_array/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 55 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/fail_toplevel-polyfunc/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 51 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/fixme_char/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 51 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/pass_serialisation/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 49 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/pass_wordarray/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 49 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/pass_typecast/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 53 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/pass_toplevel-polyfunc/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 51 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/pass_iterator/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 50 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/dargent/antiquote-tests/pass_datalayout_default_embedded_boolean/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 53 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/dargent/antiquote-tests/pass_datalayout_default_embedded_boxed_abstract/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 53 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/dargent/antiquote-tests/pass_datalayout_default_embedded_boxed_record/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 53 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/dargent/antiquote-tests/pass_datalayout_default_embedded_primints/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 53 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/dargent/antiquote-tests/pass_datalayout_default_embedded_unboxed_record/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 53 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/dargent/antiquote-tests/pass_datalayout_default_embedded_unit/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 53 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/dargent/antiquote-tests/pass_datalayout_default_embedded_variant/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 53 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/examples/adder/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 60 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/examples/fizzbuzz/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 55 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/examples/list/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 55 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|
/seL4-camkes-master/tools/cogent/cogent/examples/search/ |
H A D | Makefile | 15 COUTPUT=$(addsuffix .c, $(OUTPUT)) macro 59 rm -f $(COUTPUT) $(HOUTPUT) $(PP) $(PPINFER) $(OBJ)
|