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

Merge pull request #4 from melted/refcount-c

Browse Source 
Make it build on windows
This commit is contained in:
Edwin Brady 2020-10-21 10:14:31 +01:00 committed by GitHub
commit 0a705f846c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
support/refc/Makefile
View File

@ -8,7 +8,6 @@ CFLAGS += -O2
SRCS = $(wildcard *.c)
ifeq ($(OS), windows)
SRCS += windows/win_utils.c windows/win_hack.c
LDFLAGS += -lws2_32
ifeq ($(OLD_WIN), 1)
CFLAGS += -D_OLD_WIN

3
support/refc/prim.h
View File

@ -2,7 +2,8 @@
#define __PRIM_H__
#include "cBackend.h"
#include <sys/utsname.h>
// Value * Prelude_IO_prim__putStr(Value *, Value *);
Value *Prelude_IO_prim__getChar(Value *);