[catacomb] / math / Makefile.am

### -*-makefile-*-
###
### Build script for mathematical infrastructure
###
### (c) 2013 Straylight/Edgeware
###

###----- Licensing notice ---------------------------------------------------
###
### This file is part of Catacomb.
###
### Catacomb is free software; you can redistribute it and/or modify
### it under the terms of the GNU Library General Public License as
### published by the Free Software Foundation; either version 2 of the
### License, or (at your option) any later version.
###
### Catacomb is distributed in the hope that it will be useful,
### but WITHOUT ANY WARRANTY; without even the implied warranty of
### MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
### GNU Library General Public License for more details.
###
### You should have received a copy of the GNU Library General Public
### License along with Catacomb; if not, write to the Free
### Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
### MA 02111-1307, USA.

include $(top_srcdir)/vars.am

noinst_LTLIBRARIES	 = libmath.la
libmath_la_SOURCES	 =
nodist_libmath_la_SOURCES =
libmath_la_LIBADD	 =

TEST_LIBS		 = libmath.la

###--------------------------------------------------------------------------
### Representation of multiprecision integers.

## The `mpgen' tool for dealing with these things.
mpgen			 = $(srcdir)/mpgen
EXTRA_DIST		+= mpgen
AM_V_MPGEN		 = $(AM_V_MPGEN_@AM_V@)
AM_V_MPGEN_		 = $(AM_V_MPGEN_@AM_DEFAULT_V@)
AM_V_MPGEN_0		 = @echo "  MPGEN    $@";
MPGEN			 = $(AM_V_MPGEN)$(PYTHON) $(mpgen)

## The type information collected by `configure'.
CLEANFILES		+= typeinfo.py
EXTRA_DIST		+= typeinfo.py.in
typeinfo.py: $(srcdir)/typeinfo.py.in Makefile
	$(SUBST) $(srcdir)/typeinfo.py.in >typeinfo.py.new \
		type_bits="@type_bits@" \
		limits="@limits@" && \
	mv typeinfo.py.new typeinfo.py

## The header file containing our representation choices.
BUILT_SOURCES		+= mptypes.h
CLEANFILES		+= mptypes.h
nodist_archinclude_HEADERS += mptypes.h
mptypes.h: $(mpgen) typeinfo.py
	$(MPGEN) mptypes >mptypes.h.in && mv mptypes.h.in mptypes.h

## Limits of C types as multiprecision integers.
BUILT_SOURCES		+= mplimits.h mplimits.c
CLEANFILES		+= mplimits.h mplimits.c
nodist_archinclude_HEADERS += mplimits.h
nodist_libmath_la_SOURCES += mplimits.c
mplimits.h: $(mpgen) typeinfo.py
	$(MPGEN) mplimits_h >mplimits.h.in && mv mplimits.h.in mplimits.h
mplimits.c: $(mpgen) typeinfo.py
	$(MPGEN) mplimits_c >mplimits.c.in && mv mplimits.c.in mplimits.c

###--------------------------------------------------------------------------
### Main multiprecision integer library.

## Additional buffer I/O functions for mathematical objects.
pkginclude_HEADERS	+= buf.h
libmath_la_SOURCES	+= buf.c

## Infrastructure for fast exponentiation.
pkginclude_HEADERS	+= exp.h
libmath_la_SOURCES	+= exp.c

## Main user-visible multiprecision arithmetic.
pkginclude_HEADERS	+= mp.h
libmath_la_SOURCES	+= mp-arith.c
TESTS			+= mp-arith.t$(EXEEXT)
libmath_la_SOURCES	+= mp-const.c
libmath_la_SOURCES	+= mp-exp.c mp-exp.h
libmath_la_SOURCES	+= mp-gcd.c
TESTS			+= mp-gcd.t$(EXEEXT)
libmath_la_SOURCES	+= mp-io.c
libmath_la_SOURCES	+= mp-jacobi.c
TESTS			+= mp-jacobi.t$(EXEEXT)
libmath_la_SOURCES	+= mp-mem.c
libmath_la_SOURCES	+= mp-misc.c
libmath_la_SOURCES	+= mp-modexp.c
TESTS			+= mp-modexp.t$(EXEEXT)
libmath_la_SOURCES	+= mp-modsqrt.c
TESTS			+= mp-modsqrt.t$(EXEEXT)
libmath_la_SOURCES	+= mp-sqrt.c
TESTS			+= mp-sqrt.t$(EXEEXT)
libmath_la_SOURCES	+= mp-nthrt.c
TESTS			+= mp-nthrt.t$(EXEEXT)
libmath_la_SOURCES	+= mp-test.c
EXTRA_DIST		+= t/mp

## Computing Fibonacci numbers.
pkginclude_HEADERS	+= mp-fibonacci.h
libmath_la_SOURCES	+= mp-fibonacci.c
TESTS			+= mp-fibonacci.t$(EXEEXT)

## Special memory allocation for multiprecision integers.
pkginclude_HEADERS	+= mparena.h
libmath_la_SOURCES	+= mparena.c

## Barrett reduction, an efficient method for modular reduction.
pkginclude_HEADERS	+= mpbarrett.h
libmath_la_SOURCES	+= mpbarrett.c
TESTS			+= mpbarrett.t$(EXEEXT)
libmath_la_SOURCES	+= mpbarrett-exp.c mpbarrett-mexp.c mpbarrett-exp.h
TESTS			+= mpbarrett-exp.t$(EXEEXT) mpbarrett-mexp.t$(EXEEXT)
TESTS			+= mpbarrett.t$(EXEEXT)
EXTRA_DIST		+= t/mpbarrett

## Solving congruences using the Chinese Remainder Theorem.
pkginclude_HEADERS	+= mpcrt.h
libmath_la_SOURCES	+= mpcrt.c
TESTS			+= mpcrt.t$(EXEEXT)
EXTRA_DIST		+= t/mpcrt

