eucrypt_ch12_wrap... 1
eucrypt_ch12_wrap... 2
eucrypt_ch12_wrap... 3 aggregate library project EuCrypt is
eucrypt_ch12_wrap... 4 for Project_Files use (
eucrypt_ch12_wrap... 5 "mpi/mpi.gpr",
eucrypt_ch12_wrap... 6 "smg_bit_keccak/smg_bit_keccak.gpr",
eucrypt_ch12_wrap... 7 "smg_keccak/smg_keccak.gpr",
eucrypt_ch12_wrap... 8 "smg_rsa/smg_rsa.gpr",
eucrypt_ch12_wrap... 9 "smg_serpent/smg_serpent.gpr");
eucrypt_ch12_wrap... 10
eucrypt_ch12_wrap... 11 for Library_Name use "EuCrypt";
eucrypt_ch12_wrap... 12 for Library_Kind use "static";
eucrypt_ch12_wrap... 13
eucrypt_ch12_wrap... 14 for Library_Dir use "lib";
eucrypt_ch12_wrap... 15 end EuCrypt;
eucrypt_ch12_wrap... 16