pkg/hacl: Use RIOT random_bytes instead of randombytes

pkg/hacl/Makefile

@@ -6,7 +6,6 @@ PKG_LICENSE=MIT
 .PHONY: all
 
 all: git-download
-	@cp $(RIOTBASE)/pkg/hacl/src/* $(PKG_BUILDDIR)
 	"$(MAKE)" -C $(PKG_BUILDDIR) -f $(CURDIR)/Makefile.$(PKG_NAME)
 
 include $(RIOTBASE)/pkg/pkg.mk

pkg/hacl/src/randombytes.c

-/*
- * Copyright (C) 2016 Kaspar Schleiser <kaspar@schleiser.de>
- *
- * This file is subject to the terms and conditions of the GNU Lesser
- * General Public License v2.1. See the file LICENSE in the top level
- * directory for more details.
- */
-
-#include <stdint.h>
-
-#include "random.h"
-
-
-void randombytes(uint8_t *target, uint64_t n)
-{
-    /* HACL* (haclnacl.c) needs uint64_t as "n" parameter, random provides uint32 */
-    random_bytes(target, n);
-}