我正在尝试在Windows 10下安装使用z3软件包并具有以下设置的haskell堆栈的项目：
z3 precompiled binaries（./ z3 / includes中的include和./z3/bin下的dll文件）位于项目根目录下
myProject/
- app/
- dist/
- src/
- z3/
- package.yaml
- Setup.hs
- stack.yaml
- myProject.cabal
package.yaml文件包含：
dependencies:
- base >= 4.7 && < 5
- containers
- parsec
- z3 <= 408.0
stack.yaml文件包含：
extra-deps:
- z3-408.0@sha256:89bbc2d828dc1fe1f19666e8e501c69ce5d0ed8026e4a02f7eae1e69f4a352af
extra-include-dirs:
- ./z3/include
extra-lib-dirs:
- ./z3/lib
当我尝试堆叠安装时，出现以下错误：
Process exited with code: ExitFailure 1
Logs have been written to: C:\Users\jmueller\repos\synthImp\.stack-work\logs\z3-408.0.log
z3-408.0: configure
Progress 1/2
-- While building package z3-408.0 using:
<...>
--extra-include-dirs=C:\Users\jmueller\repos\synthImp\./z3/include
<...>
--extra-lib-dirs=C:\Users\jmueller\repos\synthImp\./z3/lib
Configuring z3-408.0...
Cabal-simple_Z6RU0evB_2.4.0.1_ghc-8.6.5.exe: Missing dependency on a foreign
library:
* 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.
额外的include和额外的lib dirs在那里，显然也找到了include ...在c编译器级别上似乎存在问题
我尝试了z3的两个二进制文件（x64和x86），但我不知道如何捕获c预处理器的输出以进行进一步调试。
我们非常感谢您的帮助！
非常感谢