Add -fPIE to src/util/Makefile

Author: NlightNFotis

src/util/Makefile

@@ -119,6 +119,17 @@ INCLUDES= -I ..
 include ../config.inc
 include ../common
 
+ifeq ($(OS),Windows_NT)
+    detected_OS := Windows
+else
+    detected_OS := $(shell sh -c 'uname 2>/dev/null || echo Unknown')
+endif
+
+ifeq ($(detected_OS),Linux)
+    CFLAGS += -fPIE
+    CXXFLAGS += -fPIE
+endif
+
 # get version from git
 GIT_INFO = $(shell git describe --tags --always --dirty || echo "n/a")
 RELEASE_INFO = const char *CBMC_VERSION="$(CBMC_VERSION) ($(GIT_INFO))";