## Conversions between machine-native and multiprecision integers.
pkginclude_HEADERS	+= mpint.h
libmath_la_SOURCES	+= mpint.c
TESTS			+= mpint.t$(EXEEXT)
EXTRA_DIST		+= t/mpint

## Montgomery reduction, a clever method for modular arithmetic.
pkginclude_HEADERS	+= mpmont.h
libmath_la_SOURCES	+= mpmont.c
TESTS			+= mpmont.t$(EXEEXT)
libmath_la_SOURCES	+= mpmont-exp.c mpmont-mexp.c mpmont-exp.h
TESTS			+= mpmont-exp.t$(EXEEXT) mpmont-mexp.t$(EXEEXT)
EXTRA_DIST		+= t/mpmont

## Efficient multiplication of many small numbers.
pkginclude_HEADERS	+= mpmul.h
libmath_la_SOURCES	+= mpmul.c
TESTS			+= mpmul.t$(EXEEXT)

## Generating random numbers.
pkginclude_HEADERS	+= mprand.h
libmath_la_SOURCES	+= mprand.c

## Efficient reduction modulo numbers with conveninent binary
## representations.
pkginclude_HEADERS	+= mpreduce.h
libmath_la_SOURCES	+= mpreduce.c mpreduce-exp.h
TESTS			+= mpreduce.t$(EXEEXT)
EXTRA_DIST		+= t/mpreduce

## Iteratiion over the bianry representation of multiprecision integers.
pkginclude_HEADERS	+= mpscan.h
libmath_la_SOURCES	+= mpscan.c

## Conversion between multiprecision integers and their textual
## representations.
pkginclude_HEADERS	+= mptext.h
libmath_la_SOURCES	+= mptext.c
TESTS			+= mptext.t$(EXEEXT)
libmath_la_SOURCES	+= mptext-dstr.c
libmath_la_SOURCES	+= mptext-file.c
libmath_la_SOURCES	+= mptext-len.c
libmath_la_SOURCES	+= mptext-string.c
EXTRA_DIST		+= t/mptext

## Low-level multiprecision arithmetic.
pkginclude_HEADERS	+= mpx.h bitops.h mpw.h
libmath_la_SOURCES	+= mpx.c
TESTS			+= mpx.t$(EXEEXT)
libmath_la_SOURCES	+= karatsuba.h mpx-kmul.c mpx-ksqr.c
TESTS			+= mpx-kmul.t$(EXEEXT) mpx-ksqr.t$(EXEEXT)
noinst_PROGRAMS		+= bittest
TESTS			+= bittest
EXTRA_DIST		+= t/mpx

if CPUFAM_X86
MPX_MUL4_SOURCES	 = mpx-mul4-x86-sse2.S
check_PROGRAMS		+= mpx-mul4.t
TESTS			+= mpx-mul4.t$(EXEEXT)
endif
if CPUFAM_AMD64
MPX_MUL4_SOURCES	 = mpx-mul4-amd64-sse2.S
check_PROGRAMS		+= mpx-mul4.t
TESTS			+= mpx-mul4.t$(EXEEXT)
endif
if CPUFAM_ARMEL
MPX_MUL4_SOURCES	 = mpx-mul4-arm-neon.S
check_PROGRAMS		+= mpx-mul4.t
TESTS			+= mpx-mul4.t$(EXEEXT)
endif
if CPUFAM_ARM64
MPX_MUL4_SOURCES	 = mpx-mul4-arm64-simd.S
check_PROGRAMS		+= mpx-mul4.t
TESTS			+= mpx-mul4.t$(EXEEXT)
endif
libmath_la_SOURCES	+= $(MPX_MUL4_SOURCES)
mpx_mul4_t_SOURCES	 = mpx-mul4-test.c $(MPX_MUL4_SOURCES)
mpx_mul4_t_CPPFLAGS	 = \
	$(AM_CPPFLAGS) \
	-DTEST_MUL4 -DSRCDIR="\"$(srcdir)\""
mpx_mul4_t_LDFLAGS	 = $(TEST_LDFLAGS)
mpx_mul4_t_LDADD	 = $(top_builddir)/libcatacomb.la $(mLib_LIBS)
EXTRA_DIST		+= t/mpx-mul4

## A quick-and-dirty parser, used for parsing descriptions of groups, fields,
## etc.
pkginclude_HEADERS	+= qdparse.h
libmath_la_SOURCES	+= qdparse.c

## Pollard's `rho' algorithm for determining discrete logarithms.
pkginclude_HEADERS	+= rho.h
libmath_la_SOURCES	+= rho.c
TESTS			+= rho.t$(EXEEXT)

###--------------------------------------------------------------------------
### Prime number checking, searching, and related jobs.

## Generating Lim--Lee groups, i.e., unit groups of finite fields without
## small subgroups (except for the obvious ones).
pkginclude_HEADERS	+= limlee.h
libmath_la_SOURCES	+= limlee.c

## A table of small prime numbers.
pkginclude_HEADERS	+= $(precomp)/math/primetab.h
nodist_libmath_la_SOURCES += ../precomp/math/primetab.c
PRECOMPS		+= $(precomp)/math/primetab.h \
			   $(precomp)/math/primetab.c
PRECOMP_PROGS		+= genprimes
genprimes_LDADD		 = $(mLib_LIBS)
if !CROSS_COMPILING
$(precomp)/math/primetab.h: $(precomp)/math/primetab.c
$(precomp)/math/primetab.c:
	$(AM_V_at)$(MKDIR_P) $(precomp)/math
	$(AM_V_at)$(MAKE) genprimes$(EXEEXT)
	$(AM_V_GEN)./genprimes -sCATACOMB_PRIMETAB_H \
		-h$(precomp)/math/primetab.h -c$(precomp)/math/primetab.c \
		-n256 -t"unsigned short" -iprimetab
