/usr/include/isl/stdint.h is in libisl-dev 0.08-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 | #ifndef _ISL_INCLUDE_ISL_STDINT_H
#define _ISL_INCLUDE_ISL_STDINT_H 1
#ifndef _GENERATED_STDINT_H
#define _GENERATED_STDINT_H "isl 0.08"
/* generated using gnu compiler gcc (Ubuntu/Linaro 4.6.2-7ubuntu1) 4.6.2 */
#define _STDINT_HAVE_STDINT_H 1
#include <stdint.h>
#endif
#endif
|