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