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
src
storm
utility
OsDetection.h
Generated by
1.9.8