1 files changed, 26 insertions, 0 deletions
diff --git a/math/py-z3solver/patches/patch-core_scripts_mk__util.py b/math/py-z3solver/patches/patch-core_scripts_mk__util.py
new file mode 100644
index 00000000000..0d214c6ceaf
--- /dev/null
+++ b/math/py-z3solver/patches/patch-core_scripts_mk__util.py
@@ -0,0 +1,26 @@
+$NetBSD: patch-core_scripts_mk__util.py,v 1.3 2022/05/09 09:08:27 jperkin Exp $
+
+Try to at least use sensible defaults on unknown platforms.
+
+--- core/scripts/mk_util.py.orig	2020-09-11 00:52:41.000000000 +0000
++++ core/scripts/mk_util.py
+@@ -1263,8 +1263,7 @@ def get_so_ext():
+     elif sysname == 'CYGWIN' or sysname.startswith('MSYS_NT') or sysname.startswith('MINGW'):
+         return 'dll'
+     else:
+-        assert(False)
+-        return 'dll'
++        return 'so'
+ 
+ class DLLComponent(Component):
+     def __init__(self, name, dll_name, path, deps, export_files, reexports, install, static, staging_link=None):
+@@ -2527,7 +2526,8 @@ def mk_config():
+             EXE_EXT        = '.exe'
+             LIB_EXT        = '.lib'
+         else:
+-            raise MKException('Unsupported platform: %s' % sysname)
++            SO_EXT         = '.so'
++            SLIBFLAGS      = '-shared'
+         if is64():
+             if not sysname.startswith('CYGWIN') and not sysname.startswith('MSYS') and not sysname.startswith('MINGW'):
+                 CXXFLAGS     = '%s -fPIC' % CXXFLAGS