Storm 1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
OsDetection.h
Go to the documentation of this file.
1#pragma once
2
3#if defined __linux__ || defined __linux
4#define LINUX
5#elif defined TARGET_OS_MAC || defined __apple__ || defined __APPLE__
6#define MACOSX
7#define MACOS
8#define _DARWIN_USE_64_BIT_INODE #This relates to stat / stat64.Unsure if still needed.
9#ifdef __arm64__
10#define APPLE_SILICON
11#endif
12#elif defined _WIN32 || defined _WIN64
13#error Windows detected, but not supported.
14#else
15#error Could not detect Operating System
16#endif