base/asm-common.h: Add some debugging macros.
[catacomb] / math / Makefile.am
CommitLineData
0f00dc4c
MW
1### -*-makefile-*-
2###
3### Build script for mathematical infrastructure
4###
5### (c) 2013 Straylight/Edgeware
6###
7
8###----- Licensing notice ---------------------------------------------------
9###
10### This file is part of Catacomb.
11###
12### Catacomb is free software; you can redistribute it and/or modify
13### it under the terms of the GNU Library General Public License as
14### published by the Free Software Foundation; either version 2 of the
15### License, or (at your option) any later version.
16###
17### Catacomb is distributed in the hope that it will be useful,
18### but WITHOUT ANY WARRANTY; without even the implied warranty of
19### MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
20### GNU Library General Public License for more details.
21###
22### You should have received a copy of the GNU Library General Public
23### License along with Catacomb; if not, write to the Free
24### Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
25### MA 02111-1307, USA.
26
27include $(top_srcdir)/vars.am
28
29noinst_LTLIBRARIES = libmath.la
30libmath_la_SOURCES =
31nodist_libmath_la_SOURCES =
32libmath_la_LIBADD =
33
34TEST_LIBS = libmath.la
35
36###--------------------------------------------------------------------------
1c3d4cf5
MW
37### Representation of multiprecision integers.
38
39## The `mpgen' tool for dealing with these things.
40mpgen = $(srcdir)/mpgen
41EXTRA_DIST += mpgen
42AM_V_MPGEN = $(AM_V_MPGEN_$(V))
43AM_V_MPGEN_ = $(AM_V_MPGEN_$(AM_DEFAULT_VERBOSITY))
44AM_V_MPGEN_0 = @echo " MPGEN $@";
45MPGEN = $(AM_V_MPGEN)$(PYTHON) $(mpgen)
46
47## The type information collected by `configure'.
48CLEANFILES += typeinfo.py
49EXTRA_DIST += typeinfo.py.in
50typeinfo.py: $(srcdir)/typeinfo.py.in Makefile
51 $(SUBST) $(srcdir)/typeinfo.py.in >typeinfo.py.new \
52 type_bits="@type_bits@" \
53 limits="@limits@" && \
54 mv typeinfo.py.new typeinfo.py
55
56## The header file containing our representation choices.
57BUILT_SOURCES += mptypes.h
58CLEANFILES += mptypes.h
59nodist_archinclude_HEADERS += mptypes.h
60mptypes.h: $(mpgen) typeinfo.py
61 $(MPGEN) mptypes >mptypes.h.in && mv mptypes.h.in mptypes.h
62
63## Limits of C types as multiprecision integers.
64BUILT_SOURCES += mplimits.h mplimits.c
65CLEANFILES += mplimits.h mplimits.c
66nodist_archinclude_HEADERS += mplimits.h
67nodist_libmath_la_SOURCES += mplimits.c
68mplimits.h: $(mpgen) typeinfo.py
69 $(MPGEN) mplimits_h >mplimits.h.in && mv mplimits.h.in mplimits.h
70mplimits.c: $(mpgen) typeinfo.py
71 $(MPGEN) mplimits_c >mplimits.c.in && mv mplimits.c.in mplimits.c
0f00dc4c 72
1c3d4cf5
MW
73###--------------------------------------------------------------------------
74### Main multiprecision integer library.
0f00dc4c
MW
75
76## Additional buffer I/O functions for mathematical objects.
77pkginclude_HEADERS += buf.h
78libmath_la_SOURCES += buf.c
79
80## Infrastructure for fast exponentiation.
81pkginclude_HEADERS += exp.h
82libmath_la_SOURCES += exp.c
83
84## Main user-visible multiprecision arithmetic.
85pkginclude_HEADERS += mp.h
1c3d4cf5 86libmath_la_SOURCES += mp-arith.c
ba57d652 87TESTS += mp-arith.t$(EXEEXT)
1c3d4cf5 88libmath_la_SOURCES += mp-const.c
0f00dc4c
MW
89libmath_la_SOURCES += mp-exp.c mp-exp.h
90libmath_la_SOURCES += mp-gcd.c
ba57d652 91TESTS += mp-gcd.t$(EXEEXT)
1c3d4cf5 92libmath_la_SOURCES += mp-io.c
0f00dc4c 93libmath_la_SOURCES += mp-jacobi.c
ba57d652 94TESTS += mp-jacobi.t$(EXEEXT)
1c3d4cf5
MW
95libmath_la_SOURCES += mp-mem.c
96libmath_la_SOURCES += mp-misc.c
0f00dc4c 97libmath_la_SOURCES += mp-modexp.c
ba57d652 98TESTS += mp-modexp.t$(EXEEXT)
0f00dc4c 99libmath_la_SOURCES += mp-modsqrt.c
ba57d652 100TESTS += mp-modsqrt.t$(EXEEXT)
0f00dc4c 101libmath_la_SOURCES += mp-sqrt.c
ba57d652 102TESTS += mp-sqrt.t$(EXEEXT)
0f00dc4c
MW
103libmath_la_SOURCES += mp-test.c
104EXTRA_DIST += t/mp
105
106## Computing Fibonacci numbers.
107pkginclude_HEADERS += mp-fibonacci.h
108libmath_la_SOURCES += mp-fibonacci.c
ba57d652 109TESTS += mp-fibonacci.t$(EXEEXT)
0f00dc4c
MW
110
111## Special memory allocation for multiprecision integers.
112pkginclude_HEADERS += mparena.h
1c3d4cf5 113libmath_la_SOURCES += mparena.c
0f00dc4c
MW
114
115## Barrett reduction, an efficient method for modular reduction.
116pkginclude_HEADERS += mpbarrett.h
117libmath_la_SOURCES += mpbarrett.c
ba57d652 118TESTS += mpbarrett.t$(EXEEXT)
0f00dc4c 119libmath_la_SOURCES += mpbarrett-exp.c mpbarrett-mexp.c mpbarrett-exp.h
ba57d652
MW
120TESTS += mpbarrett-exp.t$(EXEEXT) mpbarrett-mexp.t$(EXEEXT)
121TESTS += mpbarrett.t$(EXEEXT)
0f00dc4c
MW
122EXTRA_DIST += t/mpbarrett
123
124## Solving congruences using the Chinese Remainder Theorem.
125pkginclude_HEADERS += mpcrt.h
126libmath_la_SOURCES += mpcrt.c
ba57d652 127TESTS += mpcrt.t$(EXEEXT)
0f00dc4c
MW
128EXTRA_DIST += t/mpcrt
129
130## Conversions between machine-native and multiprecision integers.
131pkginclude_HEADERS += mpint.h
132libmath_la_SOURCES += mpint.c
ba57d652 133TESTS += mpint.t$(EXEEXT)
0f00dc4c
MW
134EXTRA_DIST += t/mpint
135
0f00dc4c
MW
136## Montgomery reduction, a clever method for modular arithmetic.
137pkginclude_HEADERS += mpmont.h
138libmath_la_SOURCES += mpmont.c
ba57d652 139TESTS += mpmont.t$(EXEEXT)
0f00dc4c 140libmath_la_SOURCES += mpmont-exp.c mpmont-mexp.c mpmont-exp.h
ba57d652 141TESTS += mpmont-exp.t$(EXEEXT) mpmont-mexp.t$(EXEEXT)
0f00dc4c
MW
142EXTRA_DIST += t/mpmont
143
144## Efficient multiplication of many small numbers.
145pkginclude_HEADERS += mpmul.h
146libmath_la_SOURCES += mpmul.c
ba57d652 147TESTS += mpmul.t$(EXEEXT)
0f00dc4c
MW
148
149## Generating random numbers.
150pkginclude_HEADERS += mprand.h
151libmath_la_SOURCES += mprand.c
152
153## Efficient reduction modulo numbers with conveninent binary
154## representations.
155pkginclude_HEADERS += mpreduce.h
156libmath_la_SOURCES += mpreduce.c mpreduce-exp.h
ba57d652 157TESTS += mpreduce.t$(EXEEXT)
0f00dc4c
MW
158EXTRA_DIST += t/mpreduce
159
160## Iteratiion over the bianry representation of multiprecision integers.
161pkginclude_HEADERS += mpscan.h
1c3d4cf5 162libmath_la_SOURCES += mpscan.c
0f00dc4c
MW
163
164## Conversion between multiprecision integers and their textual
165## representations.
166pkginclude_HEADERS += mptext.h
1c3d4cf5 167libmath_la_SOURCES += mptext.c
ba57d652 168TESTS += mptext.t$(EXEEXT)
0f00dc4c
MW
169libmath_la_SOURCES += mptext-dstr.c
170libmath_la_SOURCES += mptext-file.c
171libmath_la_SOURCES += mptext-len.c
1c3d4cf5 172libmath_la_SOURCES += mptext-string.c
0f00dc4c
MW
173EXTRA_DIST += t/mptext
174
0f00dc4c
MW
175## Low-level multiprecision arithmetic.
176pkginclude_HEADERS += mpx.h bitops.h mpw.h
1c3d4cf5 177libmath_la_SOURCES += mpx.c
ba57d652 178TESTS += mpx.t$(EXEEXT)
1c3d4cf5 179libmath_la_SOURCES += karatsuba.h mpx-kmul.c mpx-ksqr.c
ba57d652 180TESTS += mpx-kmul.t$(EXEEXT) mpx-ksqr.t$(EXEEXT)
0f00dc4c
MW
181noinst_PROGRAMS += bittest
182TESTS += bittest
183EXTRA_DIST += t/mpx
184
185## A quick-and-dirty parser, used for parsing descriptions of groups, fields,
186## etc.
187pkginclude_HEADERS += qdparse.h
188libmath_la_SOURCES += qdparse.c
189
190## Pollard's `rho' algorithm for determining discrete logarithms.
191pkginclude_HEADERS += rho.h
192libmath_la_SOURCES += rho.c
ba57d652 193TESTS += rho.t$(EXEEXT)
0f00dc4c
MW
194
195###--------------------------------------------------------------------------
196### Prime number checking, searching, and related jobs.
197
198## Generating Lim--Lee groups, i.e., unit groups of finite fields without
199## small subgroups (except for the obvious ones).
200pkginclude_HEADERS += limlee.h
201libmath_la_SOURCES += limlee.c
202
203## A table of small prime numbers.
c9cfa678
MW
204pkginclude_HEADERS += $(precomp)/math/primetab.h
205nodist_libmath_la_SOURCES += ../precomp/math/primetab.c
206PRECOMPS += $(precomp)/math/primetab.h \
207 $(precomp)/math/primetab.c
e5b61a8d 208PRECOMP_PROGS += genprimes
0f00dc4c 209genprimes_LDADD = $(mLib_LIBS)
e5b61a8d 210if !CROSS_COMPILING
c9cfa678
MW
211$(precomp)/math/primetab.h: $(precomp)/math/primetab.c
212$(precomp)/math/primetab.c:
213 $(AM_V_at)$(MKDIR_P) $(precomp)/math
ba57d652 214 $(AM_V_at)$(MAKE) genprimes$(EXEEXT)
e5b61a8d 215 $(AM_V_GEN)./genprimes -sCATACOMB_PRIMETAB_H \
c9cfa678 216 -h$(precomp)/math/primetab.h -c$(precomp)/math/primetab.c \
0f00dc4c 217 -n256 -t"unsigned short" -iprimetab
e5b61a8d 218endif
0f00dc4c
MW
219
220## Filtering candidate prime numbers by checking for small factors
221## efficiently.
222pkginclude_HEADERS += pfilt.h
223libmath_la_SOURCES += pfilt.c
224
225## Generating prime numbers (and other kinds of numbers which need searching
226## for).
227pkginclude_HEADERS += pgen.h
228libmath_la_SOURCES += pgen.c
229libmath_la_SOURCES += pgen-gcd.c
230libmath_la_SOURCES += pgen-simul.c
231libmath_la_SOURCES += pgen-stdev.c
ba57d652 232TESTS += pgen.t$(EXEEXT)
0f00dc4c
MW
233EXTRA_DIST += t/pgen
234
235## Finding primitive elements in finite fields.
236pkginclude_HEADERS += prim.h
237libmath_la_SOURCES += prim.c
238
239## Iterating over all prime numbers from a given starting point.
240pkginclude_HEADERS += primeiter.h
241libmath_la_SOURCES += primeiter.c
ba57d652 242TESTS += primeiter.t$(EXEEXT)
c9cfa678 243primeiter.lo: $(precomp)/math/wheel.h
0f00dc4c
MW
244
245## The Miller--Rabin primality test.
246pkginclude_HEADERS += rabin.h
247libmath_la_SOURCES += rabin.c
248
249## Finding `strong' primes, using Gordon's algorithm. Once upon a time,
250## products of these kinds of numbers were harder to factor.
251pkginclude_HEADERS += strongprime.h
252libmath_la_SOURCES += strongprime.c
253
254## A `wheel', used by the prime iteration machinery.
c9cfa678
MW
255pkginclude_HEADERS += $(precomp)/math/wheel.h
256nodist_libmath_la_SOURCES += ../precomp/math/wheel.c
257PRECOMPS += $(precomp)/math/wheel.h $(precomp)/math/wheel.c
e5b61a8d 258PRECOMP_PROGS += genwheel
0f00dc4c 259genwheel_LDADD = $(mLib_LIBS)
e5b61a8d 260if !CROSS_COMPILING
c9cfa678
MW
261$(precomp)/math/wheel.h: $(precomp)/math/wheel.c
262$(precomp)/math/wheel.c:
263 $(AM_V_at)$(MKDIR_P) $(precomp)/math
ba57d652 264 $(AM_V_at)$(MAKE) genwheel$(EXEEXT)
e5b61a8d 265 $(AM_V_GEN)./genwheel -sCATACOMB_WHEEL_H \
c9cfa678 266 -h$(precomp)/math/wheel.h -c$(precomp)/math/wheel.c \
0f00dc4c 267 -n5 -t"unsigned char" -iwheel
e5b61a8d 268endif
0f00dc4c
MW
269
270###--------------------------------------------------------------------------
271### Binary polynomial arithmetic.
272
273## User-visible binary polynomial arithmetic.
274pkginclude_HEADERS += gf.h
275libmath_la_SOURCES += gf-arith.c
ba57d652 276TESTS += gf-arith.t$(EXEEXT)
0f00dc4c
MW
277libmath_la_SOURCES += gf-exp.c gf-exp.h
278libmath_la_SOURCES += gf-gcd.c
ba57d652 279TESTS += gf-gcd.t$(EXEEXT)
0f00dc4c
MW
280EXTRA_DIST += t/gf
281
282## Low-level binary polynomial arithmetic.
283pkginclude_HEADERS += gfx.h
284libmath_la_SOURCES += gfx.c
ba57d652 285TESTS += gfx.t$(EXEEXT)
0f00dc4c 286libmath_la_SOURCES += gfx-kmul.c
ba57d652 287TESTS += gfx-kmul.t$(EXEEXT)
c9cfa678
MW
288libmath_la_SOURCES += gfx-sqr.c
289nodist_libmath_la_SOURCES += ../precomp/math/gfx-sqrtab.c
290PRECOMPS += $(precomp)/math/gfx-sqrtab.c
e5b61a8d
MW
291PRECOMP_PROGS += gfx-sqr-mktab
292if !CROSS_COMPILING
c9cfa678
MW
293$(precomp)/math/gfx-sqrtab.c:
294 $(AM_V_at)$(MKDIR_P) $(precomp)/math
ba57d652 295 $(AM_V_at)$(MAKE) gfx-sqr-mktab$(EXEEXT)
c9cfa678
MW
296 $(AM_V_GEN)./gfx-sqr-mktab >$(precomp)/math/gfx-sqrtab.c.new && \
297 mv $(precomp)/math/gfx-sqrtab.c.new \
298 $(precomp)/math/gfx-sqrtab.c
e5b61a8d 299endif
ba57d652 300TESTS += gfx-sqr.t$(EXEEXT)
0f00dc4c
MW
301EXTRA_DIST += t/gfx
302
303## Conversions between normal and polynomial basis representations for binary
304## fields.
305pkginclude_HEADERS += gfn.h
306libmath_la_SOURCES += gfn.c
ba57d652 307TESTS += gfn.t$(EXEEXT)
0f00dc4c
MW
308EXTRA_DIST += t/gfn
309
310## Efficient reduction modulo sparse polynomials.
311pkginclude_HEADERS += gfreduce.h
312libmath_la_SOURCES += gfreduce.c gfreduce-exp.h
ba57d652 313TESTS += gfreduce.t$(EXEEXT)
0f00dc4c
MW
314EXTRA_DIST += t/gfreduce
315
316###--------------------------------------------------------------------------
317### Abstractions for various kinds of algebraic objects.
318
319## Abstract cyclic groups.
320pkginclude_HEADERS += group.h group-guts.h
321libmath_la_SOURCES += group-dstr.c
322libmath_la_SOURCES += group-exp.c group-exp.h
323libmath_la_SOURCES += group-file.c
324libmath_la_SOURCES += group-parse.c
325libmath_la_SOURCES += group-stdops.c
326libmath_la_SOURCES += group-string.c
327libmath_la_SOURCES += g-bin.c
328libmath_la_SOURCES += g-prime.c
329libmath_la_SOURCES += g-ec.c
330EXTRA_DIST += group-test.c
ba57d652 331TESTS += group-test.t$(EXEEXT)
0f00dc4c
MW
332EXTRA_DIST += t/group
333
334## Abstract finite fields.
335pkginclude_HEADERS += field.h field-guts.h
336libmath_la_SOURCES += field.c
337libmath_la_SOURCES += field-exp.c field-exp.h
338libmath_la_SOURCES += field-parse.c
339libmath_la_SOURCES += f-binpoly.c
340libmath_la_SOURCES += f-niceprime.c
341libmath_la_SOURCES += f-prime.c
342
343## Table of built-in binary fields.
344pkginclude_HEADERS += bintab.h
1c3d4cf5 345nodist_libmath_la_SOURCES += bintab.c
0f00dc4c 346CLEANFILES += bintab.c
1c3d4cf5
MW
347EXTRA_DIST += bintab.in
348bintab.c: $(mpgen) typeinfo.py bintab.in
349 $(MPGEN) bintab $(srcdir)/bintab.in >bintab.c.new && \
350 mv bintab.c.new bintab.c
0f00dc4c
MW
351
352## Table of built-in prime fields.
353pkginclude_HEADERS += ptab.h
1c3d4cf5 354nodist_libmath_la_SOURCES += ptab.c
0f00dc4c 355CLEANFILES += ptab.c
1c3d4cf5
MW
356EXTRA_DIST += ptab.in
357ptab.c: $(mpgen) typeinfo.py ptab.in
358 $(MPGEN) ptab $(srcdir)/ptab.in >ptab.c.new && \
359 mv ptab.c.new ptab.c
0f00dc4c
MW
360
361###--------------------------------------------------------------------------
362### Elliptic curve arithmetic.
363
364## Basic elliptic curve arithmetic.
365pkginclude_HEADERS += ec.h ec-guts.h
366libmath_la_SOURCES += ec.c
367libmath_la_SOURCES += ec-exp.c ec-exp.h
368libmath_la_SOURCES += ec-info.c
ba57d652 369TESTS += ec-info.t$(EXEEXT)
0f00dc4c 370libmath_la_SOURCES += ec-bin.c
ba57d652 371TESTS += ec-bin.t$(EXEEXT)
0f00dc4c 372libmath_la_SOURCES += ec-prime.c
ba57d652 373TESTS += ec-prime.t$(EXEEXT)
0f00dc4c
MW
374EXTRA_DIST += t/ec
375
376## The standard `raw' encoding (`EC2OSP') of elliptic curve points.
377pkginclude_HEADERS += ec-raw.h
378libmath_la_SOURCES += ec-raw.c
379
380## Assistance for elliptic-curve keys.
381pkginclude_HEADERS += ec-keys.h
382libmath_la_SOURCES += ec-fetch.c
383
384## Test infrastructure for elliptic curves.
385pkginclude_HEADERS += ec-test.h
386libmath_la_SOURCES += ec-test.c
ba57d652 387TESTS += ec-test.t$(EXEEXT)
0f00dc4c 388
1c3d4cf5 389## Table of built-in elliptic-curve groups.
0f00dc4c 390pkginclude_HEADERS += ectab.h
1c3d4cf5 391nodist_libmath_la_SOURCES += ectab.c
0f00dc4c 392CLEANFILES += ectab.c
1c3d4cf5
MW
393EXTRA_DIST += ectab.in
394ectab.c: $(mpgen) typeinfo.py ectab.in
395 $(MPGEN) ectab $(srcdir)/ectab.in >ectab.c.new && \
396 mv ectab.c.new ectab.c
0f00dc4c
MW
397
398###----- That's all, folks --------------------------------------------------