endif

## Filtering candidate prime numbers by checking for small factors
## efficiently.
pkginclude_HEADERS	+= pfilt.h
libmath_la_SOURCES	+= pfilt.c

## Generating prime numbers (and other kinds of numbers which need searching
## for).
pkginclude_HEADERS	+= pgen.h
libmath_la_SOURCES	+= pgen.c
libmath_la_SOURCES	+= pgen-gcd.c
libmath_la_SOURCES	+= pgen-granfrob.c
libmath_la_SOURCES	+= pgen-simul.c
libmath_la_SOURCES	+= pgen-stdev.c
TESTS			+= pgen.t$(EXEEXT) pgen-granfrob.t$(EXEEXT)
EXTRA_DIST		+= t/pgen

## Finding primitive elements in finite fields.
pkginclude_HEADERS	+= prim.h
libmath_la_SOURCES	+= prim.c

## Iterating over all prime numbers from a given starting point.
pkginclude_HEADERS	+= primeiter.h
libmath_la_SOURCES	+= primeiter.c
TESTS			+= primeiter.t$(EXEEXT)
primeiter.lo: $(precomp)/math/wheel.h

## The Miller--Rabin primality test.
pkginclude_HEADERS	+= rabin.h
libmath_la_SOURCES	+= rabin.c

## Finding `strong' primes, using Gordon's algorithm.  Once upon a time,
## products of these kinds of numbers were harder to factor.
pkginclude_HEADERS	+= strongprime.h
libmath_la_SOURCES	+= strongprime.c

## A `wheel', used by the prime iteration machinery.
pkginclude_HEADERS	+= $(precomp)/math/wheel.h
nodist_libmath_la_SOURCES += ../precomp/math/wheel.c
PRECOMPS		+= $(precomp)/math/wheel.h $(precomp)/math/wheel.c
PRECOMP_PROGS		+= genwheel
genwheel_LDADD		 = $(mLib_LIBS)
if !CROSS_COMPILING
$(precomp)/math/wheel.h: $(precomp)/math/wheel.c
$(precomp)/math/wheel.c:
	$(AM_V_at)$(MKDIR_P) $(precomp)/math
	$(AM_V_at)$(MAKE) genwheel$(EXEEXT)
	$(AM_V_GEN)./genwheel -sCATACOMB_WHEEL_H \
		-h$(precomp)/math/wheel.h -c$(precomp)/math/wheel.c \
		-n5 -t"unsigned char" -iwheel
endif

###--------------------------------------------------------------------------
### Binary polynomial arithmetic.

## User-visible binary polynomial arithmetic.
pkginclude_HEADERS	+= gf.h
libmath_la_SOURCES	+= gf-arith.c
TESTS			+= gf-arith.t$(EXEEXT)
libmath_la_SOURCES	+= gf-exp.c gf-exp.h
libmath_la_SOURCES	+= gf-gcd.c
TESTS			+= gf-gcd.t$(EXEEXT)
EXTRA_DIST		+= t/gf

## Low-level binary polynomial arithmetic.
pkginclude_HEADERS	+= gfx.h
libmath_la_SOURCES	+= gfx.c
TESTS			+= gfx.t$(EXEEXT)
libmath_la_SOURCES	+= gfx-kmul.c
TESTS			+= gfx-kmul.t$(EXEEXT)
libmath_la_SOURCES	+= gfx-sqr.c
TESTS			+= gfx-sqr.t$(EXEEXT)
EXTRA_DIST		+= t/gfx

## Conversions between normal and polynomial basis representations for binary
## fields.
pkginclude_HEADERS	+= gfn.h
libmath_la_SOURCES	+= gfn.c
TESTS			+= gfn.t$(EXEEXT)
EXTRA_DIST		+= t/gfn

## Efficient reduction modulo sparse polynomials.
pkginclude_HEADERS	+= gfreduce.h
libmath_la_SOURCES	+= gfreduce.c gfreduce-exp.h
TESTS			+= gfreduce.t$(EXEEXT)
EXTRA_DIST		+= t/gfreduce

###--------------------------------------------------------------------------
### Abstractions for various kinds of algebraic objects.

## Abstract cyclic groups.
pkginclude_HEADERS	+= group.h group-guts.h
libmath_la_SOURCES	+= group-dstr.c
libmath_la_SOURCES	+= group-exp.c group-exp.h
libmath_la_SOURCES	+= group-file.c
libmath_la_SOURCES	+= group-parse.c
libmath_la_SOURCES	+= group-stdops.c
libmath_la_SOURCES	+= group-string.c
libmath_la_SOURCES	+= g-bin.c
libmath_la_SOURCES	+= g-prime.c
libmath_la_SOURCES	+= g-ec.c
EXTRA_DIST		+= group-test.c
TESTS			+= group-test.t$(EXEEXT)
EXTRA_DIST		+= t/group

## Abstract finite fields.
pkginclude_HEADERS	+= field.h field-guts.h
libmath_la_SOURCES	+= field.c
libmath_la_SOURCES	+= field-exp.c field-exp.h
libmath_la_SOURCES	+= field-parse.c
libmath_la_SOURCES	+= f-binpoly.c
libmath_la_SOURCES	+= f-niceprime.c
libmath_la_SOURCES	+= f-prime.c

## Table of built-in binary fields.
pkginclude_HEADERS	+= bintab.h
nodist_libmath_la_SOURCES += bintab.c
CLEANFILES		+= bintab.c
EXTRA_DIST		+= bintab.in
bintab.c: $(mpgen) typeinfo.py bintab.in
	$(MPGEN) bintab $(srcdir)/bintab.in >bintab.c.new && \
		mv bintab.c.new bintab.c

## Table of built-in prime fields.
pkginclude_HEADERS	+= ptab.h
nodist_libmath_la_SOURCES += ptab.c
CLEANFILES		+= ptab.c
EXTRA_DIST		+= ptab.in
ptab.c: $(mpgen) typeinfo.py ptab.in
	$(MPGEN) ptab $(srcdir)/ptab.in >ptab.c.new && \
		mv ptab.c.new ptab.c

###--------------------------------------------------------------------------
### Elliptic curve arithmetic.

## Basic elliptic curve arithmetic.
pkginclude_HEADERS	+= ec.h ec-guts.h
libmath_la_SOURCES	+= ec.c
libmath_la_SOURCES	+= ec-exp.c ec-exp.h
libmath_la_SOURCES	+= ec-info.c
TESTS			+= ec-info.t$(EXEEXT)
libmath_la_SOURCES	+= ec-bin.c
TESTS			+= ec-bin.t$(EXEEXT)
libmath_la_SOURCES	+= ec-prime.c
TESTS			+= ec-prime.t$(EXEEXT)
EXTRA_DIST		+= t/ec

## The standard `raw' encoding (`EC2OSP') of elliptic curve points.
pkginclude_HEADERS	+= ec-raw.h
libmath_la_SOURCES	+= ec-raw.c

## Assistance for elliptic-curve keys.
pkginclude_HEADERS	+= ec-keys.h
libmath_la_SOURCES	+= ec-fetch.c

## Test infrastructure for elliptic curves.
pkginclude_HEADERS	+= ec-test.h
libmath_la_SOURCES	+= ec-test.c
TESTS			+= ec-test.t$(EXEEXT)

## Table of built-in elliptic-curve groups.
pkginclude_HEADERS	+= ectab.h
nodist_libmath_la_SOURCES += ectab.c
CLEANFILES		+= ectab.c
EXTRA_DIST		+= ectab.in
ectab.c: $(mpgen) typeinfo.py ectab.in
	$(MPGEN) ectab $(srcdir)/ectab.in >ectab.c.new && \
		mv ectab.c.new ectab.c

###--------------------------------------------------------------------------
### Other strange things.

pkginclude_HEADERS	+= qfarith.h

pkginclude_HEADERS	+= f25519.h
libmath_la_SOURCES	+= f25519.c
TESTS			+= f25519.t$(EXEEXT)
TESTS			+= f25519-p10.t$(EXEEXT)
EXTRA_DIST		+= t/f25519

check_PROGRAMS		+= f25519-p10.t
f25519_p10_t_SOURCES	 = f25519.c
f25519_p10_t_CPPFLAGS	 = $(AM_CPPFLAGS) -DTEST_RIG -DSRCDIR="\"$(srcdir)\""
f25519_p10_t_CPPFLAGS	+= -DF25519_IMPL=10
f25519_p10_t_LDFLAGS	 = $(TEST_LDFLAGS)
f25519_p10_t_LDADD	 = $(TEST_LIBS) $(top_builddir)/libcatacomb.la
f25519_p10_t_LDADD	+= $(mLib_LIBS) $(CATACOMB_LIBS) $(LIBS)

pkginclude_HEADERS	+= fgoldi.h
libmath_la_SOURCES	+= fgoldi.c
TESTS			+= fgoldi.t$(EXEEXT)
TESTS			+= fgoldi-p12.t$(EXEEXT)
EXTRA_DIST		+= t/fgoldi

check_PROGRAMS		+= fgoldi-p12.t
fgoldi_p12_t_SOURCES	 = fgoldi.c
fgoldi_p12_t_CPPFLAGS	 = $(AM_CPPFLAGS) -DTEST_RIG -DSRCDIR="\"$(srcdir)\""
fgoldi_p12_t_CPPFLAGS	+= -DFGOLDI_IMPL=12
fgoldi_p12_t_LDFLAGS	 = $(TEST_LDFLAGS)
fgoldi_p12_t_LDADD	 = $(TEST_LIBS) $(top_builddir)/libcatacomb.la
fgoldi_p12_t_LDADD	+= $(mLib_LIBS) $(CATACOMB_LIBS) $(LIBS)

pkginclude_HEADERS	+= scaf.h
libmath_la_SOURCES	+= scaf.c

pkginclude_HEADERS	+= montladder.h
pkginclude_HEADERS	+= scmul.h

###----- That's all, folks --------------------------------------------------
Commit	Line	Data
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
	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	###--------------------------------------------------------------------------
1c3d4cf5 MW	37	### Representation of multiprecision integers.
	38
	39	## The `mpgen' tool for dealing with these things.
	40	mpgen = $(srcdir)/mpgen
	41	EXTRA_DIST += mpgen
3eda76a3 MW	42	AM_V_MPGEN = $(AM_V_MPGEN_@AM_V@)
	43	AM_V_MPGEN_ = $(AM_V_MPGEN_@AM_DEFAULT_V@)
	44	AM_V_MPGEN_0 = @echo " MPGEN $@";
1c3d4cf5 MW	45	MPGEN = $(AM_V_MPGEN)$(PYTHON) $(mpgen)
	46
	47	## The type information collected by `configure'.
	48	CLEANFILES += typeinfo.py
	49	EXTRA_DIST += typeinfo.py.in
	50	typeinfo.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.
	57	BUILT_SOURCES += mptypes.h
	58	CLEANFILES += mptypes.h
	59	nodist_archinclude_HEADERS += mptypes.h
	60	mptypes.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.
	64	BUILT_SOURCES += mplimits.h mplimits.c
	65	CLEANFILES += mplimits.h mplimits.c
	66	nodist_archinclude_HEADERS += mplimits.h
	67	nodist_libmath_la_SOURCES += mplimits.c
	68	mplimits.h: $(mpgen) typeinfo.py
	69	$(MPGEN) mplimits_h >mplimits.h.in && mv mplimits.h.in mplimits.h
	70	mplimits.c: $(mpgen) typeinfo.py
	71	$(MPGEN) mplimits_c >mplimits.c.in && mv mplimits.c.in mplimits.c
