/usr/include/cvc3/os.h is in libcvc3-dev 2.4.1-5.1ubuntu1.
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 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 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 | /*****************************************************************************/
/*!
* \file os.h
* \brief Abstraction over different operating systems.
*
* Author: Alexander Fuchs
*
* Created: Fri Feb 16 12:00:00 2007
*
* <hr>
*
* License to use, copy, modify, sell and/or distribute this software
* and its documentation for any purpose is hereby granted without
* royalty, subject to the terms and conditions defined in the \ref
* LICENSE file provided with this distribution.
*
* <hr>
*
*/
/*****************************************************************************/
#ifndef _cvc3__windows_h_
#define _cvc3__windows_h_
// define if cvc3lib built as a dll, comment if cvc3lib is linked statically
// #define CVC_DLL_LINKAGE
// library export of C++ symbols for C++ windows interface
// for dynamic binding dll export needed
#ifdef CVC_DLL_LINKAGE
#ifdef CVC_DLL_EXPORT
#define CVC_DLL __declspec(dllexport)
#elif CVC_DLL_IMPORT
#define CVC_DLL __declspec(dllimport)
#else
#define CVC_DLL
#endif
// for static binding dll export not needed
#else
#define CVC_DLL
#endif
#ifndef _LINUX_WINDOWS_CROSS_COMPILE
/// MS C++ specific settings
#ifdef _MSC_VER
// CLR specific settings
// #ifdef _MANAGED
// if lex files are created with cygwin they require isatty,
// which in MS VS C++ requires using _isatty
#include <io.h>
#define isatty _isatty
// C99 stdint data types
typedef signed __int8 int8_t;
typedef signed __int16 int16_t;
typedef signed __int32 int32_t;
typedef signed __int64 int64_t;
typedef unsigned __int8 uint8_t;
typedef unsigned __int16 uint16_t;
typedef unsigned __int32 uint32_t;
typedef unsigned __int64 uint64_t;
// unix specific settings
#else
// C99 data types
// (should) provide:
// int8_t, int16_t, int32_t, int64_t, uint8_t, uint16_t, uint32_t, uint64_tm
// intptr_t, uintptr_t
#include <stdint.h>
#endif
#else
// Cross-compile include the same as for unix
#include <stdint.h>
#endif
#endif
|