# Troubleshooting

## 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