无法在OS X上为Haskell安装z3软件包

我正在尝试按如下方式安装该软件包：

stack install z3 --extra-lib-dirs=/usr/local/bin --extra-include-dirs=/usr/local/bin

这将导致以下错误：

Configuring z3-4.3.1...
Cabal-simple_mPHDZzAJ_2.2.0.1_ghc-8.4.3: Missing dependency on a foreign
library:
* Missing (or bad) header file: z3.h
* Missing (or bad) C library: z3
This problem can usually be solved by installing the system package that
provides this library (you may need the "-dev" version). If the library is
already installed but in a non-standard location then you can use the flags
--extra-include-dirs= and --extra-lib-dirs= to specify where it is.If the
library file does exist, it may contain errors that are caught by the C
compiler at the preprocessing stage. In this case you can re-run configure
with the verbosity flag -v3 to see the error messages.
If the header file does exist, it may contain errors that are caught by the C
compiler at the preprocessing stage. In this case you can re-run configure
with the verbosity flag -v3 to see the error messages.

我最初安装z3的目的是：

brew install z3

并通过运行来验证安装位置

which z3 #=> /usr/local/bin/z3

---

让我知道我可以尝试什么

您可能需要传递

--extra-lib-dirs=/usr/local/lib--extra-include-dirs=/usr/local/include

模块是否也安装头文件等？@WillemVanOnsem-不确定，我是否应该尝试从源代码处编译？@WillemVanOnsem正在尝试。在Debian/Ubuntu中，包含包的标题通常称为

lib@leftaroundabout很遗憾，没有发现
libz3-dev
或
z3-dev
正常工作。谢谢，下面的
stack.yaml
config正常工作：extra include dirs:-/usr/local/include extra lib dirs:-/usr/local/lib extra deps:-z3-4.3.1