libcrux 0.0.2-pre.2

The Formally Verified Cryptography Library
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

use std::env;

fn main() {
    let target_arch = env::var("CARGO_CFG_TARGET_ARCH").unwrap();

    if libcrux_platform::simd128_support() && target_arch == "x86_64" {
        println!("cargo:rustc-cfg=simd128");
    }
    if libcrux_platform::simd256_support() && target_arch == "x86_64" {
        println!("cargo:rustc-cfg=simd256");
    }
    if libcrux_platform::bmi2_adx_support() {
        println!("cargo:rustc-cfg=bmi2");
        println!("cargo:rustc-cfg=adx");
    }
    if libcrux_platform::aes_ni_support() && target_arch == "x86_64" {
        println!("cargo:rustc-cfg=aes_ni");
    }
}