0f00dc4c	72
1c3d4cf5 MW	73	###--------------------------------------------------------------------------
1c3d4cf5 MW	74	### Main multiprecision integer library.
0f00dc4c MW	75
	76	## Additional buffer I/O functions for mathematical objects.
	77	pkginclude_HEADERS += buf.h
	78	libmath_la_SOURCES += buf.c
	79
	80	## Infrastructure for fast exponentiation.
	81	pkginclude_HEADERS += exp.h
	82	libmath_la_SOURCES += exp.c
	83
	84	## Main user-visible multiprecision arithmetic.
	85	pkginclude_HEADERS += mp.h
1c3d4cf5	86	libmath_la_SOURCES += mp-arith.c
ba57d652	87	TESTS += mp-arith.t$(EXEEXT)
1c3d4cf5	88	libmath_la_SOURCES += mp-const.c
0f00dc4c MW	89	libmath_la_SOURCES += mp-exp.c mp-exp.h
0f00dc4c MW	90	libmath_la_SOURCES += mp-gcd.c
ba57d652	91	TESTS += mp-gcd.t$(EXEEXT)
1c3d4cf5	92	libmath_la_SOURCES += mp-io.c
0f00dc4c	93	libmath_la_SOURCES += mp-jacobi.c
ba57d652	94	TESTS += mp-jacobi.t$(EXEEXT)
1c3d4cf5 MW	95	libmath_la_SOURCES += mp-mem.c
1c3d4cf5 MW	96	libmath_la_SOURCES += mp-misc.c
0f00dc4c	97	libmath_la_SOURCES += mp-modexp.c
ba57d652	98	TESTS += mp-modexp.t$(EXEEXT)
0f00dc4c	99	libmath_la_SOURCES += mp-modsqrt.c
ba57d652	100	TESTS += mp-modsqrt.t$(EXEEXT)
0f00dc4c	101	libmath_la_SOURCES += mp-sqrt.c
ba57d652	102	TESTS += mp-sqrt.t$(EXEEXT)
8a693e0d MW	103	libmath_la_SOURCES += mp-nthrt.c
8a693e0d MW	104	TESTS += mp-nthrt.t$(EXEEXT)
0f00dc4c MW	105	libmath_la_SOURCES += mp-test.c
	106	EXTRA_DIST += t/mp
	107
	108	## Computing Fibonacci numbers.
	109	pkginclude_HEADERS += mp-fibonacci.h
	110	libmath_la_SOURCES += mp-fibonacci.c
ba57d652	111	TESTS += mp-fibonacci.t$(EXEEXT)
0f00dc4c MW	112
	113	## Special memory allocation for multiprecision integers.
	114	pkginclude_HEADERS += mparena.h
1c3d4cf5	115	libmath_la_SOURCES += mparena.c
0f00dc4c MW	116
	117	## Barrett reduction, an efficient method for modular reduction.
	118	pkginclude_HEADERS += mpbarrett.h
	119	libmath_la_SOURCES += mpbarrett.c
ba57d652	120	TESTS += mpbarrett.t$(EXEEXT)
0f00dc4c	121	libmath_la_SOURCES += mpbarrett-exp.c mpbarrett-mexp.c mpbarrett-exp.h
ba57d652 MW	122	TESTS += mpbarrett-exp.t$(EXEEXT) mpbarrett-mexp.t$(EXEEXT)
ba57d652 MW	123	TESTS += mpbarrett.t$(EXEEXT)
0f00dc4c MW	124	EXTRA_DIST += t/mpbarrett
	125
	126	## Solving congruences using the Chinese Remainder Theorem.
	127	pkginclude_HEADERS += mpcrt.h
	128	libmath_la_SOURCES += mpcrt.c
ba57d652	129	TESTS += mpcrt.t$(EXEEXT)
0f00dc4c MW	130	EXTRA_DIST += t/mpcrt
	131
	132	## Conversions between machine-native and multiprecision integers.
	133	pkginclude_HEADERS += mpint.h
	134	libmath_la_SOURCES += mpint.c
ba57d652	135	TESTS += mpint.t$(EXEEXT)
0f00dc4c MW	136	EXTRA_DIST += t/mpint
0f00dc4c MW	137
0f00dc4c MW	138	## Montgomery reduction, a clever method for modular arithmetic.
	139	pkginclude_HEADERS += mpmont.h
	140	libmath_la_SOURCES += mpmont.c
ba57d652	141	TESTS += mpmont.t$(EXEEXT)
0f00dc4c	142	libmath_la_SOURCES += mpmont-exp.c mpmont-mexp.c mpmont-exp.h
ba57d652	143	TESTS += mpmont-exp.t$(EXEEXT) mpmont-mexp.t$(EXEEXT)
0f00dc4c MW	144	EXTRA_DIST += t/mpmont
	145
	146	## Efficient multiplication of many small numbers.
	147	pkginclude_HEADERS += mpmul.h
	148	libmath_la_SOURCES += mpmul.c
ba57d652	149	TESTS += mpmul.t$(EXEEXT)
0f00dc4c MW	150
	151	## Generating random numbers.
	152	pkginclude_HEADERS += mprand.h
	153	libmath_la_SOURCES += mprand.c
	154
	155	## Efficient reduction modulo numbers with conveninent binary
	156	## representations.
	157	pkginclude_HEADERS += mpreduce.h
	158	libmath_la_SOURCES += mpreduce.c mpreduce-exp.h
ba57d652	159	TESTS += mpreduce.t$(EXEEXT)
0f00dc4c MW	160	EXTRA_DIST += t/mpreduce
	161
	162	## Iteratiion over the bianry representation of multiprecision integers.
	163	pkginclude_HEADERS += mpscan.h
1c3d4cf5	164	libmath_la_SOURCES += mpscan.c
0f00dc4c MW	165
	166	## Conversion between multiprecision integers and their textual
	167	## representations.
	168	pkginclude_HEADERS += mptext.h
