Revision 773e148c25d538ffb496a2f34648359863627a13 authored by Jay Bosamiya on 06 June 2019, 22:50:05 UTC, committed by Jay Bosamiya on 06 June 2019, 22:50:05 UTC
1 parent 61edaee
compilation.txt
# Make sure PATH is sufficient to run OCaml compiler before using --FSTAR-EXTRACT
scons --FSTAR-EXTRACT obj/aesgcm-x86_64-msvc.asm obj/aesgcm-x86_64-mingw.S obj/aesgcm-x86_64-linux.S obj/aesgcm-x86_64-darwin.S
scons --FSTAR-EXTRACT obj/cpuid-x86_64-msvc.asm obj/cpuid-x86_64-mingw.S obj/cpuid-x86_64-linux.S obj/cpuid-x86_64-darwin.S
scons --FSTAR-EXTRACT obj/sha256-x86_64-msvc.asm obj/sha256-x86_64-mingw.S obj/sha256-x86_64-linux.S obj/sha256-x86_64-darwin.S
scons --FSTAR-EXTRACT obj/curve25519-x86_64-msvc.asm obj/curve25519-x86_64-mingw.S obj/curve25519-x86_64-linux.S obj/curve25519-x86_64-darwin.S
# On Windows, PLATFORM must be set to X64 to generate TestAesGcm.exe
scons --FSTAR-EXTRACT obj/TestAesGcm.exe
scons --FSTAR-EXTRACT obj/TestSha.exe
scons --FSTAR-EXTRACT obj/TestEcc.exe
Computing file changes ...
