diff options
| author | Camil Staps | 2017-09-11 13:03:31 +0200 |
|---|---|---|
| committer | Camil Staps | 2017-09-11 13:03:31 +0200 |
| commit | 1c57c6d5c1b0552a8f432ff83b6ed96ab3d85cfb (patch) | |
| tree | 90c45e1c1397b7573cd4fc3a5b5109e92f9d4f90 | |
| parent | Fix dockerfile for new apt (diff) | |
Workaround elf_relocations issue (resolves #4)
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 |