diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-06 20:09:32 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-06 20:09:32 +0200 |
commit | feb8ebaeb76fa1c94de2dd7c4e5a0999b313f8c6 (patch) | |
tree | 273140847406f67c338677fcd1a8a1bed79579ce /test/monniaux/glpk-4.65/src/zlib/zio.h | |
parent | f3a13e7cb3d2f0758eb418050d48a240798f2f86 (diff) | |
download | compcert-kvx-feb8ebaeb76fa1c94de2dd7c4e5a0999b313f8c6.tar.gz compcert-kvx-feb8ebaeb76fa1c94de2dd7c4e5a0999b313f8c6.zip |
GLPK 4.65
Diffstat (limited to 'test/monniaux/glpk-4.65/src/zlib/zio.h')
-rw-r--r-- | test/monniaux/glpk-4.65/src/zlib/zio.h | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/test/monniaux/glpk-4.65/src/zlib/zio.h b/test/monniaux/glpk-4.65/src/zlib/zio.h new file mode 100644 index 00000000..1626c4ae --- /dev/null +++ b/test/monniaux/glpk-4.65/src/zlib/zio.h @@ -0,0 +1,37 @@ +/* zio.h (simulation of non-standard low-level i/o functions) */ + +/* Written by Andrew Makhorin <mao@gnu.org>, April 2011 + * For conditions of distribution and use, see copyright notice in + * zlib.h */ + +/* WARNING: this file should *not* be used by applications. It is + part of the implementation of the compression library and is + subject to change. Applications should only use zlib.h. */ + +#ifndef ZIO_H +#define ZIO_H + +#define O_RDONLY 0x00 +#define O_WRONLY 0x01 +#define O_CREAT 0x10 +#define O_TRUNC 0x20 +#define O_APPEND 0x30 + +#define open _glp_zlib_open +int open(const char *path, int oflag, ...); + +#define read _glp_zlib_read +long read(int fd, void *buf, unsigned long nbyte); + +#define write _glp_zlib_write +long write(int fd, const void *buf, unsigned long nbyte); + +#define lseek _glp_zlib_lseek +long lseek(int fd, long offset, int whence); + +#define close _glp_zlib_close +int close(int fd); + +#endif + +/* eof */ |