1if CHECK 2 3check_PROGRAMS = check_convex check_context check_mpc check_matrix check_dpe \ 4 check_formal \ 5 check_multithread check_cluster check_chebyshev check_parser check_utils \ 6 check_monomial_poly check_list check_secsolve check_unisolve check_version 7 8TESTS = $(check_PROGRAMS) 9 10AM_TEST_ENVIRONMENT = \ 11 SRCDIR=$(abs_srcdir) BUILDDIR=$(abs_builddir) 12 13COMMON_LIBS = -lm $(GMP_LIBS) $(CHECK_LIBS) $(PTHREAD_LIBS) -lgmpxx 14COMMON_CFLAGS = $(CHECK_CFLAGS) $(GMP_CFLAGS) $(PTHREAD_CFLAGS) -I${top_builddir}/include -I${top_srcdir}/include -D_MPS_PRIVATE -g -O0 15COMMON_SOURCES = check_implementation.c check_implementation.h dummy.cpp 16COMMON_LDADD = ${top_builddir}/src/libmps/libmpsprivate.la 17 18 check_formal_SOURCES = check_formal.cpp $(COMMON_SOURCES) 19 check_formal_CFLAGS = $(COMMON_CFLAGS) 20 check_formal_CPPFLAGS = $(COMMON_CFLAGS) 21 check_formal_LDFLAGS = $(COMMON_LIBS) 22 check_formal_LDADD = $(COMMON_LDADD) 23 24 check_list_SOURCES = check_list.c $(COMMON_SOURCES) 25 check_list_CFLAGS = $(COMMON_CFLAGS) 26 check_list_LDFLAGS = $(COMMON_LIBS) 27 check_list_LDADD = $(COMMON_LDADD) 28 29 check_convex_SOURCES = check_convex.c $(COMMON_SOURCES) 30 check_convex_CFLAGS = $(COMMON_CFLAGS) 31 check_convex_LDFLAGS = $(COMMON_LIBS) 32 check_convex_LDADD = $(COMMON_LDADD) 33 34 check_parser_SOURCES = check_parser.c $(COMMON_SOURCES) 35 check_parser_CFLAGS = $(COMMON_CFLAGS) 36 check_parser_LDFLAGS = $(COMMON_LIBS) 37 check_parser_LDADD = $(COMMON_LDADD) 38 39 check_monomial_poly_SOURCES = check_monomial_poly.c $(COMMON_SOURCES) 40 check_monomial_poly_CFLAGS = $(COMMON_CFLAGS) 41 check_monomial_poly_LDFLAGS = $(COMMON_LIBS) 42 check_monomial_poly_LDADD = $(COMMON_LDADD) 43 44 check_utils_SOURCES = check_utils.c $(COMMON_SOURCES) 45 check_utils_CFLAGS = $(COMMON_CFLAGS) 46 check_utils_LDFLAGS = $(COMMON_LIBS) 47 check_utils_LDADD = $(COMMON_LDADD) 48 49 check_mpc_SOURCES = check_mpc.c $(COMMON_SOURCES) 50 check_mpc_CFLAGS = $(COMMON_CFLAGS) 51 check_mpc_LDFLAGS = $(COMMON_LIBS) 52 check_mpc_LDADD = $(COMMON_LDADD) 53 54 check_context_SOURCES = check_context.c $(COMMON_SOURCES) 55 check_context_CFLAGS = $(COMMON_CFLAGS) 56 check_context_LDFLAGS = $(COMMON_LIBS) 57 check_context_LDADD = $(COMMON_LDADD) 58 59 check_chebyshev_SOURCES = check_chebyshev.c $(COMMON_SOURCES) 60 check_chebyshev_CFLAGS = $(COMMON_CFLAGS) 61 check_chebyshev_LDFLAGS = $(COMMON_LIBS) 62 check_chebyshev_LDADD = $(COMMON_LDADD) 63 64 check_matrix_SOURCES = check_matrix.c $(COMMON_SOURCES) 65 check_matrix_CFLAGS = $(COMMON_CFLAGS) 66 check_matrix_LDFLAGS = $(COMMON_LIBS) 67 check_matrix_LDADD = $(COMMON_LDADD) 68 69 check_secsolve_SOURCES = check_secsolve.c $(COMMON_SOURCES) 70 check_secsolve_CFLAGS = $(COMMON_CFLAGS) 71 check_secsolve_LDFLAGS = $(COMMON_LIBS) 72 check_secsolve_LDADD = $(COMMON_LDADD) 73 74 check_unisolve_SOURCES = check_unisolve.c $(COMMON_SOURCES) 75 check_unisolve_CFLAGS = $(COMMON_CFLAGS) 76 check_unisolve_LDFLAGS = $(COMMON_LIBS) 77 check_unisolve_LDADD = $(COMMON_LDADD) 78 79 check_dpe_SOURCES = check_dpe.c $(COMMON_SOURCES) 80 check_dpe_CFLAGS = $(COMMON_CFLAGS) 81 check_dpe_LDFLAGS = $(COMMON_LIBS) 82 check_dpe_LDADD = $(COMMON_LDADD) 83 84 check_multithread_SOURCES = check_multithread.c $(COMMON_SOURCES) 85 check_multithread_CFLAGS = $(COMMON_CFLAGS) 86 check_multithread_LDFLAGS = $(COMMON_LIBS) 87 check_multithread_LDADD = $(COMMON_LDADD) 88 89 check_cluster_SOURCES = check_cluster.c $(COMMON_SOURCES) 90 check_cluster_CFLAGS = $(COMMON_CFLAGS) 91 check_cluster_LDFLAGS = $(COMMON_LIBS) 92 check_cluster_LDADD = $(COMMON_LDADD) 93 94 check_version_SOURCES = check_version.c $(COMMON_SOURCES) 95 check_version_CFLAGS = $(COMMON_CFLAGS) 96 check_version_LDFLAGS = $(COMMON_LIBS) 97 check_version_LDADD = $(COMMON_LDADD) 98 99endif 100 101EXTRA_DIST = \ 102 secsolve/rand15.pol \ 103 secsolve/test1000.pol \ 104 secsolve/test100.pol \ 105 secsolve/rand120.pol \ 106 secsolve/integer.pol \ 107 secsolve/simple.pol \ 108 secsolve/wilk20.pol \ 109 secsolve/wilk40.pol \ 110 secsolve/wilk80.pol \ 111 unisolve/lsr_24.pol \ 112 unisolve/toep1_128.pol \ 113 unisolve/kir1_20_mod.pol \ 114 unisolve/easy400.pol \ 115 unisolve/laguerre20.pol \ 116 unisolve/nroots800.pol \ 117 unisolve/lar3.pol \ 118 unisolve/geom2_20.pol \ 119 unisolve/sendra20.pol \ 120 unisolve/easy3200.pol \ 121 unisolve/laguerre40.pol \ 122 unisolve/nroots3200.pol \ 123 unisolve/mand255.pol \ 124 unisolve/hermite20.pol \ 125 unisolve/kir1_20.pol \ 126 unisolve/lar1.pol \ 127 unisolve/spiral25.pol \ 128 unisolve/chebyshev20.pol \ 129 unisolve/nrooti200.pol \ 130 unisolve/easy100.pol \ 131 unisolve/mand31.pol \ 132 unisolve/kam4.pol \ 133 unisolve/wilk20.pol \ 134 unisolve/wilk40.pol \ 135 unisolve/wilk80.pol \ 136 unisolve/kam1_1.pol \ 137 unisolve/chebyshev80.pol \ 138 unisolve/kam3_3.pol \ 139 unisolve/mult1.pol \ 140 unisolve/geom4_80.pol \ 141 unisolve/chebyshev40.pol \ 142 unisolve/legendre80.pol \ 143 unisolve/sendra320.pol \ 144 unisolve/lsr3.pol \ 145 unisolve/mig1_100_1.pol \ 146 unisolve/lsr4_3.pol \ 147 unisolve/lar2.pol \ 148 unisolve/hermite320.pol \ 149 unisolve/kir1_symb.pol \ 150 unisolve/mig1_50_1.pol \ 151 unisolve/geom4_40.pol \ 152 unisolve/nroots400.pol \ 153 unisolve/chrmc_d11.pol \ 154 unisolve/toep2_128.pol \ 155 unisolve/hermite160.pol \ 156 unisolve/chebyshev320.pol \ 157 unisolve/geom3_20.pol \ 158 unisolve/geom1_15.pol \ 159 unisolve/geom2_15.pol \ 160 unisolve/nroots200.pol \ 161 unisolve/umand255.pol \ 162 unisolve/kam2_1.pol \ 163 unisolve/easy800.pol \ 164 unisolve/chrma_d340.pol \ 165 unisolve/chrma22.pol \ 166 unisolve/kir1_40_mod.pol \ 167 unisolve/mand511.pol \ 168 unisolve/nrooti100.pol \ 169 unisolve/sparse6400.pol \ 170 unisolve/easy200.pol \ 171 unisolve/lsr1.pol \ 172 unisolve/kam2_3.pol \ 173 unisolve/mig1_20.pol \ 174 unisolve/curz40.pol \ 175 unisolve/exp200.pol \ 176 unisolve/nrooti1600.pol \ 177 unisolve/test.pol \ 178 unisolve/sparse100.pol \ 179 unisolve/mand1023.pol \ 180 unisolve/exp400.pol \ 181 unisolve/legendre320.pol \ 182 unisolve/laguerre320.pol \ 183 unisolve/nektarios.pol \ 184 unisolve/chebyshev160.pol \ 185 unisolve/mig1_200.pol \ 186 unisolve/kam1_3.pol \ 187 unisolve/kir1_40.pol \ 188 unisolve/chrmc_d43.pol \ 189 unisolve/geom1_10.pol \ 190 unisolve/mult4.pol \ 191 unisolve/lsr2.pol \ 192 unisolve/kam2_2.pol \ 193 unisolve/chrmc_d683.pol \ 194 unisolve/mand63.pol \ 195 unisolve/hermite40.pol \ 196 unisolve/umand2047.pol \ 197 unisolve/geom1_20.pol \ 198 unisolve/chrmc343.pol \ 199 unisolve/chrmc23.pol \ 200 unisolve/chrma_d20.pol \ 201 unisolve/kam1_2.pol \ 202 unisolve/umand127.pol \ 203 unisolve/easy1600.pol \ 204 unisolve/sendra160.pol \ 205 unisolve/wilk320.pol \ 206 unisolve/curz20.pol \ 207 unisolve/toep1_256.pol \ 208 unisolve/geom1_40.pol \ 209 unisolve/wilk160.pol \ 210 unisolve/mult2.pol \ 211 unisolve/nrooti3200.pol \ 212 unisolve/lsr_200.pol \ 213 unisolve/lsr4_2.pol \ 214 unisolve/wilk_mod.pol \ 215 unisolve/sparse200.pol \ 216 unisolve/sendra40.pol \ 217 unisolve/legendre40.pol \ 218 unisolve/curz160.pol \ 219 unisolve/chrmc_d171.pol \ 220 unisolve/geom3_10.pol \ 221 unisolve/chrma342.pol \ 222 unisolve/chrma86.pol \ 223 unisolve/spiral10.pol \ 224 unisolve/curz80.pol \ 225 unisolve/sparse800.pol \ 226 unisolve/nrooti6400.pol \ 227 unisolve/nrooti50.pol \ 228 unisolve/kir1_10.pol \ 229 unisolve/spiral15.pol \ 230 unisolve/mand127.pol \ 231 unisolve/hermite80.pol \ 232 unisolve/nroots50.pol \ 233 unisolve/umand1023.pol \ 234 unisolve/nrooti400.pol \ 235 unisolve/geom3_40.pol \ 236 unisolve/legendre160.pol \ 237 unisolve/lar4.pol \ 238 unisolve/geom3_80.pol \ 239 unisolve/nroots1600.pol \ 240 unisolve/mig1_200_1.pol \ 241 unisolve/spiral30.pol \ 242 unisolve/wilk80.pol \ 243 unisolve/trv_m.pol \ 244 unisolve/geom2_40.pol \ 245 unisolve/laguerre80.pol \ 246 unisolve/sparse400.pol \ 247 unisolve/geom2_10.pol \ 248 unisolve/umand31.pol \ 249 unisolve/sendra80.pol \ 250 unisolve/kam3_2.pol \ 251 unisolve/lsr4_1.pol \ 252 unisolve/sparse3200.pol \ 253 unisolve/geom4_10.pol \ 254 unisolve/mig1_500_1.pol \ 255 unisolve/legendre20.pol \ 256 unisolve/toep2_256.pol \ 257 unisolve/chrma_d84.pol \ 258 unisolve/nroots6400.pol \ 259 unisolve/lar1_200.pol \ 260 unisolve/mult3.pol \ 261 unisolve/exp50.pol \ 262 unisolve/kats8.pol \ 263 unisolve/lar5.pol \ 264 unisolve/nroots100.pol \ 265 unisolve/laguerre160.pol \ 266 unisolve/exp100.pol \ 267 unisolve/kam3_1.pol \ 268 unisolve/mig1_500.pol \ 269 unisolve/geom4_20.pol \ 270 unisolve/umand511.pol \ 271 unisolve/kir1_10_mod.pol \ 272 unisolve/sparse1600.pol \ 273 unisolve/wilk40.pol \ 274 unisolve/spiral20.pol \ 275 unisolve/nrooti800.pol \ 276 unisolve/umand63.pol \ 277 unisolve/mig1_100.pol \ 278 unisolve/demi20.pol \ 279 ../results/secsolve/test1000.res \ 280 ../results/secsolve/rand15.res \ 281 ../results/secsolve/test100.res \ 282 ../results/secsolve/rand120.res \ 283 ../results/secsolve/integer.res \ 284 ../results/secsolve/simple.res \ 285 ../results/secsolve/wilk20.res \ 286 ../results/secsolve/wilk40.res \ 287 ../results/secsolve/wilk80.res \ 288 ../results/unisolve/mand63.res \ 289 ../results/unisolve/kam2_1.res \ 290 ../results/unisolve/kir1_10.res \ 291 ../results/unisolve/kir1_20.res \ 292 ../results/unisolve/kir1_40.res \ 293 ../results/unisolve/spiral10.res \ 294 ../results/unisolve/spiral20.res \ 295 ../results/unisolve/nroots50.res \ 296 ../results/unisolve/wilk40.res \ 297 ../results/unisolve/wilk80.res \ 298 ../results/unisolve/lar3.res \ 299 ../results/unisolve/trv_m.res \ 300 ../results/unisolve/lar2.res \ 301 ../results/unisolve/toep1_128.res \ 302 ../results/unisolve/mult1.res \ 303 ../results/unisolve/exp50.res \ 304 ../results/unisolve/mand127.res \ 305 ../results/unisolve/kam3_2.res \ 306 ../results/unisolve/kam3_3.res \ 307 ../results/unisolve/umand31.res \ 308 ../results/unisolve/kam1_2.res \ 309 ../results/unisolve/kam4.res \ 310 ../results/unisolve/lar1.res \ 311 ../results/unisolve/spiral20.res \ 312 ../results/unisolve/wilk20.res \ 313 ../results/unisolve/test.res \ 314 ../results/unisolve/lar1_200.res \ 315 ../results/unisolve/kam1_3.res \ 316 ../results/unisolve/kam3_1.res \ 317 ../results/unisolve/kam2_2.res \ 318 ../results/unisolve/exp100.res \ 319 ../results/unisolve/kam1_1.res \ 320 ../results/unisolve/kam2_3.res \ 321 ../results/unisolve/mig1_100.res \ 322 ../results/unisolve/mig1_200.res \ 323 ../results/unisolve/lsr_24.res \ 324 ../results/unisolve/mig1_500_1.res \ 325 ../results/unisolve/demi20.res 326