RIOT/pkg/hacl/Makefile

PKG_NAME=hacl
PKG_URL=https://github.com/mitls/hacl-c
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
Initial HACL* package and tests 2018-04-14 13:43:27 +02:00			`PKG_NAME=hacl`
			`PKG_URL=https://github.com/mitls/hacl-c`
			`PKG_VERSION=aac05f5094fc92569169d5a2af54c12387160634`
			`PKG_LICENSE=MIT`

pkg/*: adapt to new state file targets Prepare for handling pkg state with files. So it requires having the path defined before declaring targets. In addition, it cleans up the old git-download target. 2019-10-02 12:47:02 +02:00			`include $(RIOTBASE)/pkg/pkg.mk`
Initial HACL* package and tests 2018-04-14 13:43:27 +02:00
pkg: use Makefile.base to build pkg modules when possible 2020-06-12 16:49:12 +02:00			`CFLAGS += -DKRML_NOUINT128 -Wno-unused-parameter`

pkg: remove not needed git-downloaded dependencies This is implicitly done by the "pkg-prepare"-step of the main make instance. 2019-06-27 15:18:37 +02:00			`all:`
pkg: adapt 'simple' packages to the new organization 2020-06-13 20:58:27 +02:00			`"$(MAKE)" -C $(PKG_SOURCE_DIR) -f $(RIOTBASE)/Makefile.base`