| 1 | CC = cc -std=c11
|
|---|
| 2 | CIVL=civl verify -input_mpi_nprocs=3
|
|---|
| 3 | COMPARE=civl compare -input_mpi_nprocs=3
|
|---|
| 4 | DLOPT=-deadlock=potential
|
|---|
| 5 | MPICC=mpicc -std=c11
|
|---|
| 6 | MPIEXEC=mpiexec
|
|---|
| 7 | ISPCC=ispcc -std=c99
|
|---|
| 8 | ISPEXEC=isp
|
|---|
| 9 | EXECUTABLES=absolute_dl_bad absolute_dl_good type_match_p2p_bad \
|
|---|
| 10 | any_src_bad any_src_good assertion_bad assertion_good collective_match_bad collective_match_good \
|
|---|
| 11 | comm_dup_bad comm_dup_good dy_buf_bad dy_buf_good input_branch_bad input_branch_good \
|
|---|
| 12 | matmat_mw_bad matmat_mw_good mpithreads_bad mpithreads_good\
|
|---|
| 13 | not_single_bad potential_dl_bad rbuf_overflow_bad seq1_bad seq2_bad seq3_bad seq4_bad \
|
|---|
| 14 | simple_nb_bad tags_bad type_match_p2p_bad \
|
|---|
| 15 | not_single_good potential_dl_good rbuf_overflow_good seq1_good seq2_good seq3_good seq4_good \
|
|---|
| 16 | simple_nb_good tags_good type_match_p2p_good
|
|---|
| 17 |
|
|---|
| 18 | all : absolute_dl any_source assertion collective_match comm_dup\
|
|---|
| 19 | matmat_mw mpithreads not_single_path potential_dl rbuf_overflow seq1 \
|
|---|
| 20 | seq2 seq3 seq4 simple_nb tags type_match
|
|---|
| 21 |
|
|---|
| 22 | isp_all : isp_absolute_dl isp_any_source isp_assertion isp_collective_match isp_comm_dup\
|
|---|
| 23 | isp_dy_buf isp_input_branch\
|
|---|
| 24 | isp_matmat_mw isp_mpithreads isp_not_single_path isp_potential_dl isp_rbuf_overflow isp_seq1\
|
|---|
| 25 | isp_seq2 isp_seq3 isp_seq4 isp_simple_nb isp_tags isp_type_match
|
|---|
| 26 |
|
|---|
| 27 | run_isp: isprun.sh
|
|---|
| 28 | ./$<
|
|---|
| 29 |
|
|---|
| 30 | run_mop: moprun.sh
|
|---|
| 31 | ./$<
|
|---|
| 32 |
|
|---|
| 33 | civl_all : civl_absolutedl_bad civl_absolutedl_good civl_any_src_bad civl_any_src_good civl_assertion_bad \
|
|---|
| 34 | civl_assertion_good \
|
|---|
| 35 | civl_collective_match_bad civl_collective_match_good civl_comm_dup_bad civl_comm_dup_good \
|
|---|
| 36 | civl_dy_buf_bad civl_dy_buf_good \
|
|---|
| 37 | civl_input_branch_bad civl_input_branch_good civl_matmat_bad civl_matmat_good civl_mpithreads_bad\
|
|---|
| 38 | civl_mpithreads_good civl_not_single_bad civl_not_single_good civl_potential_bad civl_potential_good\
|
|---|
| 39 | civl_rbuf_overflow_bad civl_rbuf_overflow_good civl_seq1_bad civl_seq1_good civl_seq2_bad civl_seq2_good \
|
|---|
| 40 | civl_seq3_bad civl_seq3_good civl_seq4_bad civl_seq4_good civl_tags_bad civl_tags_good \
|
|---|
| 41 | civl_type_match_bad civl_type_match_good
|
|---|
| 42 |
|
|---|
| 43 | ################ RUN ################
|
|---|
| 44 | absolute_dl: absolute_dl_bad.c absolute_dl_good.c
|
|---|
| 45 | $(MPICC) absolute_dl_bad.c -o absolute_dl_bad
|
|---|
| 46 | $(MPICC) absolute_dl_good.c -o absolute_dl_good
|
|---|
| 47 |
|
|---|
| 48 | run_absolute_dl: absolute_dl
|
|---|
| 49 | $(MPIEXEC) -n 3 ./absolute_dl_bad
|
|---|
| 50 | $(MPIEXEC) -n 3 ./absolute_dl_good
|
|---|
| 51 |
|
|---|
| 52 | any_source: any_src_bad.c any_src_good.c
|
|---|
| 53 | $(MPICC) -o any_src_bad any_src_bad.c
|
|---|
| 54 | $(MPICC) -o any_src_good any_src_good.c
|
|---|
| 55 |
|
|---|
| 56 | run_any_source: any_source
|
|---|
| 57 | $(MPIEXEC) -n 2 ./any_src_bad
|
|---|
| 58 | $(MPIEXEC) -n 2 ./any_src_good
|
|---|
| 59 |
|
|---|
| 60 | assertion: assertion_bad.c assertion_good.c
|
|---|
| 61 | $(MPICC) assertion_bad.c -o assertion_bad
|
|---|
| 62 | $(MPICC) assertion_good.c -o assertion_good
|
|---|
| 63 |
|
|---|
| 64 | run_assertion: assertion
|
|---|
| 65 | $(MPIEXEC) -n 3 ./assertion_bad
|
|---|
| 66 | $(MPIEXEC) -n 3 ./assertion_good
|
|---|
| 67 |
|
|---|
| 68 | collective_match: collective_match_bad.c collective_match_good.c
|
|---|
| 69 | $(MPICC) collective_match_bad.c -o collective_match_bad
|
|---|
| 70 | $(MPICC) collective_match_good.c -o collective_match_good
|
|---|
| 71 |
|
|---|
| 72 | run_collective_match: collective_match
|
|---|
| 73 | $(MPIEXEC) -n 3 ./collective_match_bad
|
|---|
| 74 | $(MPIEXEC) -n 3 ./collective_match_good
|
|---|
| 75 |
|
|---|
| 76 | comm_dup: comm_dup_bad.c comm_dup_good.c
|
|---|
| 77 | $(MPICC) -o comm_dup_bad comm_dup_bad.c
|
|---|
| 78 | $(MPICC) -o comm_dup_good comm_dup_good.c
|
|---|
| 79 |
|
|---|
| 80 | run_comm_dup: comm_dup
|
|---|
| 81 | $(MPIEXEC) -n 3 ./comm_dup_bad
|
|---|
| 82 | $(MPIEXEC) -n 3 ./comm_dup_good
|
|---|
| 83 |
|
|---|
| 84 | dy_buf: dy_buf_bad.c dy_buf_good.c
|
|---|
| 85 | $(MPICC) -o dy_buf_bad dy_buf_bad.c
|
|---|
| 86 | $(MPICC) -o dy_buf_good dy_buf_good.c
|
|---|
| 87 |
|
|---|
| 88 | run_dy_buf: dy_buf
|
|---|
| 89 | $(MPIEXEC) -n 3 ./dy_buf_bad
|
|---|
| 90 | $(MPIEXEC) -n 3 ./dy_buf_good
|
|---|
| 91 |
|
|---|
| 92 | input_branch: input_branch_bad.c input_branch_good.c
|
|---|
| 93 | $(MPICC) -o input_branch_bad input_branch_bad.c
|
|---|
| 94 | $(MPICC) -o input_branch_good input_branch_good.c
|
|---|
| 95 |
|
|---|
| 96 | run_input_branch: input_branch
|
|---|
| 97 | $(MPIEXEC) -n 3 ./input_branch_bad
|
|---|
| 98 | $(MPIEXEC) -n 3 ./input_branch_good
|
|---|
| 99 |
|
|---|
| 100 | matmat_mw: matmat_mw_bad.c matmat_mw_good.c
|
|---|
| 101 | $(MPICC) -o matmat_mw_bad matmat_mw_bad.c
|
|---|
| 102 | $(MPICC) -o matmat_mw_good matmat_mw_good.c
|
|---|
| 103 |
|
|---|
| 104 | run_matmat_mw: matmat_mw
|
|---|
| 105 | $(MPIEXEC) -n 3 ./matmat_mw_bad
|
|---|
| 106 | $(MPIEXEC) -n 3 ./matmat_mw_good
|
|---|
| 107 |
|
|---|
| 108 | mpithreads: mpithreads_bad.c mpithreads_good.c
|
|---|
| 109 | $(MPICC) -o mpithreads_bad mpithreads_bad.c
|
|---|
| 110 | $(MPICC) -o mpithreads_good mpithreads_good.c
|
|---|
| 111 |
|
|---|
| 112 | run_mpithreads: mpithreads
|
|---|
| 113 | $(MPIEXEC) -n 2 ./mpithreads_bad
|
|---|
| 114 | $(MPIEXEC) -n 2 ./mpithreads_good
|
|---|
| 115 |
|
|---|
| 116 | not_single_path: not_single_path_bad.c not_single_path_good.c
|
|---|
| 117 | $(MPICC) -o not_single_bad not_single_path_bad.c
|
|---|
| 118 | $(MPICC) -o not_single_good not_single_path_good.c
|
|---|
| 119 |
|
|---|
| 120 | run_not_single_path: not_single_path
|
|---|
| 121 | $(MPIEXEC) -n 3 ./not_single_bad
|
|---|
| 122 | $(MPIEXEC) -n 3 ./not_single_good
|
|---|
| 123 |
|
|---|
| 124 | potential_dl: potential_dl_bad.c potential_dl_good.c
|
|---|
| 125 | $(MPICC) -o potential_dl_bad potential_dl_bad.c
|
|---|
| 126 | $(MPICC) -o potential_dl_good potential_dl_good.c
|
|---|
| 127 |
|
|---|
| 128 | run_potential_dl: potential_dl
|
|---|
| 129 | $(MPIEXEC) -n -3 ./potential_dl_bad
|
|---|
| 130 | $(MPIEXEC) -n -3 ./potential_dl_good
|
|---|
| 131 |
|
|---|
| 132 | rbuf_overflow: rbuf_overflow_bad.c rbuf_overflow_good.c
|
|---|
| 133 | $(MPICC) -o rbuf_overflow_bad rbuf_overflow_bad.c
|
|---|
| 134 | $(MPICC) -o rbuf_overflow_good rbuf_overflow_good.c
|
|---|
| 135 |
|
|---|
| 136 | run_rbuf_overflow: rbuf_overflow
|
|---|
| 137 | $(MPIEXEC) -n 3 ./rbuf_overflow_bad
|
|---|
| 138 | $(MPIEXEC) -n 3 ./rbuf_overflow_good
|
|---|
| 139 |
|
|---|
| 140 | seq1: seq1_bad.c seq1_good.c
|
|---|
| 141 | $(MPICC) -o seq1_bad seq1_bad.c
|
|---|
| 142 | $(MPICC) -o seq1_good seq1_good.c
|
|---|
| 143 |
|
|---|
| 144 | run_seq1: seq1
|
|---|
| 145 | $(MPIEXEC) -n 1 ./seq1_bad
|
|---|
| 146 | $(MPIEXEC) -n 1 ./seq1_good
|
|---|
| 147 |
|
|---|
| 148 | seq2: seq2_bad.c seq2_good.c
|
|---|
| 149 | $(MPICC) -o seq2_bad seq2_bad.c
|
|---|
| 150 | $(MPICC) -o seq2_good seq2_good.c
|
|---|
| 151 |
|
|---|
| 152 | run_seq2: seq2
|
|---|
| 153 | $(MPIEXEC) -n 2 ./seq2_bad
|
|---|
| 154 | $(MPIEXEC) -n 2 ./seq2_good
|
|---|
| 155 |
|
|---|
| 156 | seq3: seq3_bad.c seq3_good.c
|
|---|
| 157 | $(MPICC) -o seq3_bad seq3_bad.c
|
|---|
| 158 | $(MPICC) -o seq3_good seq3_good.c
|
|---|
| 159 |
|
|---|
| 160 | run_seq3: seq3
|
|---|
| 161 | $(MPIEXEC) -n 3 ./seq3_bad
|
|---|
| 162 | $(MPIEXEC) -n 3 ./seq3_good
|
|---|
| 163 |
|
|---|
| 164 | seq4: seq4_bad.c seq4_good.c
|
|---|
| 165 | $(MPICC) -o seq4_bad seq4_bad.c
|
|---|
| 166 | $(MPICC) -o seq4_good seq4_good.c
|
|---|
| 167 |
|
|---|
| 168 | run_seq4: seq4
|
|---|
| 169 | $(MPIEXEC) -n 4 ./seq4_bad
|
|---|
| 170 | $(MPIEXEC) -n 4 ./seq4_good
|
|---|
| 171 |
|
|---|
| 172 | simple_nb: simple_nb_bad.c simple_nb_good.c
|
|---|
| 173 | $(MPICC) -o simple_nb_bad simple_nb_bad.c
|
|---|
| 174 | $(MPICC) -o simple_nb_good simple_nb_good.c
|
|---|
| 175 |
|
|---|
| 176 | run_simple_nb: simple_nb
|
|---|
| 177 | $(MPIEXEC) -n 3 ./simple_nb_bad
|
|---|
| 178 | $(MPIEXEC) -n 3 ./simple_nb_good
|
|---|
| 179 |
|
|---|
| 180 | tags: tags_bad.c tags_good.c
|
|---|
| 181 | $(MPICC) -o tags_bad tags_bad.c
|
|---|
| 182 | $(MPICC) -o tags_good tags_good.c
|
|---|
| 183 |
|
|---|
| 184 | run_tags: tags
|
|---|
| 185 | $(MPIEXEC) -n 3 ./tags_bad
|
|---|
| 186 | $(MPIEXEC) -n 3 ./tags_good
|
|---|
| 187 |
|
|---|
| 188 | type_match: type_match_p2p_bad.c type_match_p2p_good.c
|
|---|
| 189 | $(MPICC) -o type_match_p2p_bad type_match_p2p_bad.c
|
|---|
| 190 | $(MPICC) -o type_match_p2p_good type_match_p2p_good.c
|
|---|
| 191 |
|
|---|
| 192 | run_type_match: type_match
|
|---|
| 193 | $(MPIEXEC) -n 3 ./type_match_p2p_bad
|
|---|
| 194 | $(MPIEXEC) -n 3 ./type_match_p2p_good
|
|---|
| 195 | ################### ISP ######################
|
|---|
| 196 | isp_absolute_dl: absolute_dl_bad.c absolute_dl_good.c
|
|---|
| 197 | $(ISPCC) absolute_dl_bad.c -o absolute_dl_bad
|
|---|
| 198 | $(ISPCC) absolute_dl_good.c -o absolute_dl_good
|
|---|
| 199 |
|
|---|
| 200 | isp_any_source: any_src_bad.c any_src_good.c
|
|---|
| 201 | $(ISPCC) -o any_src_bad any_src_bad.c
|
|---|
| 202 | $(ISPCC) -o any_src_good any_src_good.c
|
|---|
| 203 |
|
|---|
| 204 |
|
|---|
| 205 | isp_assertion: assertion_bad.c assertion_good.c
|
|---|
| 206 | $(ISPCC) assertion_bad.c -o assertion_bad
|
|---|
| 207 | $(ISPCC) assertion_good.c -o assertion_good
|
|---|
| 208 |
|
|---|
| 209 | isp_collective_match: collective_match_bad.c collective_match_good.c
|
|---|
| 210 | $(ISPCC) collective_match_bad.c -o collective_match_bad
|
|---|
| 211 | $(ISPCC) collective_match_good.c -o collective_match_good
|
|---|
| 212 |
|
|---|
| 213 | isp_comm_dup: comm_dup_bad.c comm_dup_good.c
|
|---|
| 214 | $(ISPCC) -o comm_dup_bad comm_dup_bad.c
|
|---|
| 215 | $(ISPCC) -o comm_dup_good comm_dup_good.c
|
|---|
| 216 |
|
|---|
| 217 | isp_dy_buf: dy_buf_bad.c dy_buf_good.c
|
|---|
| 218 | $(ISPCC) -o dy_buf_bad dy_buf_bad.c
|
|---|
| 219 | $(ISPCC) -o dy_buf_good dy_buf_good.c
|
|---|
| 220 |
|
|---|
| 221 | isp_input_branch: input_branch_bad.c input_branch_good.c
|
|---|
| 222 | $(ISPCC) -o input_branch_bad input_branch_bad.c
|
|---|
| 223 | $(ISPCC) -o input_branch_good input_branch_good.c
|
|---|
| 224 |
|
|---|
| 225 | isp_matmat_mw: matmat_mw_bad.c matmat_mw_good.c
|
|---|
| 226 | $(ISPCC) -o matmat_mw_bad matmat_mw_bad.c
|
|---|
| 227 | $(ISPCC) -o matmat_mw_good matmat_mw_good.c
|
|---|
| 228 |
|
|---|
| 229 | isp_mpithreads: mpithreads_bad.c mpithreads_good.c
|
|---|
| 230 | $(ISPCC) -o mpithreads_bad mpithreads_bad.c
|
|---|
| 231 | $(ISPCC) -o mpithreads_good mpithreads_good.c
|
|---|
| 232 |
|
|---|
| 233 | isp_not_single_path: not_single_path_bad.c not_single_path_good.c
|
|---|
| 234 | $(ISPCC) -o not_single_bad not_single_path_bad.c
|
|---|
| 235 | $(ISPCC) -o not_single_good not_single_path_good.c
|
|---|
| 236 |
|
|---|
| 237 | isp_potential_dl: potential_dl_bad.c potential_dl_good.c
|
|---|
| 238 | $(ISPCC) -o potential_dl_bad potential_dl_bad.c
|
|---|
| 239 | $(ISPCC) -o potential_dl_good potential_dl_good.c
|
|---|
| 240 |
|
|---|
| 241 | isp_rbuf_overflow: rbuf_overflow_bad.c rbuf_overflow_good.c
|
|---|
| 242 | $(ISPCC) -o rbuf_overflow_bad rbuf_overflow_bad.c
|
|---|
| 243 | $(ISPCC) -o rbuf_overflow_good rbuf_overflow_good.c
|
|---|
| 244 |
|
|---|
| 245 | isp_seq1: seq1_bad.c seq1_good.c
|
|---|
| 246 | $(ISPCC) -o seq1_bad seq1_bad.c
|
|---|
| 247 | $(ISPCC) -o seq1_good seq1_good.c
|
|---|
| 248 |
|
|---|
| 249 | isp_seq2: seq2_bad.c seq2_good.c
|
|---|
| 250 | $(ISPCC) -o seq2_bad seq2_bad.c
|
|---|
| 251 | $(ISPCC) -o seq2_good seq2_good.c
|
|---|
| 252 |
|
|---|
| 253 | isp_seq3: seq3_bad.c seq3_good.c
|
|---|
| 254 | $(ISPCC) -o seq3_bad seq3_bad.c
|
|---|
| 255 | $(ISPCC) -o seq3_good seq3_good.c
|
|---|
| 256 |
|
|---|
| 257 | isp_seq4: seq4_bad.c seq4_good.c
|
|---|
| 258 | $(ISPCC) -o seq4_bad seq4_bad.c
|
|---|
| 259 | $(ISPCC) -o seq4_good seq4_good.c
|
|---|
| 260 |
|
|---|
| 261 | isp_simple_nb: simple_nb_bad.c simple_nb_good.c
|
|---|
| 262 | $(ISPCC) -o simple_nb_bad simple_nb_bad.c
|
|---|
| 263 | $(ISPCC) -o simple_nb_good simple_nb_good.c
|
|---|
| 264 |
|
|---|
| 265 | isp_tags: tags_bad.c tags_good.c
|
|---|
| 266 | $(ISPCC) -o tags_bad tags_bad.c
|
|---|
| 267 | $(ISPCC) -o tags_good tags_good.c
|
|---|
| 268 |
|
|---|
| 269 | isp_type_match: type_match_p2p_bad.c type_match_p2p_good.c
|
|---|
| 270 | $(ISPCC) -o type_match_p2p_bad type_match_p2p_bad.c
|
|---|
| 271 | $(ISPCC) -o type_match_p2p_good type_match_p2p_good.c
|
|---|
| 272 |
|
|---|
| 273 | ################### CIVL ###################
|
|---|
| 274 | civl_absolutedl_bad: absolute_dl_bad.c
|
|---|
| 275 | $(CIVL) $<
|
|---|
| 276 |
|
|---|
| 277 | civl_absolutedl_good: absolute_dl_good.c
|
|---|
| 278 | $(CIVL) $<
|
|---|
| 279 |
|
|---|
| 280 | civl_any_src_bad: any_src_bad.c
|
|---|
| 281 | $(CIVL) $<
|
|---|
| 282 |
|
|---|
| 283 | civl_any_src_good: any_src_good.c
|
|---|
| 284 | $(CIVL) $<
|
|---|
| 285 |
|
|---|
| 286 | civl_assertion_bad: assertion_bad.c
|
|---|
| 287 | $(CIVL) $<
|
|---|
| 288 |
|
|---|
| 289 | civl_assertion_good: assertion_good.c
|
|---|
| 290 | $(CIVL) $<
|
|---|
| 291 |
|
|---|
| 292 | civl_collective_match_bad: collective_match_bad.c
|
|---|
| 293 | $(CIVL) $<
|
|---|
| 294 |
|
|---|
| 295 | civl_collective_match_good: collective_match_good.c
|
|---|
| 296 | $(CIVL) $<
|
|---|
| 297 |
|
|---|
| 298 | civl_comm_dup_bad: comm_dup_bad.c
|
|---|
| 299 | $(CIVL) $<
|
|---|
| 300 |
|
|---|
| 301 | civl_comm_dup_good: comm_dup_good.c
|
|---|
| 302 | $(CIVL) $<
|
|---|
| 303 |
|
|---|
| 304 | civl_dy_buf_bad: dy_buf_bad.c
|
|---|
| 305 | $(CIVL) $(DLOPT) $<
|
|---|
| 306 |
|
|---|
| 307 | civl_dy_buf_good: dy_buf_good.c
|
|---|
| 308 | $(CIVL) $(DLOPT) $<
|
|---|
| 309 |
|
|---|
| 310 | civl_input_branch_bad: input_branch_bad.c
|
|---|
| 311 | $(CIVL) $<
|
|---|
| 312 |
|
|---|
| 313 | civl_input_branch_good: input_branch_good.c
|
|---|
| 314 | $(CIVL) $<
|
|---|
| 315 |
|
|---|
| 316 | civl_matmat_bad: matmat_mw_bad.c
|
|---|
| 317 | $(COMPARE) -impl $< -spec matmat_spec.c
|
|---|
| 318 |
|
|---|
| 319 | civl_matmat_good: matmat_mw_good.c
|
|---|
| 320 | $(COMPARE) -impl $< -spec matmat_spec.c
|
|---|
| 321 |
|
|---|
| 322 | civl_mpithreads_bad: mpithreads_bad.c
|
|---|
| 323 | $(CIVL) $<
|
|---|
| 324 |
|
|---|
| 325 | civl_mpithreads_good: mpithreads_good.c
|
|---|
| 326 | $(CIVL) $<
|
|---|
| 327 |
|
|---|
| 328 | civl_not_single_bad: not_single_path_bad.c
|
|---|
| 329 | $(CIVL) $<
|
|---|
| 330 |
|
|---|
| 331 | civl_not_single_good: not_single_path_good.c
|
|---|
| 332 | $(CIVL) $<
|
|---|
| 333 |
|
|---|
| 334 | civl_potential_bad: potential_dl_bad.c
|
|---|
| 335 | $(CIVL) $(DLOPT) $<
|
|---|
| 336 |
|
|---|
| 337 | civl_potential_good: potential_dl_good.c
|
|---|
| 338 | $(CIVL) $(DLOPT) $<
|
|---|
| 339 |
|
|---|
| 340 | civl_rbuf_overflow_bad: rbuf_overflow_bad.c
|
|---|
| 341 | $(CIVL) $<
|
|---|
| 342 |
|
|---|
| 343 | civl_rbuf_overflow_good: rbuf_overflow_good.c
|
|---|
| 344 | $(CIVL) $<
|
|---|
| 345 |
|
|---|
| 346 | civl_seq1_bad: seq1_bad.c
|
|---|
| 347 | $(CIVL) $<
|
|---|
| 348 |
|
|---|
| 349 | civl_seq1_good: seq1_good.c
|
|---|
| 350 | $(CIVL) $<
|
|---|
| 351 |
|
|---|
| 352 | civl_seq2_bad: seq2_bad.c
|
|---|
| 353 | $(CIVL) $<
|
|---|
| 354 |
|
|---|
| 355 | civl_seq2_good: seq2_good.c
|
|---|
| 356 | $(CIVL) $<
|
|---|
| 357 |
|
|---|
| 358 | civl_seq3_bad: seq3_bad.c
|
|---|
| 359 | $(CIVL) $<
|
|---|
| 360 |
|
|---|
| 361 | civl_seq3_good: seq3_good.c
|
|---|
| 362 | $(CIVL) $<
|
|---|
| 363 |
|
|---|
| 364 | civl_seq4_bad: seq4_bad.c
|
|---|
| 365 | $(CIVL) $<
|
|---|
| 366 |
|
|---|
| 367 | civl_seq4_good: seq4_good.c
|
|---|
| 368 | $(CIVL) $<
|
|---|
| 369 |
|
|---|
| 370 | civl_tags_bad: tags_bad.c
|
|---|
| 371 | $(CIVL) $<
|
|---|
| 372 |
|
|---|
| 373 | civl_tags_good: tags_good.c
|
|---|
| 374 | $(CIVL) $<
|
|---|
| 375 |
|
|---|
| 376 | civl_type_match_bad: type_match_p2p_bad.c
|
|---|
| 377 | $(CIVL) $<
|
|---|
| 378 |
|
|---|
| 379 | civl_type_match_good: type_match_p2p_good.c
|
|---|
| 380 | $(CIVL) $<
|
|---|
| 381 |
|
|---|
| 382 |
|
|---|
| 383 | clean :
|
|---|
| 384 | rm -f $(EXECUTABLES) *~ a.out
|
|---|
| 385 | rm -rf CIVLREP |
|---|
