Gnat for Mac Ada 编程

问题描述 投票:0回答:3

我正在编程课上学习 Ada 95,我想在我的 MacBook 上安装 gnat 编译器。我不知道在哪里可以得到一个好的 gnat 来编译我的代码,以及如何安装它。

我目前使用 gedit 作为我的文本编辑器,因为这是我们在实验室环境中使用的。我是 Mac 世界的新手,因此我们将不胜感激。

macos text-editor ada gnat
3个回答
10
投票

有一个适用于 Mac OS X 的优秀免费 Ada 编译器 可从 AdaCore 获得。

您应该可以使用 GNAT GPL 版本。点击下载链接 - 选择学术发展的免费软件 - 在页面底部,点击构建您的下载包

选择您的平台

x86_64-darwin
2012
。单击 GNAT 2012,然后单击
gnat-gpl-2012-x86_64-apple-darwin10.8.0-bin.tar.gz
(这包含您目前需要的所有内容)。

您还需要 Xcode(Mac OS X 中免费)。在 Lion 之前,这是(我认为)安装 DVD 上的可选安装。在 Lion 或 ML 中,您需要从 App Store 获取它(在 ML 中位于 Categories > Developer Tools > Xcode)。在 ML 中,您还需要安装命令行工具:打开 Xcode,然后 Xcode > Preferences > Downloads > Components,在命令行工具中选择 Install

我说先安装Xcode,因为GNAT安装需要它(你可以通过说

which make
来判断是否安装了命令行工具:如果答案为空,则它们没有安装)。无论如何,对于 GNAT 安装,

$ cd
$ tar zxvf ~/Downloads/gnat-gpl-2012-x86_64-apple-darwin10.8.0-bin.tar.gz
$ cd gnat-gpl-2012-x86_64-apple-darwin10.8.0-bin
$ sudo ./doinstall

安装完成后你不需要安装程序了,所以你可以删除它。

默认在

/usr/local/gnat
下安装 GNAT,您需要确保
/usr/local/gnat/bin
位于您的路径上的第一个(无论如何,在
/usr/bin
之前)。我会编辑
~/.bash_profile_common
添加

PATH=/usr/local/gnat/bin:$PATH

但我仍然无法知道哪些

~/.bash*
文件做什么!


5
投票

我有 OS X Yosemite 10.10.3,我按照以下步骤操作。

  1. 从这个地方下载 GNAT http://libre.adacore.com/download/configurations。选择 Mac OS X 作为平台。

  2. 在终端执行以下命令:

    1. 解压或(

      tar
      )上一步下载的文件,例如如下:

      tar zxvf gnat-gpl-2012-x86_64-apple-darwin10.8.0-bin.tar.gz   
      

      注意:这假设您与步骤 1 中下载的文件位于同一文件夹中。

    2. cd gnat-gpl-2012-x86_64-apple-darwin10.8.0-bin

    3. sudo ./doinstall

  3. 编辑

    .bash_profile
    下的
    /Users/{YOUR_USER_NAME}/.bash_profile
    文件以添加以下行

    export PATH=$PATH:/opt/local/bin:/usr/local/gnat/bin
    
  4. 保存

    .bash_profile
    文件。

  5. 打开一个新终端。您现在应该能够执行

    gnatmake


1
投票

这里的答案已经很旧了,不再是最好的选择。仅命令行开发非常痛苦,特别是如果您刚刚开始使用该语言。 MacOS X 不再支持替代方案 GNAT Studio IDE,但 Linux 和 Windows 仍受支持。不过,这并没有什么大的损失,因为它有点笨重、缓慢,而且与 MacOS 的集成很差。

幸运的是,现在有一个 VSCode 插件,支持 GNAT Studio 中提供的所有主要功能,例如语法着色、调试和 IntelliSense,以及更好的整体用户界面:

https://marketplace.visualstudio.com/items?itemName=AdaCore.ada

奇怪的是,它的推广力度不如GNAT Studio。事实上,我在设置开发环境遇到困难后一时兴起发现了这个 VSCode 插件。设置插件的说明很简单。它还具有最简洁、最全面的工具链安装说明。

© www.soinside.com 2019 - 2024. All rights reserved.