Mozart/Oz mac os x 上的配置问题

Question

我正在尝试使用以下 link 在 Mac os x Mojave 上构建 Mozart/Oz： https://github.com/mozart/mozart 并收到以下配置错误。找不到 GNU MP 库。

我使用 homebrew 安装了 gmp，还尝试了 --with-gmp=/usr/local/opt/gmp/lib 和 --with-gmp=/usr/local/Cellar/gmp/6.1.2_2/ 但得到了同样的错误。谁能帮我解决这个问题？

checking for --with-gmp... yes
checking for gmp.h... -I/Users/rr/Software/mozart/gmp/packages/include
checking for __gmpz_init in -lgmp (default)... no
checking for __gmpz_init in -L/Users/rr/Software/mozart/gmp/packages/lib/ -lgmp... no
checking for mpz_init in -lgmp (default)... no
checking for mpz_init in -L/Users/rr/Software/mozart/gmp/packages/lib/ -lgmp... no
checking for mpz_init in -lgmp2 (default)... no
checking for mpz_init in -L/Users/rr/Software/mozart/gmp/packages/lib/ -lgmp2... no

configure: warning: required GNU MP lib not found
configure: error: 
The GNU Multiple Precision Arithmetic Library (gmp)
version 2 or higher is required
to build the system.  It can be retrieved from:

    ftp://ftp.gnu.org/pub/gnu/gmp/

The latest version at this time is 4.1.2 and is available
packaged as the following archive:

    ftp://ftp.gnu.org/pub/gnu/gmp/gmp-4.1.2.tar.gz

You may find a mirror archive closer to you by consulting:

    http://www.gnu.org/order/ftp.html

configure: error: /Users/rr/Software/mozart/mozart/platform/emulator/configure failed for emulator
configure: error: /Users/rr/Software/mozart/mozart/platform/configure failed for platform

Answer 1

1: 安装 Mozart2

1.1: Link: https://mozart.github.io/

1.2: Applications/Mozart2 应该是这样的： https://i.imgur.com/BQbXrey.png

此外，由于我在 Whosebug 的声誉不佳，我无法嵌入图片，对此深表歉意。

2：为 `osc` 和 `ozemulator`

添加别名

2.1: 打开.bash_profile

open ~/.bash_profile

2.2: 添加以下内容到文件并保存

alias ozc='/Applications/Mozart2.app/Contents/Resources/bin/ozc'
alias ozemulator='/Applications/Mozart2.app/Contents/Resources/bin/ozemulator'
alias ozem='/Applications/Mozart2.app/Contents/Resources/bin/ozemulator'
alias ozengine='/Applications/Mozart2.app/Contents/Resources/bin/ozengine'
alias ozwish='/Applications/Mozart2.app/Contents/Resources/bin/ozwish'

3：基本用法

3.1：在.oz文件中编写代码示例：circle.oz

functor
import
    System 
    Application(exit:Exit)
define
    proc {Circle R}
        local A C D Pi in
            Pi = 3.14
            A = Pi*R*R
            D = 2.0*R
            C = Pi*D 
            {System.showInfo 
                'A: '    # A # '\n' #
                'D: ' # D # '\n' #
                'C: '  # C
            }
        end
    end
    {Circle 20.0}
    {Exit 0}
end

3.2: 编译代码在ozc

ozc -c circle.oz

3.3: 运行编译代码在 ozemulator

ozem circle.ozf # .ozf is a compiled .oz file

Mozart/Oz mac os x 上的配置问题

Mozart/Oz configure issue on mac os x

mozart

oz

1: 安装 Mozart2

2：为 osc 和 ozemulator

3：基本用法

2：为 `osc` 和 `ozemulator`