diff --git a/pyexternals/patches/pyeda-0.29.0.patch b/pyexternals/patches/pyeda-0.29.0.patch new file mode 100644 index 0000000000000000000000000000000000000000..d32cc455790376439e379138e0d39c01016deed3 --- /dev/null +++ b/pyexternals/patches/pyeda-0.29.0.patch @@ -0,0 +1,5 @@ +--- setup.py~ 2023-11-19 18:33:30.000000000 +0100 ++++ setup.py 2024-07-24 13:13:45.018399166 +0200 +@@ -189,1 +189,1 @@ +- Extension("pyeda.boolalg.espresso", **ESPRESSO), ++ Extension("pyeda.boolalg.espresso", **ESPRESSO, extra_compile_args=["-Wno-incompatible-pointer-types"]),