-
-
Save fogti/be2b57e38a2d0180b4bec9936bfa60f4 to your computer and use it in GitHub Desktop.
OCaml hacl-star-raw build failure (ld fPIC relocation error)
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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