1c3d4cf5	169	libmath_la_SOURCES += mptext.c
ba57d652	170	TESTS += mptext.t$(EXEEXT)
0f00dc4c MW	171	libmath_la_SOURCES += mptext-dstr.c
	172	libmath_la_SOURCES += mptext-file.c
	173	libmath_la_SOURCES += mptext-len.c
1c3d4cf5	174	libmath_la_SOURCES += mptext-string.c
0f00dc4c MW	175	EXTRA_DIST += t/mptext
0f00dc4c MW	176
0f00dc4c MW	177	## Low-level multiprecision arithmetic.
0f00dc4c MW	178	pkginclude_HEADERS += mpx.h bitops.h mpw.h
1c3d4cf5	179	libmath_la_SOURCES += mpx.c
ba57d652	180	TESTS += mpx.t$(EXEEXT)
1c3d4cf5	181	libmath_la_SOURCES += karatsuba.h mpx-kmul.c mpx-ksqr.c
ba57d652	182	TESTS += mpx-kmul.t$(EXEEXT) mpx-ksqr.t$(EXEEXT)
0f00dc4c MW	183	noinst_PROGRAMS += bittest
	184	TESTS += bittest
	185	EXTRA_DIST += t/mpx
1e8abdf5	186
444083ae	187	if CPUFAM_X86
7ba379a6 MW	188	MPX_MUL4_SOURCES = mpx-mul4-x86-sse2.S
	189	check_PROGRAMS += mpx-mul4.t
	190	TESTS += mpx-mul4.t$(EXEEXT)
444083ae	191	endif
3119b3ae	192	if CPUFAM_AMD64
7ba379a6 MW	193	MPX_MUL4_SOURCES = mpx-mul4-amd64-sse2.S
	194	check_PROGRAMS += mpx-mul4.t
	195	TESTS += mpx-mul4.t$(EXEEXT)
3119b3ae	196	endif
ea1b3cec MW	197	if CPUFAM_ARMEL
	198	MPX_MUL4_SOURCES = mpx-mul4-arm-neon.S
	199	check_PROGRAMS += mpx-mul4.t
	200	TESTS += mpx-mul4.t$(EXEEXT)
	201	endif
	202	if CPUFAM_ARM64
	203	MPX_MUL4_SOURCES = mpx-mul4-arm64-simd.S
	204	check_PROGRAMS += mpx-mul4.t
	205	TESTS += mpx-mul4.t$(EXEEXT)
	206	endif
7ba379a6	207	libmath_la_SOURCES += $(MPX_MUL4_SOURCES)
7ba379a6 MW	208	mpx_mul4_t_SOURCES = mpx-mul4-test.c $(MPX_MUL4_SOURCES)
	209	mpx_mul4_t_CPPFLAGS = \
	210	$(AM_CPPFLAGS) \
	211	-DTEST_MUL4 -DSRCDIR="\"$(srcdir)\""
6a024d24	212	mpx_mul4_t_LDFLAGS = $(TEST_LDFLAGS)
7ba379a6	213	mpx_mul4_t_LDADD = $(top_builddir)/libcatacomb.la $(mLib_LIBS)
1e8abdf5	214	EXTRA_DIST += t/mpx-mul4
0f00dc4c MW	215
	216	## A quick-and-dirty parser, used for parsing descriptions of groups, fields,
	217	## etc.
	218	pkginclude_HEADERS += qdparse.h
	219	libmath_la_SOURCES += qdparse.c
	220
	221	## Pollard's `rho' algorithm for determining discrete logarithms.
	222	pkginclude_HEADERS += rho.h
	223	libmath_la_SOURCES += rho.c
ba57d652	224	TESTS += rho.t$(EXEEXT)
0f00dc4c MW	225
	226	###--------------------------------------------------------------------------
	227	### Prime number checking, searching, and related jobs.
	228
	229	## Generating Lim--Lee groups, i.e., unit groups of finite fields without
	230	## small subgroups (except for the obvious ones).
	231	pkginclude_HEADERS += limlee.h
	232	libmath_la_SOURCES += limlee.c
	233
	234	## A table of small prime numbers.
c9cfa678 MW	235	pkginclude_HEADERS += $(precomp)/math/primetab.h
	236	nodist_libmath_la_SOURCES += ../precomp/math/primetab.c
	237	PRECOMPS += $(precomp)/math/primetab.h \
	238	$(precomp)/math/primetab.c
e5b61a8d	239	PRECOMP_PROGS += genprimes
0f00dc4c	240	genprimes_LDADD = $(mLib_LIBS)
e5b61a8d	241	if !CROSS_COMPILING
c9cfa678 MW	242	$(precomp)/math/primetab.h: $(precomp)/math/primetab.c
	243	$(precomp)/math/primetab.c:
	244	$(AM_V_at)$(MKDIR_P) $(precomp)/math
ba57d652	245	$(AM_V_at)$(MAKE) genprimes$(EXEEXT)
e5b61a8d	246	$(AM_V_GEN)./genprimes -sCATACOMB_PRIMETAB_H \
c9cfa678	247	-h$(precomp)/math/primetab.h -c$(precomp)/math/primetab.c \
0f00dc4c	248	-n256 -t"unsigned short" -iprimetab
e5b61a8d	249	endif
0f00dc4c MW	250
	251	## Filtering candidate prime numbers by checking for small factors
	252	## efficiently.
	253	pkginclude_HEADERS += pfilt.h
	254	libmath_la_SOURCES += pfilt.c
	255
	256	## Generating prime numbers (and other kinds of numbers which need searching
	257	## for).
	258	pkginclude_HEADERS += pgen.h
	259	libmath_la_SOURCES += pgen.c
	260	libmath_la_SOURCES += pgen-gcd.c
