git.distorted.org.uk Git - u/mdw/catacomb/blob - math/Makefile.am

   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
  27 include $(top_srcdir)/vars.am
  28
  29 noinst_LTLIBRARIES       = libmath.la
  30 libmath_la_SOURCES       =
  31 nodist_libmath_la_SOURCES =
  32 libmath_la_LIBADD        =
  33
  34 TEST_LIBS                = libmath.la
  35
  36 ###--------------------------------------------------------------------------
  37 ### Main multiprecision integer library.
  38
  39 ## This library is unfortunately intertwined with some of the code generation
  40 ## programs, so we must be rather careful.  The important bits of the maths
  41 ## library needed by these programs is separated out into `libmpbase'.  There
  42 ## is work going on to fix this unpleasant situation by generating the
  43 ## relevant files from Python scripts rather than C programs, using
  44 ## information gathered by `configure'.
  45 noinst_LTLIBRARIES      += libmpbase.la
  46 libmath_la_LIBADD       += libmpbase.la
  47 libmpbase_la_LIBADD      = $(mLib_LIBS)
  48 libmpbase_la_SOURCES     =
  49 $(libmpbase_la_OBJECTS): mptypes.h
  50
  51 ## Additional buffer I/O functions for mathematical objects.
  52 pkginclude_HEADERS      += buf.h
  53 libmath_la_SOURCES      += buf.c
  54
  55 ## Infrastructure for fast exponentiation.
  56 pkginclude_HEADERS      += exp.h
  57 libmath_la_SOURCES      += exp.c
  58
  59 ## Main user-visible multiprecision arithmetic.
  60 pkginclude_HEADERS      += mp.h
  61 libmpbase_la_SOURCES    += mp-arith.c
  62 TESTS                   += mp-arith.$t
  63 libmpbase_la_SOURCES    += mp-const.c
  64 libmath_la_SOURCES      += mp-exp.c mp-exp.h
  65 libmath_la_SOURCES      += mp-gcd.c
  66 TESTS                   += mp-gcd.$t
  67 libmpbase_la_SOURCES    += mp-io.c
  68 libmath_la_SOURCES      += mp-jacobi.c
  69 TESTS                   += mp-jacobi.$t
  70 libmpbase_la_SOURCES    += mp-mem.c
  71 libmpbase_la_SOURCES    += mp-misc.c
  72 libmath_la_SOURCES      += mp-modexp.c
  73 TESTS                   += mp-modexp.$t
  74 libmath_la_SOURCES      += mp-modsqrt.c
  75 TESTS                   += mp-modsqrt.$t
  76 libmath_la_SOURCES      += mp-sqrt.c
  77 TESTS                   += mp-sqrt.$t
  78 libmath_la_SOURCES      += mp-test.c
  79 EXTRA_DIST              += t/mp
  80
  81 ## Computing Fibonacci numbers.
  82 pkginclude_HEADERS      += mp-fibonacci.h
  83 libmath_la_SOURCES      += mp-fibonacci.c
  84 TESTS                   += mp-fibonacci.$t
  85
  86 ## Special memory allocation for multiprecision integers.
  87 pkginclude_HEADERS      += mparena.h
  88 libmpbase_la_SOURCES    += mparena.c
  89
  90 ## Barrett reduction, an efficient method for modular reduction.
  91 pkginclude_HEADERS      += mpbarrett.h
  92 libmath_la_SOURCES      += mpbarrett.c
  93 TESTS                   += mpbarrett.$t
  94 libmath_la_SOURCES      += mpbarrett-exp.c mpbarrett-mexp.c mpbarrett-exp.h
  95 TESTS                   += mpbarrett-exp.$t mpbarrett-mexp.$t
  96 TESTS                   += mpbarrett.$t
  97 EXTRA_DIST              += t/mpbarrett
  98
  99 ## Solving congruences using the Chinese Remainder Theorem.
 100 pkginclude_HEADERS      += mpcrt.h
 101 libmath_la_SOURCES      += mpcrt.c
 102 TESTS                   += mpcrt.$t
 103 EXTRA_DIST              += t/mpcrt
 104
 105 ## Conversions between machine-native and multiprecision integers.
 106 pkginclude_HEADERS      += mpint.h
 107 libmath_la_SOURCES      += mpint.c
 108 TESTS                   += mpint.$t
 109 EXTRA_DIST              += t/mpint
 110
 111 ## Table of upper and lower limits of various types of machine integers, as
 112 ## multiprecision integers.
 113 nodist_archinclude_HEADERS += mplimits.h
 114 nodist_libmath_la_SOURCES += mplimits.c
 115 CLEANFILES              += mplimits.h mplimits.c
 116 noinst_PROGRAMS         += genlimits
 117 genlimits_LDADD          = libmpbase.la
 118 mplimits.c: genlimits$e
 119         $(AM_V_GEN)./genlimits c >mplimits.c.new && \
 120                 mv mplimits.c.new mplimits.c
 121 mplimits.h: genlimits$e
 122         $(AM_V_GEN)./genlimits h >mplimits.h.new && \
 123                 mv mplimits.h.new mplimits.h
 124 $(genlimits_OBJECTS): mptypes.h
 125 mplimits.lo: mplimits.h
 126
 127 ## Montgomery reduction, a clever method for modular arithmetic.
 128 pkginclude_HEADERS      += mpmont.h
 129 libmath_la_SOURCES      += mpmont.c
 130 TESTS                   += mpmont.$t
 131 libmath_la_SOURCES      += mpmont-exp.c mpmont-mexp.c mpmont-exp.h
 132 TESTS                   += mpmont-exp.$t mpmont-mexp.$t
 133 EXTRA_DIST              += t/mpmont
 134
 135 ## Efficient multiplication of many small numbers.
 136 pkginclude_HEADERS      += mpmul.h
 137 libmath_la_SOURCES      += mpmul.c
 138 TESTS                   += mpmul.$t
 139
 140 ## Generating random numbers.
 141 pkginclude_HEADERS      += mprand.h
 142 libmath_la_SOURCES      += mprand.c
 143
 144 ## Efficient reduction modulo numbers with conveninent binary
 145 ## representations.
 146 pkginclude_HEADERS      += mpreduce.h
 147 libmath_la_SOURCES      += mpreduce.c mpreduce-exp.h
 148 TESTS                   += mpreduce.$t
 149 EXTRA_DIST              += t/mpreduce
 150
 151 ## Iteratiion over the bianry representation of multiprecision integers.
 152 pkginclude_HEADERS      += mpscan.h
 153 libmpbase_la_SOURCES    += mpscan.c
 154
 155 ## Conversion between multiprecision integers and their textual
 156 ## representations.
 157 pkginclude_HEADERS      += mptext.h
 158 libmpbase_la_SOURCES    += mptext.c
 159 TESTS                   += mptext.$t
 160 libmath_la_SOURCES      += mptext-dstr.c
 161 libmath_la_SOURCES      += mptext-file.c
 162 libmath_la_SOURCES      += mptext-len.c
 163 libmpbase_la_SOURCES    += mptext-string.c
 164 EXTRA_DIST              += t/mptext
 165
 166 ## Basic types used in the representation of multiprecision integers.
 167 nodist_archinclude_HEADERS += mptypes.h
 168 BUILT_SOURCES           += mptypes.h
 169 CLEANFILES              += mptypes.h
 170 noinst_PROGRAMS         += mptypes
 171 mptypes.h: mptypes$e
 172         $(AM_V_GEN)./mptypes >mptypes.h.new && mv mptypes.h.new mptypes.h
 173
 174 ## Low-level multiprecision arithmetic.
 175 pkginclude_HEADERS      += mpx.h bitops.h mpw.h
 176 libmpbase_la_SOURCES    += mpx.c
 177 TESTS                   += mpx.$t
 178 libmpbase_la_SOURCES    += karatsuba.h mpx-kmul.c mpx-ksqr.c
 179 TESTS                   += mpx-kmul.$t mpx-ksqr.$t
 180 noinst_PROGRAMS         += bittest
 181 TESTS                   += bittest
 182 EXTRA_DIST              += t/mpx
 183
 184 ## A quick-and-dirty parser, used for parsing descriptions of groups, fields,
 185 ## etc.
 186 pkginclude_HEADERS      += qdparse.h
 187 libmath_la_SOURCES      += qdparse.c
 188
 189 ## Pollard's `rho' algorithm for determining discrete logarithms.
 190 pkginclude_HEADERS      += rho.h
 191 libmath_la_SOURCES      += rho.c
 192 TESTS                   += rho.$t
 193
 194 ###--------------------------------------------------------------------------
 195 ### Prime number checking, searching, and related jobs.
 196
 197 ## Generating Lim--Lee groups, i.e., unit groups of finite fields without
 198 ## small subgroups (except for the obvious ones).
 199 pkginclude_HEADERS      += limlee.h
 200 libmath_la_SOURCES      += limlee.c
 201
 202 ## A table of small prime numbers.
 203 nodist_pkginclude_HEADERS += primetab.h
 204 nodist_libmath_la_SOURCES += primetab.c
 205 CLEANFILES              += primetab.h primetab.c
 206 BUILT_SOURCES           += primetab.h primetab.c
 207 noinst_PROGRAMS         += genprimes
 208 genprimes_LDADD          = $(mLib_LIBS)
 209 primetab.h: primetab.c
 210 primetab.c: genprimes$e
 211         $(AM_V_GEN)./genprimes -hprimetab.h -cprimetab.c \
 212                 -sCATACOMB_PRIMETAB_H \
 213                 -n256 -t"unsigned short" -iprimetab
 214
 215 ## Filtering candidate prime numbers by checking for small factors
 216 ## efficiently.
 217 pkginclude_HEADERS      += pfilt.h
 218 libmath_la_SOURCES      += pfilt.c
 219
 220 ## Generating prime numbers (and other kinds of numbers which need searching
 221 ## for).
 222 pkginclude_HEADERS      += pgen.h
 223 libmath_la_SOURCES      += pgen.c
 224 libmath_la_SOURCES      += pgen-gcd.c
 225 libmath_la_SOURCES      += pgen-simul.c
 226 libmath_la_SOURCES      += pgen-stdev.c
 227 TESTS                   += pgen.$t
 228 EXTRA_DIST              += t/pgen
 229
 230 ## Finding primitive elements in finite fields.
 231 pkginclude_HEADERS      += prim.h
 232 libmath_la_SOURCES      += prim.c
 233
 234 ## Iterating over all prime numbers from a given starting point.
 235 pkginclude_HEADERS      += primeiter.h
 236 libmath_la_SOURCES      += primeiter.c
 237 TESTS                   += primeiter.$t
 238 primeiter.lo: wheel.h
 239
 240 ## The Miller--Rabin primality test.
 241 pkginclude_HEADERS      += rabin.h
 242 libmath_la_SOURCES      += rabin.c
 243
 244 ## Finding `strong' primes, using Gordon's algorithm.  Once upon a time,
 245 ## products of these kinds of numbers were harder to factor.
 246 pkginclude_HEADERS      += strongprime.h
 247 libmath_la_SOURCES      += strongprime.c
 248
 249 ## A `wheel', used by the prime iteration machinery.
 250 nodist_pkginclude_HEADERS += wheel.h
 251 nodist_libmath_la_SOURCES += wheel.c
 252 CLEANFILES              += wheel.h wheel.c
 253 noinst_PROGRAMS         += genwheel
 254 genwheel_LDADD           = $(mLib_LIBS)
 255 wheel.h: wheel.c
 256 wheel.c: genwheel$e
 257         $(AM_V_GEN)./genwheel -hwheel.h -cwheel.c \
 258                 -sCATACOMB_WHEEL_H \
 259                 -n5 -t"unsigned char" -iwheel
 260
 261 ###--------------------------------------------------------------------------
 262 ### Binary polynomial arithmetic.
 263
 264 ## User-visible binary polynomial arithmetic.
 265 pkginclude_HEADERS      += gf.h
 266 libmath_la_SOURCES      += gf-arith.c
 267 TESTS                   += gf-arith.$t
 268 libmath_la_SOURCES      += gf-exp.c gf-exp.h
 269 libmath_la_SOURCES      += gf-gcd.c
 270 TESTS                   += gf-gcd.$t
 271 EXTRA_DIST              += t/gf
 272
 273 ## Low-level binary polynomial arithmetic.
 274 pkginclude_HEADERS      += gfx.h
 275 libmath_la_SOURCES      += gfx.c
 276 TESTS                   += gfx.$t
 277 libmath_la_SOURCES      += gfx-kmul.c
 278 TESTS                   += gfx-kmul.$t
 279 libmath_la_SOURCES      += gfx-sqr.c
 280 gfx-sqr.lo: gfx-sqr-tab.h
 281 TESTS                   += gfx-sqr.$t
 282 CLEANFILES              += gfx-sqr-tab.h
 283 noinst_PROGRAMS         += gfx-sqr-mktab
 284 gfx-sqr-tab.h: gfx-sqr-mktab$e
 285         $(AM_V_GEN)./gfx-sqr-mktab >gfx-sqr-tab.h.in && \
 286                 mv gfx-sqr-tab.h.in gfx-sqr-tab.h
 287 EXTRA_DIST              += t/gfx
 288
 289 ## Conversions between normal and polynomial basis representations for binary
 290 ## fields.
 291 pkginclude_HEADERS      += gfn.h
 292 libmath_la_SOURCES      += gfn.c
 293 TESTS                   += gfn.$t
 294 EXTRA_DIST              += t/gfn
 295
 296 ## Efficient reduction modulo sparse polynomials.
 297 pkginclude_HEADERS      += gfreduce.h
 298 libmath_la_SOURCES      += gfreduce.c gfreduce-exp.h
 299 TESTS                   += gfreduce.$t
 300 EXTRA_DIST              += t/gfreduce
 301
 302 ###--------------------------------------------------------------------------
 303 ### Abstractions for various kinds of algebraic objects.
 304
 305 ## Abstract cyclic groups.
 306 pkginclude_HEADERS      += group.h group-guts.h
 307 libmath_la_SOURCES      += group-dstr.c
 308 libmath_la_SOURCES      += group-exp.c group-exp.h
 309 libmath_la_SOURCES      += group-file.c
 310 libmath_la_SOURCES      += group-parse.c
 311 libmath_la_SOURCES      += group-stdops.c
 312 libmath_la_SOURCES      += group-string.c
 313 libmath_la_SOURCES      += g-bin.c
 314 libmath_la_SOURCES      += g-prime.c
 315 libmath_la_SOURCES      += g-ec.c
 316 EXTRA_DIST              += group-test.c
 317 TESTS                   += group-test.$t
 318 EXTRA_DIST              += t/group
 319
 320 ## Abstract finite fields.
 321 pkginclude_HEADERS      += field.h field-guts.h
 322 libmath_la_SOURCES      += field.c
 323 libmath_la_SOURCES      += field-exp.c field-exp.h
 324 libmath_la_SOURCES      += field-parse.c
 325 libmath_la_SOURCES      += f-binpoly.c
 326 libmath_la_SOURCES      += f-niceprime.c
 327 libmath_la_SOURCES      += f-prime.c
 328
 329 ## Table of built-in binary fields.
 330 pkginclude_HEADERS      += bintab.h
 331 libmath_la_SOURCES      += bintab.c
 332 CLEANFILES              += bintab.c
 333 EXTRA_DIST              += bintab.in bin-gentab.awk
 334 bintab.c: bintab.in bin-gentab.awk mpdump$e
 335         $(AM_V_GEN)awk -f $(srcdir)/bin-gentab.awk \
 336                 <$(srcdir)/bintab.in >bintab.c.new && \
 337         mv bintab.c.new bintab.c
 338
 339 ## Table of built-in prime fields.
 340 pkginclude_HEADERS      += ptab.h
 341 libmath_la_SOURCES      += ptab.c
 342 CLEANFILES              += ptab.c
 343 EXTRA_DIST              += ptab.in p-gentab.awk
 344 ptab.c: ptab.in p-gentab.awk mpdump$e
 345         $(AM_V_GEN)awk -f $(srcdir)/p-gentab.awk \
 346                 <$(srcdir)/ptab.in >ptab.c.new && \
 347         mv ptab.c.new ptab.c
 348
 349 ## A utility for building multiprecision integer constants.
 350 noinst_PROGRAMS         += mpdump
 351 mpdump_LDADD             = libmpbase.la
 352 $(mpdump_OBJECTS): mptypes.h
 353
 354 ###--------------------------------------------------------------------------
 355 ### Elliptic curve arithmetic.
 356
 357 ## Basic elliptic curve arithmetic.
 358 pkginclude_HEADERS      += ec.h ec-guts.h
 359 libmath_la_SOURCES      += ec.c
 360 libmath_la_SOURCES      += ec-exp.c ec-exp.h
 361 libmath_la_SOURCES      += ec-info.c
 362 TESTS                   += ec-info.$t
 363 libmath_la_SOURCES      += ec-bin.c
 364 TESTS                   += ec-bin.$t
 365 libmath_la_SOURCES      += ec-prime.c
 366 TESTS                   += ec-prime.$t
 367 EXTRA_DIST              += t/ec
 368
 369 ## The standard `raw' encoding (`EC2OSP') of elliptic curve points.
 370 pkginclude_HEADERS      += ec-raw.h
 371 libmath_la_SOURCES      += ec-raw.c
 372
 373 ## Assistance for elliptic-curve keys.
 374 pkginclude_HEADERS      += ec-keys.h
 375 libmath_la_SOURCES      += ec-fetch.c
 376
 377 ## Test infrastructure for elliptic curves.
 378 pkginclude_HEADERS      += ec-test.h
 379 libmath_la_SOURCES      += ec-test.c
 380 TESTS                   += ec-test.$t
 381
 382 ## A table of built-in elliptic curves.
 383 pkginclude_HEADERS      += ectab.h
 384 libmath_la_SOURCES      += ectab.c
 385 CLEANFILES              += ectab.c
 386 EXTRA_DIST              += ectab.in ec-gentab.awk
 387 ectab.c: ectab.in ec-gentab.awk mpdump$e
 388         $(AM_V_GEN)awk -f $(srcdir)/ec-gentab.awk \
 389                 <$(srcdir)/ectab.in >ectab.c.new && \
 390         mv ectab.c.new ectab.c
 391
 392 ###----- That's all, folks --------------------------------------------------