diff options
Diffstat (limited to 'lib/mpi/Makefile')
| -rw-r--r-- | lib/mpi/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/mpi/Makefile b/lib/mpi/Makefile index d5874a7f5ff9..6e6ef9a34fe1 100644 --- a/lib/mpi/Makefile +++ b/lib/mpi/Makefile @@ -13,9 +13,16 @@ mpi-y = \ generic_mpih-rshift.o \ generic_mpih-sub1.o \ generic_mpih-add1.o \ + ec.o \ mpicoder.o \ + mpi-add.o \ mpi-bit.o \ mpi-cmp.o \ + mpi-sub-ui.o \ + mpi-div.o \ + mpi-inv.o \ + mpi-mod.o \ + mpi-mul.o \ mpih-cmp.o \ mpih-div.o \ mpih-mul.o \ |