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

[ fix ] missing idris2_popen/pclose decl in the C headers

Browse Source
This commit is contained in:
Attila Lendvai 2021-10-08 15:25:26 +02:00 committed by G. Allais
parent a507b6dadf
commit dbba5087fe
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
support/c/idris_file.h
View File

@ -22,6 +22,9 @@ int idris2_fileSize(FILE* h);
int idris2_fpoll(FILE* f);
void *idris2_popen(const char *cmd, const char *mode);
void idris2_pclose(void *stream);
// Seek through the next newline without
// saving anything along the way
int idris2_seekLine(FILE* f);