From 2fe5dc73ea8acea182d884b811e7d574cd62e168 Mon Sep 17 00:00:00 2001
From: Thom Wiggers <thom@thomwiggers.nl>
Date: Wed, 23 Jan 2019 11:52:53 +0100
Subject: [PATCH] Fix invalid symbols by excluding stdlib

This is a poor mans fix for the problem with the build, but what can you do :shrug:
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index fe05d5a1..604e1b5b 100644
--- a/Makefile
+++ b/Makefile
@@ -70,6 +70,7 @@ bin/shared_$(subst /,_,$(SCHEME))_clean.so: $(wildcard $(SCHEME)/clean/*.c) | re
 	gcc $(CFLAGS) \
 		-DPQCLEAN_NAMESPACE=$(shell echo PQCLEAN_$(subst -,,$(notdir $(SCHEME))) | tr a-z A-Z) \
 		-g \
+		-nostdlib \
 		-shared \
 		-fPIC \
 		-iquote "./common/" \