idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-01 09:49:24 +03:00
Code Issues Projects Releases Wiki Activity

Add flag for windows in support Makefile

Browse Source
This commit is contained in:
Edwin Brady 2020-05-23 16:47:10 +01:00
parent 006236fde8
commit 1857e4b3fe
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
support/c/Makefile
View File

@ -10,6 +10,7 @@ CFLAGS += -O2
SRCS = $(wildcard *.c) SRCS = $(wildcard *.c)
ifeq ($(OS), windows) ifeq ($(OS), windows)
SRCS += windows/win_utils.c windows/win_hack.c SRCS += windows/win_utils.c windows/win_hack.c
LDFLAGS += -lws2_32
endif endif
OBJS = $(SRCS:.c=.o) OBJS = $(SRCS:.c=.o)
DEPS = $(OBJS:.o=.d) DEPS = $(OBJS:.o=.d)