Skip to content

Instantly share code, notes, and snippets.

@fogti
Created July 28, 2023 11:15
Show Gist options
  • Save fogti/be2b57e38a2d0180b4bec9936bfa60f4 to your computer and use it in GitHub Desktop.
Save fogti/be2b57e38a2d0180b4bec9936bfa60f4 to your computer and use it in GitHub Desktop.
OCaml hacl-star-raw build failure (ld fPIC relocation error)
gmake: Verzeichnis „/usr/home/fogti/.opam/default/.opam-switch/build/hacl-star-raw.0.7.1/hacl-star-raw“ wird betreten
ocamlfind dep -I lib -slash lib/EverCrypt_AEAD_bindings.ml lib/EverCrypt_AutoConfig2_bindings.ml lib/EverCrypt_Chacha20Poly1305_bindings.ml lib/EverCrypt_Cipher_bindings.ml lib/EverCrypt_Curve25519_bindings.ml lib/EverCrypt_DRBG_bindings.ml lib/EverCrypt_Ed25519_bindings.ml lib/EverCrypt_Error_bindings.ml lib/EverCrypt_Hash_bindings.ml lib/EverCrypt_HKDF_bindings.ml lib/EverCrypt_HMAC_bindings.ml lib/EverCrypt_Poly1305_bindings.ml lib/Hacl_Bignum_Base_bindings.ml lib/Hacl_Bignum_bindings.ml lib/Hacl_Bignum_K256_bindings.ml lib/Hacl_Bignum25519_51_bindings.ml lib/Hacl_Bignum256_32_bindings.ml lib/Hacl_Bignum256_bindings.ml lib/Hacl_Bignum32_bindings.ml lib/Hacl_Bignum4096_32_bindings.ml lib/Hacl_Bignum4096_bindings.ml lib/Hacl_Bignum64_bindings.ml lib/Hacl_Chacha20_bindings.ml lib/Hacl_Chacha20_Vec128_bindings.ml lib/Hacl_Chacha20_Vec256_bindings.ml lib/Hacl_Chacha20_Vec32_bindings.ml lib/Hacl_Chacha20Poly1305_128_bindings.ml lib/Hacl_Chacha20Poly1305_256_bindings.ml lib/Hacl_Chacha20Poly1305_32_bindings.ml lib/Hacl_Curve25519_51_bindings.ml lib/Hacl_Curve25519_64_bindings.ml lib/Hacl_EC_Ed25519_bindings.ml lib/Hacl_EC_K256_bindings.ml lib/Hacl_Ed25519_bindings.ml lib/Hacl_FFDHE_bindings.ml lib/Hacl_Frodo_KEM_bindings.ml lib/Hacl_Frodo1344_bindings.ml lib/Hacl_Frodo64_bindings.ml lib/Hacl_Frodo640_bindings.ml lib/Hacl_Frodo976_bindings.ml lib/Hacl_GenericField32_bindings.ml lib/Hacl_GenericField64_bindings.ml lib/Hacl_Hash_Base_bindings.ml lib/Hacl_Hash_Blake2_bindings.ml lib/Hacl_Hash_Blake2b_256_bindings.ml lib/Hacl_Hash_Blake2s_128_bindings.ml lib/Hacl_Hash_MD5_bindings.ml lib/Hacl_Hash_SHA1_bindings.ml lib/Hacl_Hash_SHA2_bindings.ml lib/Hacl_Hash_SHA3_bindings.ml lib/Hacl_HKDF_bindings.ml lib/Hacl_HKDF_Blake2b_256_bindings.ml lib/Hacl_HKDF_Blake2s_128_bindings.ml lib/Hacl_HMAC_bindings.ml lib/Hacl_HMAC_Blake2b_256_bindings.ml lib/Hacl_HMAC_Blake2s_128_bindings.ml lib/Hacl_HMAC_DRBG_bindings.ml lib/Hacl_HPKE_Curve51_CP128_SHA256_bindings.ml lib/Hacl_HPKE_Curve51_CP128_SHA512_bindings.ml lib/Hacl_HPKE_Curve51_CP256_SHA256_bindings.ml lib/Hacl_HPKE_Curve51_CP256_SHA512_bindings.ml lib/Hacl_HPKE_Curve51_CP32_SHA256_bindings.ml lib/Hacl_HPKE_Curve51_CP32_SHA512_bindings.ml lib/Hacl_HPKE_Curve64_CP128_SHA256_bindings.ml lib/Hacl_HPKE_Curve64_CP128_SHA512_bindings.ml lib/Hacl_HPKE_Curve64_CP256_SHA256_bindings.ml lib/Hacl_HPKE_Curve64_CP256_SHA512_bindings.ml lib/Hacl_HPKE_Curve64_CP32_SHA256_bindings.ml lib/Hacl_HPKE_Curve64_CP32_SHA512_bindings.ml lib/Hacl_HPKE_Interface_Hacl_Impl_HPKE_Hacl_Meta_HPKE_bindings.ml lib/Hacl_HPKE_P256_CP128_SHA256_bindings.ml lib/Hacl_HPKE_P256_CP256_SHA256_bindings.ml lib/Hacl_HPKE_P256_CP32_SHA256_bindings.ml lib/Hacl_IntTypes_Intrinsics_128_bindings.ml lib/Hacl_IntTypes_Intrinsics_bindings.ml lib/Hacl_K256_ECDSA_bindings.ml lib/Hacl_NaCl_bindings.ml lib/Hacl_P256_bindings.ml lib/Hacl_Poly1305_128_bindings.ml lib/Hacl_Poly1305_256_bindings.ml lib/Hacl_Poly1305_32_bindings.ml lib/Hacl_RSAPSS_bindings.ml lib/Hacl_Salsa20_bindings.ml lib/Hacl_SHA2_Types_bindings.ml lib/Hacl_SHA2_Vec128_bindings.ml lib/Hacl_SHA2_Vec256_bindings.ml lib/Hacl_Spec_bindings.ml lib/Hacl_Streaming_Blake2_bindings.ml lib/Hacl_Streaming_Poly1305_32_bindings.ml lib/Hacl_Streaming_Types_bindings.ml lib/Lib_RandomBuffer_System_bindings.ml lib_gen/EverCrypt_AEAD_gen.ml lib_gen/EverCrypt_AutoConfig2_gen.ml lib_gen/EverCrypt_Chacha20Poly1305_gen.ml lib_gen/EverCrypt_Cipher_gen.ml lib_gen/EverCrypt_Curve25519_gen.ml lib_gen/EverCrypt_DRBG_gen.ml lib_gen/EverCrypt_Ed25519_gen.ml lib_gen/EverCrypt_Error_gen.ml lib_gen/EverCrypt_Hash_gen.ml lib_gen/EverCrypt_HKDF_gen.ml lib_gen/EverCrypt_HMAC_gen.ml lib_gen/EverCrypt_Poly1305_gen.ml lib_gen/Hacl_Bignum_Base_gen.ml lib_gen/Hacl_Bignum_gen.ml lib_gen/Hacl_Bignum_K256_gen.ml lib_gen/Hacl_Bignum25519_51_gen.ml lib_gen/Hacl_Bignum256_32_gen.ml lib_gen/Hacl_Bignum256_gen.ml lib_gen/Hacl_Bignum32_gen.ml lib_gen/Hacl_Bignum4096_32_gen.ml lib_gen/Hacl_Bignum4096_gen.ml lib_gen/Hacl_Bignum64_gen.ml lib_gen/Hacl_Chacha20_gen.ml lib_gen/Hacl_Chacha20_Vec128_gen.ml lib_gen/Hacl_Chacha20_Vec256_gen.ml lib_gen/Hacl_Chacha20_Vec32_gen.ml lib_gen/Hacl_Chacha20Poly1305_128_gen.ml lib_gen/Hacl_Chacha20Poly1305_256_gen.ml lib_gen/Hacl_Chacha20Poly1305_32_gen.ml lib_gen/Hacl_Curve25519_51_gen.ml lib_gen/Hacl_Curve25519_64_gen.ml lib_gen/Hacl_EC_Ed25519_gen.ml lib_gen/Hacl_EC_K256_gen.ml lib_gen/Hacl_Ed25519_gen.ml lib_gen/Hacl_FFDHE_gen.ml lib_gen/Hacl_Frodo_KEM_gen.ml lib_gen/Hacl_Frodo1344_gen.ml lib_gen/Hacl_Frodo64_gen.ml lib_gen/Hacl_Frodo640_gen.ml lib_gen/Hacl_Frodo976_gen.ml lib_gen/Hacl_GenericField32_gen.ml lib_gen/Hacl_GenericField64_gen.ml lib_gen/Hacl_Hash_Base_gen.ml lib_gen/Hacl_Hash_Blake2_gen.ml lib_gen/Hacl_Hash_Blake2b_256_gen.ml lib_gen/Hacl_Hash_Blake2s_128_gen.ml lib_gen/Hacl_Hash_MD5_gen.ml lib_gen/Hacl_Hash_SHA1_gen.ml lib_gen/Hacl_Hash_SHA2_gen.ml lib_gen/Hacl_Hash_SHA3_gen.ml lib_gen/Hacl_HKDF_Blake2b_256_gen.ml lib_gen/Hacl_HKDF_Blake2s_128_gen.ml lib_gen/Hacl_HKDF_gen.ml lib_gen/Hacl_HMAC_Blake2b_256_gen.ml lib_gen/Hacl_HMAC_Blake2s_128_gen.ml lib_gen/Hacl_HMAC_DRBG_gen.ml lib_gen/Hacl_HMAC_gen.ml lib_gen/Hacl_HPKE_Curve51_CP128_SHA256_gen.ml lib_gen/Hacl_HPKE_Curve51_CP128_SHA512_gen.ml lib_gen/Hacl_HPKE_Curve51_CP256_SHA256_gen.ml lib_gen/Hacl_HPKE_Curve51_CP256_SHA512_gen.ml lib_gen/Hacl_HPKE_Curve51_CP32_SHA256_gen.ml lib_gen/Hacl_HPKE_Curve51_CP32_SHA512_gen.ml lib_gen/Hacl_HPKE_Curve64_CP128_SHA256_gen.ml lib_gen/Hacl_HPKE_Curve64_CP128_SHA512_gen.ml lib_gen/Hacl_HPKE_Curve64_CP256_SHA256_gen.ml lib_gen/Hacl_HPKE_Curve64_CP256_SHA512_gen.ml lib_gen/Hacl_HPKE_Curve64_CP32_SHA256_gen.ml lib_gen/Hacl_HPKE_Curve64_CP32_SHA512_gen.ml lib_gen/Hacl_HPKE_Interface_Hacl_Impl_HPKE_Hacl_Meta_HPKE_gen.ml lib_gen/Hacl_HPKE_P256_CP128_SHA256_gen.ml lib_gen/Hacl_HPKE_P256_CP256_SHA256_gen.ml lib_gen/Hacl_HPKE_P256_CP32_SHA256_gen.ml lib_gen/Hacl_IntTypes_Intrinsics_128_gen.ml lib_gen/Hacl_IntTypes_Intrinsics_gen.ml lib_gen/Hacl_K256_ECDSA_gen.ml lib_gen/Hacl_NaCl_gen.ml lib_gen/Hacl_P256_gen.ml lib_gen/Hacl_Poly1305_128_gen.ml lib_gen/Hacl_Poly1305_256_gen.ml lib_gen/Hacl_Poly1305_32_gen.ml lib_gen/Hacl_RSAPSS_gen.ml lib_gen/Hacl_Salsa20_gen.ml lib_gen/Hacl_SHA2_Types_gen.ml lib_gen/Hacl_SHA2_Vec128_gen.ml lib_gen/Hacl_SHA2_Vec256_gen.ml lib_gen/Hacl_Spec_gen.ml lib_gen/Hacl_Streaming_Blake2_gen.ml lib_gen/Hacl_Streaming_Poly1305_32_gen.ml lib_gen/Hacl_Streaming_Types_gen.ml lib_gen/Lib_RandomBuffer_System_gen.ml > .depend.ocaml
cd build && cmake -G"Unix Makefiles" -DCMAKE_BUILD_TYPE=Release ../
-- The C compiler identification is Clang 14.0.5
-- The CXX compiler identification is Clang 14.0.5
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /usr/bin/cc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- The ASM compiler identification is Clang with GNU-like command-line
-- Found assembler: /usr/bin/cc
-- Bug 81300 check: FALSE
-- int128 support: TRUE
-- explicit_bzero support: TRUE
-- vec128 support: TRUE
-- vec256 support: TRUE
-- Detected vale support
-- Detected intrinsics support
-- Detected an x64 architecture
-- Configuring done (3.0s)
-- Generating done (0.1s)
-- Build files have been written to: /usr/home/fogti/.opam/default/.opam-switch/build/hacl-star-raw.0.7.1/hacl-star-raw/build
/usr/local/bin/gmake -C build
gmake[1]: Verzeichnis „/usr/home/fogti/.opam/default/.opam-switch/build/hacl-star-raw.0.7.1/hacl-star-raw/build“ wird betreten
gmake[2]: Verzeichnis „/usr/home/fogti/.opam/default/.opam-switch/build/hacl-star-raw.0.7.1/hacl-star-raw/build“ wird betreten
gmake[3]: Verzeichnis „/usr/home/fogti/.opam/default/.opam-switch/build/hacl-star-raw.0.7.1/hacl-star-raw/build“ wird betreten
gmake[3]: Verzeichnis „/usr/home/fogti/.opam/default/.opam-switch/build/hacl-star-raw.0.7.1/hacl-star-raw/build“ wird verlassen
gmake[3]: Verzeichnis „/usr/home/fogti/.opam/default/.opam-switch/build/hacl-star-raw.0.7.1/hacl-star-raw/build“ wird betreten
[ 1%] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Hash_Blake2s_128.c.o
[ 2%] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Streaming_Blake2s_128.c.o
[ 2%] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Bignum4096.c.o
[ 3%] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Bignum64.c.o
[ 4%] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_GenericField64.c.o
[ 4%] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Chacha20Poly1305_128.c.o
[ 5%] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Poly1305_128.c.o
[ 5%] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Chacha20_Vec128.c.o
[ 6%] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Streaming_Poly1305_128.c.o
[ 7%] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_SHA2_Vec128.c.o
[ 7%] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HKDF_Blake2s_128.c.o
[ 8%] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HMAC_Blake2s_128.c.o
[ 9%] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HPKE_Curve51_CP128_SHA256.c.o
[ 9%] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HPKE_Curve51_CP128_SHA512.c.o
[ 10%] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HPKE_P256_CP128_SHA256.c.o
[ 11%] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HPKE_Curve64_CP128_SHA256.c.o
[ 11%] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HPKE_Curve64_CP128_SHA512.c.o
gmake[3]: Verzeichnis „/usr/home/fogti/.opam/default/.opam-switch/build/hacl-star-raw.0.7.1/hacl-star-raw/build“ wird verlassen
[ 11%] Built target hacl_vec128
gmake[3]: Verzeichnis „/usr/home/fogti/.opam/default/.opam-switch/build/hacl-star-raw.0.7.1/hacl-star-raw/build“ wird betreten
gmake[3]: Verzeichnis „/usr/home/fogti/.opam/default/.opam-switch/build/hacl-star-raw.0.7.1/hacl-star-raw/build“ wird verlassen
gmake[3]: Verzeichnis „/usr/home/fogti/.opam/default/.opam-switch/build/hacl-star-raw.0.7.1/hacl-star-raw/build“ wird betreten
[ 12%] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Hash_Blake2b_256.c.o
[ 13%] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Streaming_Blake2b_256.c.o
[ 13%] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Chacha20Poly1305_256.c.o
[ 14%] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Poly1305_256.c.o
[ 15%] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Chacha20_Vec256.c.o
[ 15%] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Streaming_Poly1305_256.c.o
[ 16%] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_SHA2_Vec256.c.o
[ 17%] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HKDF_Blake2b_256.c.o
[ 17%] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HMAC_Blake2b_256.c.o
[ 18%] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HPKE_Curve51_CP256_SHA256.c.o
[ 19%] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HPKE_Curve51_CP256_SHA512.c.o
[ 19%] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HPKE_P256_CP256_SHA256.c.o
[ 20%] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HPKE_Curve64_CP256_SHA256.c.o
[ 21%] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HPKE_Curve64_CP256_SHA512.c.o
gmake[3]: Verzeichnis „/usr/home/fogti/.opam/default/.opam-switch/build/hacl-star-raw.0.7.1/hacl-star-raw/build“ wird verlassen
[ 21%] Built target hacl_vec256
gmake[3]: Verzeichnis „/usr/home/fogti/.opam/default/.opam-switch/build/hacl-star-raw.0.7.1/hacl-star-raw/build“ wird betreten
gmake[3]: Verzeichnis „/usr/home/fogti/.opam/default/.opam-switch/build/hacl-star-raw.0.7.1/hacl-star-raw/build“ wird verlassen
gmake[3]: Verzeichnis „/usr/home/fogti/.opam/default/.opam-switch/build/hacl-star-raw.0.7.1/hacl-star-raw/build“ wird betreten
[ 21%] Building C object CMakeFiles/hacl.dir/src/Hacl_NaCl.c.o
[ 22%] Building C object CMakeFiles/hacl.dir/src/Hacl_Salsa20.c.o
[ 22%] Building C object CMakeFiles/hacl.dir/src/Hacl_Poly1305_32.c.o
[ 23%] Building C object CMakeFiles/hacl.dir/src/Hacl_Curve25519_51.c.o
[ 24%] Building C object CMakeFiles/hacl.dir/src/Hacl_HMAC_DRBG.c.o
[ 24%] Building C object CMakeFiles/hacl.dir/src/Hacl_HMAC.c.o
[ 25%] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_SHA2.c.o
[ 26%] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_Blake2.c.o
[ 26%] Building C object CMakeFiles/hacl.dir/src/Lib_Memzero0.c.o
[ 27%] Building C object CMakeFiles/hacl.dir/src/Hacl_Ed25519.c.o
[ 28%] Building C object CMakeFiles/hacl.dir/src/Hacl_EC_Ed25519.c.o
[ 28%] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_Base.c.o
[ 29%] Building C object CMakeFiles/hacl.dir/src/Hacl_Streaming_Blake2.c.o
[ 30%] Building C object CMakeFiles/hacl.dir/src/Hacl_Bignum256_32.c.o
[ 30%] Building C object CMakeFiles/hacl.dir/src/Hacl_Bignum.c.o
[ 31%] Building C object CMakeFiles/hacl.dir/src/Hacl_Bignum256.c.o
[ 32%] Building C object CMakeFiles/hacl.dir/src/Hacl_Bignum32.c.o
[ 32%] Building C object CMakeFiles/hacl.dir/src/Hacl_Bignum4096_32.c.o
[ 33%] Building C object CMakeFiles/hacl.dir/src/Hacl_GenericField32.c.o
[ 34%] Building C object CMakeFiles/hacl.dir/src/Hacl_Chacha20Poly1305_32.c.o
[ 34%] Building C object CMakeFiles/hacl.dir/src/Hacl_Chacha20.c.o
[ 35%] Building C object CMakeFiles/hacl.dir/src/Hacl_Streaming_Poly1305_32.c.o
[ 36%] Building C object CMakeFiles/hacl.dir/src/Hacl_Chacha20_Vec32.c.o
[ 36%] Building C object CMakeFiles/hacl.dir/src/Hacl_P256.c.o
[ 37%] Building C object CMakeFiles/hacl.dir/src/Hacl_K256_ECDSA.c.o
[ 37%] Building C object CMakeFiles/hacl.dir/src/Hacl_EC_K256.c.o
[ 38%] Building C object CMakeFiles/hacl.dir/src/Hacl_FFDHE.c.o
[ 39%] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_SHA3.c.o
[ 39%] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_SHA1.c.o
[ 40%] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_MD5.c.o
[ 41%] Building C object CMakeFiles/hacl.dir/src/Hacl_HKDF.c.o
[ 41%] Building C object CMakeFiles/hacl.dir/src/Hacl_RSAPSS.c.o
[ 42%] Building C object CMakeFiles/hacl.dir/src/Hacl_HPKE_Curve51_CP32_SHA256.c.o
[ 43%] Building C object CMakeFiles/hacl.dir/src/Hacl_HPKE_Curve51_CP32_SHA512.c.o
[ 43%] Building C object CMakeFiles/hacl.dir/src/Hacl_HPKE_P256_CP32_SHA256.c.o
[ 44%] Building C object CMakeFiles/hacl.dir/src/Hacl_Frodo1344.c.o
[ 45%] Building C object CMakeFiles/hacl.dir/src/Hacl_Frodo_KEM.c.o
[ 45%] Building C object CMakeFiles/hacl.dir/src/Lib_RandomBuffer_System.c.o
[ 46%] Building C object CMakeFiles/hacl.dir/src/Hacl_Frodo640.c.o
[ 47%] Building C object CMakeFiles/hacl.dir/src/Hacl_Frodo976.c.o
[ 47%] Building C object CMakeFiles/hacl.dir/src/Hacl_Frodo64.c.o
[ 48%] Building C object CMakeFiles/hacl.dir/src/EverCrypt_DRBG.c.o
[ 49%] Building C object CMakeFiles/hacl.dir/src/EverCrypt_HMAC.c.o
[ 49%] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Hash.c.o
[ 50%] Building C object CMakeFiles/hacl.dir/src/EverCrypt_AutoConfig2.c.o
[ 51%] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Ed25519.c.o
[ 51%] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Curve25519.c.o
[ 52%] Building C object CMakeFiles/hacl.dir/src/EverCrypt_HKDF.c.o
[ 53%] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Cipher.c.o
[ 53%] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Chacha20Poly1305.c.o
[ 54%] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Poly1305.c.o
[ 54%] Building C object CMakeFiles/hacl.dir/src/EverCrypt_AEAD.c.o
[ 55%] Building C object CMakeFiles/hacl.dir/src/Hacl_Curve25519_64.c.o
[ 56%] Building C object CMakeFiles/hacl.dir/src/Hacl_HPKE_Curve64_CP32_SHA256.c.o
[ 56%] Building C object CMakeFiles/hacl.dir/src/Hacl_HPKE_Curve64_CP32_SHA512.c.o
[ 57%] Building ASM object CMakeFiles/hacl.dir/vale/src/cpuid-x86_64-linux.S.o
[ 58%] Building ASM object CMakeFiles/hacl.dir/vale/src/sha256-x86_64-linux.S.o
[ 58%] Building ASM object CMakeFiles/hacl.dir/vale/src/aesgcm-x86_64-linux.S.o
[ 59%] Building ASM object CMakeFiles/hacl.dir/vale/src/curve25519-x86_64-linux.S.o
[ 60%] Building ASM object CMakeFiles/hacl.dir/vale/src/poly1305-x86_64-linux.S.o
[ 60%] Linking C shared library libhacl.so
ld: error: relocation R_X86_64_PC32 cannot be used against symbol 'Hacl_Impl_Chacha20_Vec_chacha20_constants'; recompile with -fPIC
>>> defined in CMakeFiles/hacl.dir/src/Hacl_Chacha20.c.o
>>> referenced by Hacl_Chacha20_Vec128.c
>>> CMakeFiles/hacl_vec128.dir/src/Hacl_Chacha20_Vec128.c.o:(Hacl_Chacha20_Vec128_chacha20_encrypt_128)
ld: error: relocation R_X86_64_PC32 cannot be used against symbol 'Hacl_Impl_Chacha20_Vec_chacha20_constants'; recompile with -fPIC
>>> defined in CMakeFiles/hacl.dir/src/Hacl_Chacha20.c.o
>>> referenced by Hacl_Chacha20_Vec128.c
>>> CMakeFiles/hacl_vec128.dir/src/Hacl_Chacha20_Vec128.c.o:(Hacl_Chacha20_Vec128_chacha20_decrypt_128)
ld: error: relocation R_X86_64_PC32 cannot be used against symbol 'Hacl_Impl_Chacha20_Vec_chacha20_constants'; recompile with -fPIC
>>> defined in CMakeFiles/hacl.dir/src/Hacl_Chacha20.c.o
>>> referenced by Hacl_Chacha20_Vec256.c
>>> CMakeFiles/hacl_vec256.dir/src/Hacl_Chacha20_Vec256.c.o:(Hacl_Chacha20_Vec256_chacha20_encrypt_256)
ld: error: relocation R_X86_64_PC32 cannot be used against symbol 'Hacl_Impl_Chacha20_Vec_chacha20_constants'; recompile with -fPIC
>>> defined in CMakeFiles/hacl.dir/src/Hacl_Chacha20.c.o
>>> referenced by Hacl_Chacha20_Vec256.c
>>> CMakeFiles/hacl_vec256.dir/src/Hacl_Chacha20_Vec256.c.o:(Hacl_Chacha20_Vec256_chacha20_encrypt_256)
ld: error: relocation R_X86_64_PC32 cannot be used against symbol 'Hacl_Impl_Chacha20_Vec_chacha20_constants'; recompile with -fPIC
>>> defined in CMakeFiles/hacl.dir/src/Hacl_Chacha20.c.o
>>> referenced by Hacl_Chacha20_Vec256.c
>>> CMakeFiles/hacl_vec256.dir/src/Hacl_Chacha20_Vec256.c.o:(Hacl_Chacha20_Vec256_chacha20_encrypt_256)
ld: error: relocation R_X86_64_PC32 cannot be used against symbol 'Hacl_Impl_Chacha20_Vec_chacha20_constants'; recompile with -fPIC
>>> defined in CMakeFiles/hacl.dir/src/Hacl_Chacha20.c.o
>>> referenced by Hacl_Chacha20_Vec256.c
>>> CMakeFiles/hacl_vec256.dir/src/Hacl_Chacha20_Vec256.c.o:(Hacl_Chacha20_Vec256_chacha20_encrypt_256)
ld: error: relocation R_X86_64_PC32 cannot be used against symbol 'Hacl_Impl_Chacha20_Vec_chacha20_constants'; recompile with -fPIC
>>> defined in CMakeFiles/hacl.dir/src/Hacl_Chacha20.c.o
>>> referenced by Hacl_Chacha20_Vec256.c
>>> CMakeFiles/hacl_vec256.dir/src/Hacl_Chacha20_Vec256.c.o:(Hacl_Chacha20_Vec256_chacha20_decrypt_256)
ld: error: relocation R_X86_64_PC32 cannot be used against symbol 'Hacl_Impl_Chacha20_Vec_chacha20_constants'; recompile with -fPIC
>>> defined in CMakeFiles/hacl.dir/src/Hacl_Chacha20.c.o
>>> referenced by Hacl_Chacha20_Vec256.c
>>> CMakeFiles/hacl_vec256.dir/src/Hacl_Chacha20_Vec256.c.o:(Hacl_Chacha20_Vec256_chacha20_decrypt_256)
ld: error: relocation R_X86_64_PC32 cannot be used against symbol 'Hacl_Impl_Chacha20_Vec_chacha20_constants'; recompile with -fPIC
>>> defined in CMakeFiles/hacl.dir/src/Hacl_Chacha20.c.o
>>> referenced by Hacl_Chacha20_Vec256.c
>>> CMakeFiles/hacl_vec256.dir/src/Hacl_Chacha20_Vec256.c.o:(Hacl_Chacha20_Vec256_chacha20_decrypt_256)
ld: error: relocation R_X86_64_PC32 cannot be used against symbol 'Hacl_Impl_Chacha20_Vec_chacha20_constants'; recompile with -fPIC
>>> defined in CMakeFiles/hacl.dir/src/Hacl_Chacha20.c.o
>>> referenced by Hacl_Chacha20_Vec256.c
>>> CMakeFiles/hacl_vec256.dir/src/Hacl_Chacha20_Vec256.c.o:(Hacl_Chacha20_Vec256_chacha20_decrypt_256)
cc: error: linker command failed with exit code 1 (use -v to see invocation)
gmake[3]: *** [CMakeFiles/hacl.dir/build.make:1067: libhacl.so] Fehler 1
gmake[3]: Verzeichnis „/usr/home/fogti/.opam/default/.opam-switch/build/hacl-star-raw.0.7.1/hacl-star-raw/build“ wird verlassen
gmake[2]: *** [CMakeFiles/Makefile2:142: CMakeFiles/hacl.dir/all] Fehler 2
gmake[2]: Verzeichnis „/usr/home/fogti/.opam/default/.opam-switch/build/hacl-star-raw.0.7.1/hacl-star-raw/build“ wird verlassen
gmake[1]: *** [Makefile:136: all] Fehler 2
gmake[1]: Verzeichnis „/usr/home/fogti/.opam/default/.opam-switch/build/hacl-star-raw.0.7.1/hacl-star-raw/build“ wird verlassen
gmake: *** [Makefile:52: build-c] Fehler 2
gmake: Verzeichnis „/usr/home/fogti/.opam/default/.opam-switch/build/hacl-star-raw.0.7.1/hacl-star-raw“ wird verlassen
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment