From 54078be4098a5809ccff680b4db98ec0d280e121 Mon Sep 17 00:00:00 2001
From: chrysn <chrysn@fsfe.org>
Date: Sun, 8 Nov 2020 06:44:45 +0100
Subject: [PATCH] hacl: Patch to fix building where PRIx64 is absent

Quoting the inner commit:

> Not all RIOT platforms provide a PRIx64 or even 64-bit printing.
>
> As the debug routines that actually use this definition are unlikely to
> be used with RIOT, providing a definition that builds (and, depending on
> platform support, may or may not produce correct output) is a suitable
> fix.
---
 .../0002-RIOT-Provide-PRIx64-if-needed.patch      | Bin 0 -> 895 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 pkg/hacl/patches/0002-RIOT-Provide-PRIx64-if-needed.patch

diff --git a/pkg/hacl/patches/0002-RIOT-Provide-PRIx64-if-needed.patch b/pkg/hacl/patches/0002-RIOT-Provide-PRIx64-if-needed.patch
new file mode 100644
index 0000000000000000000000000000000000000000..81ecad7d1fb3198a1928397e4625b03843fcb6c8
GIT binary patch
literal 895
zcmYjP(Qex?41CvD9MYF|iCx=q+{74$6dQ{5VO`M_*uyXkvPC6Y9odlNGy(SUqtkRP
zVAvMLJCb+2aqSkA<%=v&lDyKgSfqK9Eo7#uVlmaKnx$Dio$2&yKEt=xVnrR&D<nyI
ze2^tcDsGsjM7?nbZ}IWvyVPD&+`9EA@kItIvFhyvbKJE%24xA7qRf*rEig{fBoV8=
z`a^Xn@$>%r@$=VTc)0!kSmNHbJEI8q54ZawhtaS^ij)v{ZGdc=V;;Ij2Hm=?M|T3q
zS4itXJF+P9s4{`?jSa@GV<E0R!iJ!z>ep~>&tV!ul8NikGx-6%Cyp4;S=v|=3~L}A
zp|_2BB2EacsQBnf;n{@Ev7O1O3oZls9(m-hdebP6b7|FtFFUeoNNlZmodUk^y4HmW
zw(<ZTVE9;`mxoh*O{iPvSS)bQT^}yM{YeIyAghLiHv3paQ6%u>Xxo@7-rz5$7>~yS
zDYR*rVI%FDxPd8*_2h=Z{Q3Ao2xYWJ6s=h+dHF_Az5NSg744Bu=kvUfah&OzuF?!_
zW0B`W<@ZRzW$_-pTq4S56E>dT3oMrc0%yk7P0vP;P9=X=(o?({@#Xl;Xs)PFj`I0v
z#{Z=lHO+p+(LqQ(kX?Sj4XYN&2hX}ThZ4_(tyyovaeZDK)xE8ceufroA+OJ~bShF*
zH|#J=Q&BD1SOI)EEy~~(*_u7E_#ypv_2Ls`*O7D{J8}o`D$)c}2Xa`MZPyrm7?L?=
O6{`c0#n~dxg!l)Y<{Mc6

literal 0
HcmV?d00001