mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
4c9a3c0434
The https://github.com/mitls/hacl-c repo was deleted. Getting the new upstream (https://github.com/project-everest/hacl-star) to work nicely as a package requires some non-trivial work and in the meantime all CI jobs will fail. As a short-term solution, switch the upstream to a backup version of the original repository.
14 lines
398 B
Makefile
14 lines
398 B
Makefile
PKG_NAME=hacl
|
|
# TODO: switch to https://github.com/project-everest/hacl-star
|
|
# backup of last state before upstream was deleted
|
|
PKG_URL=https://github.com/benpicco/hacl-c_archived
|
|
PKG_VERSION=aac05f5094fc92569169d5a2af54c12387160634
|
|
PKG_LICENSE=MIT
|
|
|
|
include $(RIOTBASE)/pkg/pkg.mk
|
|
|
|
CFLAGS += -DKRML_NOUINT128 -Wno-unused-parameter
|
|
|
|
all:
|
|
"$(MAKE)" -C $(PKG_SOURCE_DIR) -f $(RIOTBASE)/Makefile.base
|