Small patch for IKOS 2.1 + LLVM 7.0.1 under macOS Mojave

analyzer.patch

--- /usr/local/Cellar/ikos/2.1/lib/python3.7/site-packages/ikos/analyzer_orig.py	2019-02-14 11:21:52.000000000 +0100
+++ /usr/local/Cellar/ikos/2.1/lib/python3.7/site-packages/ikos/analyzer.py	2019-02-14 10:09:09.000000000 +0100
@@ -525,6 +525,8 @@
     return [
         # enable clang warnings
         '-Wall',
+        # silence nullability warnings
+        '-Wno-nullability-completeness',
         # disable source code fortification
         '-U_FORTIFY_SOURCE',
         '-D_FORTIFY_SOURCE=0',
@@ -536,6 +538,8 @@
         # see https://bugs.llvm.org/show_bug.cgi?id=35950#c10
         '-Xclang',
         '-disable-O0-optnone',
+        # point /usr/local/opt/llvm/bin/clang to Mojave system headers
+        '-I/Library/Developer/CommandLineTools/SDKs/MacOSX10.14.sdk/usr/include',
     ]