| 1 | CIVL=civl
|
|---|
| 2 | VERIFY=$(CIVL) verify
|
|---|
| 3 | RUN=$(CIVL) run
|
|---|
| 4 | CIVLC_PATH=./civlc/
|
|---|
| 5 | STDIO_PATH=./stdio/
|
|---|
| 6 | OMP_PATH=./omp/
|
|---|
| 7 |
|
|---|
| 8 |
|
|---|
| 9 | all: assert memcpy malloc printf printfBad commFeatures commBad msgUnpackBad1 msgUnpackBad2 \
|
|---|
| 10 | barrier chooseInt exit exitBad intIter contains equals trans_ptr copy seq freeBad1 freeBad2 \
|
|---|
| 11 | bundleAndHeap domainDecomposition string \
|
|---|
| 12 | teams shared read write barrierFlush reduction sections single ompfor
|
|---|
| 13 |
|
|---|
| 14 | assert : assert.cvl
|
|---|
| 15 | $(VERIFY) assert.cvl
|
|---|
| 16 |
|
|---|
| 17 | memcpy: memcpy.cvl
|
|---|
| 18 | $(VERIFY) memcpy.cvl
|
|---|
| 19 |
|
|---|
| 20 | malloc: malloc.cvl
|
|---|
| 21 | $(VERIFY) malloc.cvl
|
|---|
| 22 |
|
|---|
| 23 | printf: ${STDIO_PATH}printf.cvl
|
|---|
| 24 | $(VERIFY) ${STDIO_PATH}printf.cvl
|
|---|
| 25 |
|
|---|
| 26 | printfBad: ${STDIO_PATH}printfBad.cvl
|
|---|
| 27 | $(VERIFY) ${STDIO_PATH}printfBad.cvl
|
|---|
| 28 |
|
|---|
| 29 | commFeatures: ${CIVLC_PATH}communicatorFeatures.cvl
|
|---|
| 30 | $(VERIFY) -inputNPROCS_BOUND=2 -inputN_BOUND=2 ${CIVLC_PATH}communicatorFeatures.cvl
|
|---|
| 31 |
|
|---|
| 32 | commBad: ${CIVLC_PATH}commBad.cvl
|
|---|
| 33 | $(VERIFY) ${CIVLC_PATH}commBad.cvl
|
|---|
| 34 |
|
|---|
| 35 | msgUnpackBad1: ${CIVLC_PATH}messageUnpackBad1.cvl
|
|---|
| 36 | $(VERIFY) ${CIVLC_PATH}messageUnpackBad1.cvl
|
|---|
| 37 |
|
|---|
| 38 | msgUnpackBad2: ${CIVLC_PATH}messageUnpackBad2.cvl
|
|---|
| 39 | $(VERIFY) ${CIVLC_PATH}messageUnpackBad2.cvl
|
|---|
| 40 |
|
|---|
| 41 | barrier: ${CIVLC_PATH}barrier.cvl
|
|---|
| 42 | $(VERIFY) -inputB=5 ${CIVLC_PATH}barrier.cvl
|
|---|
| 43 |
|
|---|
| 44 | chooseInt: ${CIVLC_PATH}chooseInt.cvl
|
|---|
| 45 | $(VERIFY) ${CIVLC_PATH}chooseInt.cvl
|
|---|
| 46 |
|
|---|
| 47 | exit: ${CIVLC_PATH}exit.cvl
|
|---|
| 48 | $(VERIFY) ${CIVLC_PATH}exit.cvl
|
|---|
| 49 |
|
|---|
| 50 | exitBad: ${CIVLC_PATH}exitBad.cvl
|
|---|
| 51 | $(VERIFY) ${CIVLC_PATH}exitBad.cvl
|
|---|
| 52 |
|
|---|
| 53 | intIter: ${CIVLC_PATH}intIter.cvl
|
|---|
| 54 | $(VERIFY) -inputB=5 ${CIVLC_PATH}intIter.cvl
|
|---|
| 55 |
|
|---|
| 56 | contains: ${CIVLC_PATH}contains.cvl
|
|---|
| 57 | $(VERIFY) ${CIVLC_PATH}contains.cvl
|
|---|
| 58 |
|
|---|
| 59 | equals: ${CIVLC_PATH}equals.cvl
|
|---|
| 60 | $(VERIFY) ${CIVLC_PATH}equals.cvl
|
|---|
| 61 |
|
|---|
| 62 | trans_ptr: ${CIVLC_PATH}translate_ptr.cvl
|
|---|
| 63 | $(VERIFY) ${CIVLC_PATH}translate_ptr.cvl
|
|---|
| 64 |
|
|---|
| 65 | copy: ${CIVLC_PATH}copy.cvl
|
|---|
| 66 | $(VERIFY) ${CIVLC_PATH}copy.cvl
|
|---|
| 67 |
|
|---|
| 68 | seq: ${CIVLC_PATH}seq.cvl
|
|---|
| 69 | $(VERIFY) ${CIVLC_PATH}seq.cvl
|
|---|
| 70 |
|
|---|
| 71 | freeBad1: ${CIVLC_PATH}freeBad1.cvl
|
|---|
| 72 | $(VERIFY) ${CIVLC_PATH}freeBad1.cvl
|
|---|
| 73 |
|
|---|
| 74 | freeBad2: ${CIVLC_PATH}freeBad2.cvl
|
|---|
| 75 | $(VERIFY) ${CIVLC_PATH}freeBad2.cvl
|
|---|
| 76 |
|
|---|
| 77 | bundleAndHeap: ${CIVLC_PATH}bundleAndHeap.cvl
|
|---|
| 78 | $(VERIFY) ${CIVLC_PATH}bundleAndHeap.cvl
|
|---|
| 79 |
|
|---|
| 80 | domainDecomposition: ${CIVLC_PATH}domainDecomposition.cvl
|
|---|
| 81 | $(VERIFY) -inputn=4 ${CIVLC_PATH}domainDecomposition.cvl
|
|---|
| 82 |
|
|---|
| 83 | teams: ${OMP_PATH}teams.cvl
|
|---|
| 84 | $(RUN) ${OMP_PATH}teams.cvl
|
|---|
| 85 |
|
|---|
| 86 | shared: ${OMP_PATH}shared.cvl
|
|---|
| 87 | $(RUN) ${OMP_PATH}shared.cvl
|
|---|
| 88 |
|
|---|
| 89 | read: ${OMP_PATH}read.cvl
|
|---|
| 90 | $(RUN) ${OMP_PATH}read.cvl
|
|---|
| 91 |
|
|---|
| 92 | write: ${OMP_PATH}write.cvl
|
|---|
| 93 | $(RUN) ${OMP_PATH}write.cvl
|
|---|
| 94 |
|
|---|
| 95 | barrierFlush: ${OMP_PATH}barrierFlush.cvl
|
|---|
| 96 | $(RUN) ${OMP_PATH}barrierFlush.cvl
|
|---|
| 97 |
|
|---|
| 98 | reduction: ${OMP_PATH}reduction.cvl
|
|---|
| 99 | $(RUN) ${OMP_PATH}reduction.cvl
|
|---|
| 100 |
|
|---|
| 101 | sections: ${OMP_PATH}sections.cvl
|
|---|
| 102 | $(RUN) ${OMP_PATH}sections.cvl
|
|---|
| 103 |
|
|---|
| 104 | single: ${OMP_PATH}single.cvl
|
|---|
| 105 | $(RUN) ${OMP_PATH}single.cvl
|
|---|
| 106 |
|
|---|
| 107 | ompfor: ${OMP_PATH}for.cvl
|
|---|
| 108 | $(RUN) ${OMP_PATH}for.cvl
|
|---|
| 109 |
|
|---|
| 110 | string: string.cvl
|
|---|
| 111 | $(VERIFY) string.cvl
|
|---|
| 112 |
|
|---|
| 113 |
|
|---|
