diff options
Diffstat (limited to 'lib/mpi/Makefile')
| -rw-r--r-- | lib/mpi/Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lib/mpi/Makefile b/lib/mpi/Makefile index 45ca90a8639..567d52e74d7 100644 --- a/lib/mpi/Makefile +++ b/lib/mpi/Makefile @@ -19,3 +19,14 @@ mpi-y = \ mpih-mul.o \ mpi-pow.o \ mpiutil.o + +mpi-$(CONFIG_MPILIB_EXTRA) += \ + mpi-add.o \ + mpi-div.o \ + mpi-cmp.o \ + mpi-gcd.o \ + mpi-inline.o \ + mpi-inv.o \ + mpi-mpow.o \ + mpi-mul.o \ + mpi-scan.o |