From 1c57c6d5c1b0552a8f432ff83b6ed96ab3d85cfb Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Mon, 11 Sep 2017 13:03:31 +0200
Subject: Workaround elf_relocations issue (resolves #4)

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 3fa6c3d..d7b5684 100644
--- a/Makefile
+++ b/Makefile
@@ -1,11 +1,12 @@
 CFLAGS=-std=c99 -Wall -O0 -c
 CLM=clm
 CLMFLAGS=\
-	-I $$CLEAN_HOME/lib/clean-platform/OS-Independent\
+	-I $$CLEAN_HOME/lib/Platform\
 	-I $$CLEAN_HOME/lib/Generics\
 	-I CleanReadLine\
 	-l -lreadline\
 	-l compile.o\
+	-l -no-pie -no-opt-link\
 	-nr -nt
 
 all: iclean
-- 
cgit v1.2.3