##### Options which a user might set before building go here ##### PREFIX ?= $(HOME)/.idris2 # Add any optimisation/profiling flags for C here (e.g. -O2)OPT = # clang compiles the output much faster than gcc!CC := clang ################################################################## RANLIB ?= ranlibAR ?= ar CFLAGS := -Wall $(CFLAGS) $(OPT)LDFLAGS := $(LDFLAGS) MACHINE := $(shell $(CC) -dumpmachine)ifneq (,$(findstring cygwin, $(MACHINE)))	OS := windows	SHLIB_SUFFIX := .dllelse ifneq (,$(findstring mingw, $(MACHINE)))	OS := windows	SHLIB_SUFFIX := .dllelse ifneq (,$(findstring windows, $(MACHINE)))	OS := windows	SHLIB_SUFFIX := .dllelse ifneq (,$(findstring darwin, $(MACHINE)))	OS := darwin	SHLIB_SUFFIX := .dylib	CFLAGS += -fPICelse ifneq (, $(findstring bsd, $(MACHINE)))	OS := bsd	SHLIB_SUFFIX := .so	CFLAGS += -fPICelse        OS := linux        SHLIB_SUFFIX := .so        CFLAGS += -fPICendif ifeq ($(OS),bsd)	MAKE := gmakeelse	MAKE := makeendif