6001a9ff	261	libmath_la_SOURCES += pgen-granfrob.c
0f00dc4c MW	262	libmath_la_SOURCES += pgen-simul.c
0f00dc4c MW	263	libmath_la_SOURCES += pgen-stdev.c
6001a9ff	264	TESTS += pgen.t$(EXEEXT) pgen-granfrob.t$(EXEEXT)
0f00dc4c MW	265	EXTRA_DIST += t/pgen
	266
	267	## Finding primitive elements in finite fields.
	268	pkginclude_HEADERS += prim.h
	269	libmath_la_SOURCES += prim.c
	270
	271	## Iterating over all prime numbers from a given starting point.
	272	pkginclude_HEADERS += primeiter.h
	273	libmath_la_SOURCES += primeiter.c
ba57d652	274	TESTS += primeiter.t$(EXEEXT)
c9cfa678	275	primeiter.lo: $(precomp)/math/wheel.h
0f00dc4c MW	276
	277	## The Miller--Rabin primality test.
	278	pkginclude_HEADERS += rabin.h
	279	libmath_la_SOURCES += rabin.c
	280
	281	## Finding `strong' primes, using Gordon's algorithm. Once upon a time,
	282	## products of these kinds of numbers were harder to factor.
	283	pkginclude_HEADERS += strongprime.h
	284	libmath_la_SOURCES += strongprime.c
	285
	286	## A `wheel', used by the prime iteration machinery.
c9cfa678 MW	287	pkginclude_HEADERS += $(precomp)/math/wheel.h
	288	nodist_libmath_la_SOURCES += ../precomp/math/wheel.c
	289	PRECOMPS += $(precomp)/math/wheel.h $(precomp)/math/wheel.c
e5b61a8d	290	PRECOMP_PROGS += genwheel
0f00dc4c	291	genwheel_LDADD = $(mLib_LIBS)
e5b61a8d	292	if !CROSS_COMPILING
c9cfa678 MW	293	$(precomp)/math/wheel.h: $(precomp)/math/wheel.c
	294	$(precomp)/math/wheel.c:
	295	$(AM_V_at)$(MKDIR_P) $(precomp)/math
ba57d652	296	$(AM_V_at)$(MAKE) genwheel$(EXEEXT)
e5b61a8d	297	$(AM_V_GEN)./genwheel -sCATACOMB_WHEEL_H \
c9cfa678	298	-h$(precomp)/math/wheel.h -c$(precomp)/math/wheel.c \
0f00dc4c	299	-n5 -t"unsigned char" -iwheel
e5b61a8d	300	endif
0f00dc4c MW	301
	302	###--------------------------------------------------------------------------
	303	### Binary polynomial arithmetic.
	304
	305	## User-visible binary polynomial arithmetic.
	306	pkginclude_HEADERS += gf.h
	307	libmath_la_SOURCES += gf-arith.c
ba57d652	308	TESTS += gf-arith.t$(EXEEXT)
0f00dc4c MW	309	libmath_la_SOURCES += gf-exp.c gf-exp.h
0f00dc4c MW	310	libmath_la_SOURCES += gf-gcd.c
ba57d652	311	TESTS += gf-gcd.t$(EXEEXT)
0f00dc4c MW	312	EXTRA_DIST += t/gf
	313
	314	## Low-level binary polynomial arithmetic.
	315	pkginclude_HEADERS += gfx.h
	316	libmath_la_SOURCES += gfx.c
ba57d652	317	TESTS += gfx.t$(EXEEXT)
0f00dc4c	318	libmath_la_SOURCES += gfx-kmul.c
ba57d652	319	TESTS += gfx-kmul.t$(EXEEXT)
c9cfa678	320	libmath_la_SOURCES += gfx-sqr.c
ba57d652	321	TESTS += gfx-sqr.t$(EXEEXT)
0f00dc4c MW	322	EXTRA_DIST += t/gfx
	323
	324	## Conversions between normal and polynomial basis representations for binary
	325	## fields.
	326	pkginclude_HEADERS += gfn.h
	327	libmath_la_SOURCES += gfn.c
ba57d652	328	TESTS += gfn.t$(EXEEXT)
0f00dc4c MW	329	EXTRA_DIST += t/gfn
	330
	331	## Efficient reduction modulo sparse polynomials.
	332	pkginclude_HEADERS += gfreduce.h
	333	libmath_la_SOURCES += gfreduce.c gfreduce-exp.h
ba57d652	334	TESTS += gfreduce.t$(EXEEXT)
0f00dc4c MW	335	EXTRA_DIST += t/gfreduce
	336
	337	###--------------------------------------------------------------------------
	338	### Abstractions for various kinds of algebraic objects.
	339
	340	## Abstract cyclic groups.
	341	pkginclude_HEADERS += group.h group-guts.h
	342	libmath_la_SOURCES += group-dstr.c
	343	libmath_la_SOURCES += group-exp.c group-exp.h
	344	libmath_la_SOURCES += group-file.c
	345	libmath_la_SOURCES += group-parse.c
	346	libmath_la_SOURCES += group-stdops.c
	347	libmath_la_SOURCES += group-string.c
	348	libmath_la_SOURCES += g-bin.c
	349	libmath_la_SOURCES += g-prime.c
	350	libmath_la_SOURCES += g-ec.c
	351	EXTRA_DIST += group-test.c
ba57d652	352	TESTS += group-test.t$(EXEEXT)
0f00dc4c MW	353	EXTRA_DIST += t/group
	354
	355	## Abstract finite fields.
	356	pkginclude_HEADERS += field.h field-guts.h
	357	libmath_la_SOURCES += field.c
	358	libmath_la_SOURCES += field-exp.c field-exp.h
	359	libmath_la_SOURCES += field-parse.c
	360	libmath_la_SOURCES += f-binpoly.c
	361	libmath_la_SOURCES += f-niceprime.c
	362	libmath_la_SOURCES += f-prime.c
	363
	364	## Table of built-in binary fields.
	365	pkginclude_HEADERS += bintab.h
