# Common issues

## Dependencies

• In general, if issues occur installing certain dependencies of Storm make sure to also consult the documentation of the corresponding dependency.

### CArL

• When manually installing CArL make sure you are using the master14 branch of CArL as the current master branch uses a newer C++ standard that Storm does not require and therefore does not enable.

## OS specific issues

We list common issues for specific operating systems.

### macOS

• Make sure to have Xcode and its command line utilities installed:
$xcode-select --install  • Start Xcode at least once such that required components might be installed automatically. • For macOS 10.14 “Mojave” a common error is the following: configure: error: cannot run C compiled programs.  This error might be due to missing header files which can be installed by the following tool: $ open /Library/Developer/CommandLineTools/Packages/macOS_SDK_headers_for_macOS_10.14.pkg


• storm-dev at i2.informatik.rwth-aachen.de.
You may also open an issue on GitHub. In any case, please provide as much information on your problem as you possibly can. For example, when the build step fails, please provide the output of cmake in the configuration step and details about your operating system, your machine and any other information that is potentially relevant.