1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
//------------------------------------------------------------------------------
// GB_file.h: portable file I/O
//------------------------------------------------------------------------------
// SuiteSparse:GraphBLAS, Timothy A. Davis, (c) 2017-2025, All Rights Reserved.
// SPDX-License-Identifier: Apache-2.0
//------------------------------------------------------------------------------
#ifndef GB_FILE_H
#define GB_FILE_H
#if (defined (_WIN64) || defined (_WIN32))
#define GB_WINDOWS 1
#else
#define GB_WINDOWS 0
#endif
// to pipe stdout to /dev/null
#if GB_WINDOWS
#define GB_DEV_NULL " > nul"
#else
#define GB_DEV_NULL " > /dev/null"
#endif
bool GB_file_open_and_lock // true if successful, false on error
(
// input
char *filename, // full path to file to open
// output
FILE **fp_handle, // file pointer of open file (NULL on error)
int *fd_handle // file descriptor of open file (-1 on error)
) ;
bool GB_file_unlock_and_close // true if successful, false on error
(
// input/output
FILE **fp_handle, // file pointer, set to NULL on output
int *fd_handle // file descriptor, set to -1 on output
) ;
bool GB_file_mkdir (char *path) ;
void *GB_file_dlopen (char *library_name) ;
void *GB_file_dlsym (void *dl_handle, char *symbol) ;
void GB_file_dlclose (void *dl_handle) ;
#endif
|