1c3d4cf5	366	nodist_libmath_la_SOURCES += bintab.c
0f00dc4c	367	CLEANFILES += bintab.c
1c3d4cf5 MW	368	EXTRA_DIST += bintab.in
	369	bintab.c: $(mpgen) typeinfo.py bintab.in
	370	$(MPGEN) bintab $(srcdir)/bintab.in >bintab.c.new && \
	371	mv bintab.c.new bintab.c
0f00dc4c MW	372
	373	## Table of built-in prime fields.
	374	pkginclude_HEADERS += ptab.h
1c3d4cf5	375	nodist_libmath_la_SOURCES += ptab.c
0f00dc4c	376	CLEANFILES += ptab.c
1c3d4cf5 MW	377	EXTRA_DIST += ptab.in
	378	ptab.c: $(mpgen) typeinfo.py ptab.in
	379	$(MPGEN) ptab $(srcdir)/ptab.in >ptab.c.new && \
	380	mv ptab.c.new ptab.c
0f00dc4c MW	381
	382	###--------------------------------------------------------------------------
	383	### Elliptic curve arithmetic.
	384
	385	## Basic elliptic curve arithmetic.
	386	pkginclude_HEADERS += ec.h ec-guts.h
	387	libmath_la_SOURCES += ec.c
	388	libmath_la_SOURCES += ec-exp.c ec-exp.h
	389	libmath_la_SOURCES += ec-info.c
ba57d652	390	TESTS += ec-info.t$(EXEEXT)
0f00dc4c	391	libmath_la_SOURCES += ec-bin.c
ba57d652	392	TESTS += ec-bin.t$(EXEEXT)
0f00dc4c	393	libmath_la_SOURCES += ec-prime.c
ba57d652	394	TESTS += ec-prime.t$(EXEEXT)
0f00dc4c MW	395	EXTRA_DIST += t/ec
	396
	397	## The standard `raw' encoding (`EC2OSP') of elliptic curve points.
	398	pkginclude_HEADERS += ec-raw.h
	399	libmath_la_SOURCES += ec-raw.c
	400
	401	## Assistance for elliptic-curve keys.
	402	pkginclude_HEADERS += ec-keys.h
	403	libmath_la_SOURCES += ec-fetch.c
	404
	405	## Test infrastructure for elliptic curves.
	406	pkginclude_HEADERS += ec-test.h
	407	libmath_la_SOURCES += ec-test.c
ba57d652	408	TESTS += ec-test.t$(EXEEXT)
0f00dc4c	409
1c3d4cf5	410	## Table of built-in elliptic-curve groups.
0f00dc4c	411	pkginclude_HEADERS += ectab.h
1c3d4cf5	412	nodist_libmath_la_SOURCES += ectab.c
0f00dc4c	413	CLEANFILES += ectab.c
1c3d4cf5 MW	414	EXTRA_DIST += ectab.in
	415	ectab.c: $(mpgen) typeinfo.py ectab.in
	416	$(MPGEN) ectab $(srcdir)/ectab.in >ectab.c.new && \
	417	mv ectab.c.new ectab.c
0f00dc4c	418
ee39a683 MW	419	###--------------------------------------------------------------------------
	420	### Other strange things.
	421
	422	pkginclude_HEADERS += qfarith.h
	423
	424	pkginclude_HEADERS += f25519.h
	425	libmath_la_SOURCES += f25519.c
	426	TESTS += f25519.t$(EXEEXT)
	427	TESTS += f25519-p10.t$(EXEEXT)
	428	EXTRA_DIST += t/f25519
	429
	430	check_PROGRAMS += f25519-p10.t
	431	f25519_p10_t_SOURCES = f25519.c
	432	f25519_p10_t_CPPFLAGS = $(AM_CPPFLAGS) -DTEST_RIG -DSRCDIR="\"$(srcdir)\""
	433	f25519_p10_t_CPPFLAGS += -DF25519_IMPL=10
6a024d24	434	f25519_p10_t_LDFLAGS = $(TEST_LDFLAGS)
ee39a683 MW	435	f25519_p10_t_LDADD = $(TEST_LIBS) $(top_builddir)/libcatacomb.la
	436	f25519_p10_t_LDADD += $(mLib_LIBS) $(CATACOMB_LIBS) $(LIBS)
	437
266efb73 MW	438	pkginclude_HEADERS += fgoldi.h
	439	libmath_la_SOURCES += fgoldi.c
	440	TESTS += fgoldi.t$(EXEEXT)
	441	TESTS += fgoldi-p12.t$(EXEEXT)
	442	EXTRA_DIST += t/fgoldi
	443
	444	check_PROGRAMS += fgoldi-p12.t
	445	fgoldi_p12_t_SOURCES = fgoldi.c
	446	fgoldi_p12_t_CPPFLAGS = $(AM_CPPFLAGS) -DTEST_RIG -DSRCDIR="\"$(srcdir)\""
	447	fgoldi_p12_t_CPPFLAGS += -DFGOLDI_IMPL=12
6a024d24	448	fgoldi_p12_t_LDFLAGS = $(TEST_LDFLAGS)
266efb73 MW	449	fgoldi_p12_t_LDADD = $(TEST_LIBS) $(top_builddir)/libcatacomb.la
	450	fgoldi_p12_t_LDADD += $(mLib_LIBS) $(CATACOMB_LIBS) $(LIBS)
	451
d56fd9d1 MW	452	pkginclude_HEADERS += scaf.h
	453	libmath_la_SOURCES += scaf.c
	454
fc2d44af	455	pkginclude_HEADERS += montladder.h
581ac808	456	pkginclude_HEADERS += scmul.h
fc2d44af	457
0f00dc4c	458	###----- That's all, folks --------------------------------------------------