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_crc32_div... 9 "smg_serpent/smg_serpent.gpr",
eucrypt_crc32_div... 10 "crc32/crc32.gpr");
eucrypt_ch12_wrap... 11
eucrypt_ch12_wrap... 12 for Library_Name use "EuCrypt";
eucrypt_ch12_wrap... 13 for Library_Kind use "static";
eucrypt_ch12_wrap... 14
eucrypt_ch12_wrap... 15 for Library_Dir use "lib";
eucrypt_ch12_wrap... 16 end EuCrypt;
eucrypt_ch12_wrap... 17