Ubuntu Cabal 构建未定义的引用 z3 错误

问：

我刚刚安装了 Ubuntu 22.04.3 LTS，我正在尝试运行这个 haskell 项目，我不需要实际编辑它，但我需要运行它才能在大学使用它。

我按照自述文件中指定的步骤进行操作：

$ apt-get install -y ghc cabal-install git gettext locales

$ wget https://github.com/Z3Prover/z3/releases/download/z3-4.6.0/z3-4.6.0-x64-ubuntu-16.04.zip
$ unzip z3-4.6.0-x64-ubuntu-16.04.zip 
$ cp z3-4.6.0-x64-ubuntu-16.04/bin/libz3.so /usr/lib/ 
$ cp z3-4.6.0-x64-ubuntu-16.04/bin/z3 /usr/bin/ 
$ cp z3-4.6.0-x64-ubuntu-16.04/include/* /usr/include/

$ git clone https://gitlab.fing.edu.uy/matefun/MateFun.git

$ cd MateFun/
$ cabal update
$ cabal install happy
$ cabal install hgettext

我在尝试时遇到了问题，因为$ cabal install z3

cabal: Cannot build the executables in the package z3 because none of the
components are available to build: the executable 'examples' is marked as
'buildable: False'

我通过这样做来克服这个问题。cabal install z3 --lib

但后来我试着去做，这就是我被卡住的地方cabal build

(...)
[14 of 14] Compiling Main  
error: undefined reference to 'Z3_optimize_assert_and_track'
error: undefined reference to 'Z3_optimize_get_unsat_core'

一直在试图找出问题可能是什么，尝试添加但 id 没有区别。--extra-lib-dirs=/usr/bin/ --extra-include-dirs=/usr/include/

关于如何让它工作的任何想法？我在这里尝试，但这真的不是我的强项