path: root/src/bigint/mp_amd64/info.txt

realname "MPI Core (x86-64)"

mp_bits 64

load_on request

<add>
mp_asm.h
mp_asmi.h
</add>

<arch>
amd64
</arch>

<cc>
gcc
icc
</cc>