idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-18 16:51:51 +03:00
Code Issues Projects Releases Wiki Activity
30737f5ecc
Idris2/support/c
History
normalcoder e001d266fe Add sys/time.h to satisfy xcode. 
It seems relevant to all BSD systems.

In xcode the option -Wno-error-implicit-function-declaration is enabled. So the following error occured:
Idris2/support/c/idris_file.c:76:13: Missing '#include <sys/time.h>'; declaration of 'select' must be imported from module 'Darwin.POSIX.sys.time' before it is required

I hope it won't break anything on linux.
2020-06-01 00:48:19 +03:00
..
windows Remove dependency on pthreads on Windows 2020-05-24 19:56:26 +02:00
.gitignore Update .gitignore files 2020-05-19 17:49:21 +06:00
getline.c Add missing C support 2020-05-18 14:51:28 +01:00
getline.h Add missing C support 2020-05-18 14:51:28 +01:00
idris_buffer.c Add missing C support 2020-05-18 14:51:28 +01:00
idris_buffer.h Add missing C support 2020-05-18 14:51:28 +01:00
idris_directory.c Rename some file/dir manipulation functions 2020-05-21 18:32:35 +06:00
idris_directory.h Update C support header files 2020-05-24 00:41:53 +06:00
idris_file.c Add sys/time.h to satisfy xcode. 2020-06-01 00:48:19 +03:00
idris_file.h Rename some file/dir manipulation functions 2020-05-21 18:32:35 +06:00
idris_net.c Move network support to libidris2_support 2020-05-23 15:52:33 +01:00
idris_net.h Move network support to libidris2_support 2020-05-23 15:52:33 +01:00
idris_support.c Remove dependency on pthreads on Windows 2020-05-24 19:56:26 +02:00
idris_support.h Add missing C support 2020-05-18 14:51:28 +01:00
Makefile Fix Windows build 2020-05-23 18:05:55 +02:00