From dbba5087fe29e05736f3777de7d2384aab4eddec Mon Sep 17 00:00:00 2001 From: Attila Lendvai Date: Fri, 8 Oct 2021 15:25:26 +0200 Subject: [PATCH] [ fix ] missing idris2_popen/pclose decl in the C headers --- support/c/idris_file.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/support/c/idris_file.h b/support/c/idris_file.h index c8bfdbfcf..0eeaeff00 100644 --- a/support/c/idris_file.h +++ b/support/c/idris_file.h @@ -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);