Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

<doogie> Thinking is dangerous. It leads to ideas. -- Seen on #Debian

devel / comp.lang.ada / Where do I find instructions for installing Gnat and Gnat Studio on the Mac?

SubjectAuthor
* Where do I find instructions for installing Gnat and Gnat Studio onBob Creasy
+- Re: Where do I find instructions for installing Gnat and Gnat Studio on the Mac?Simon Wright
`- Re: Where do I find instructions for installing Gnat and Gnat StudioBjörn Lundin

1
Where do I find instructions for installing Gnat and Gnat Studio on the Mac?

<69ece768-da5c-4c64-bb32-2bace006e4f6n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=6535&group=comp.lang.ada#6535

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:622a:308:: with SMTP id q8mr8630183qtw.463.1642185018486;
Fri, 14 Jan 2022 10:30:18 -0800 (PST)
X-Received: by 2002:a05:6902:102a:: with SMTP id x10mr14315948ybt.305.1642185018117;
Fri, 14 Jan 2022 10:30:18 -0800 (PST)
Path: i2pn2.org!i2pn.org!aioe.org!news.mixmin.net!news2.arglkargh.de!news.in-chemnitz.de!3.eu.feeder.erje.net!feeder.erje.net!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 14 Jan 2022 10:30:17 -0800 (PST)
Injection-Info: google-groups.googlegroups.com; posting-host=2601:c6:4381:4560:a512:1724:99d:51cc;
posting-account=37kz2AoAAACf0kw3jvGcZlDNwvDJN9EQ
NNTP-Posting-Host: 2601:c6:4381:4560:a512:1724:99d:51cc
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <69ece768-da5c-4c64-bb32-2bace006e4f6n@googlegroups.com>
Subject: Where do I find instructions for installing Gnat and Gnat Studio on
the Mac?
From: joebeaze...@gmail.com (Bob Creasy)
Injection-Date: Fri, 14 Jan 2022 18:30:18 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 5
 by: Bob Creasy - Fri, 14 Jan 2022 18:30 UTC

If my experience is typical, it's no wonder Ada isn't popular. I've downloaded the installer for GNAT 2018 for MacOS, since it's the only one containing Gnat Studio. While I can easily find documentation for installing Gnat on Windows and Linux, I can't find any for MacOS. In fact, Adacore leaves out MacOS installation in their tutorials. If MacOS isn't supported, then why confuse users by making it available for download?

Re: Where do I find instructions for installing Gnat and Gnat Studio on the Mac?

<lyy23h7324.fsf@pushface.org>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=6538&group=comp.lang.ada#6538

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!8nKyDL3nVTTIdBB8axZhRA.user.46.165.242.75.POSTED!not-for-mail
From: sim...@pushface.org (Simon Wright)
Newsgroups: comp.lang.ada
Subject: Re: Where do I find instructions for installing Gnat and Gnat Studio on the Mac?
Date: Sat, 15 Jan 2022 09:37:07 +0000
Organization: Aioe.org NNTP Server
Message-ID: <lyy23h7324.fsf@pushface.org>
References: <69ece768-da5c-4c64-bb32-2bace006e4f6n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="13206"; posting-host="8nKyDL3nVTTIdBB8axZhRA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (darwin)
X-Notice: Filtered by postfilter v. 0.9.2
Cancel-Lock: sha1:5Mh94gIB2/odj+uW00iYhE6hQP4=
 by: Simon Wright - Sat, 15 Jan 2022 09:37 UTC

Bob Creasy <joebeazelman@gmail.com> writes:

> If my experience is typical, it's no wonder Ada isn't popular. I've
> downloaded the installer for GNAT 2018 for MacOS, since it's the only
> one containing Gnat Studio. While I can easily find documentation for
> installing Gnat on Windows and Linux, I can't find any for MacOS. In
> fact, Adacore leaves out MacOS installation in their tutorials. If
> MacOS isn't supported, then why confuse users by making it available
> for download?

GNAT CE 2019 for macOS includes GPS, the previous name for GNATStudio.

Having dowloaded the disk image
gnat-community-2019-20190517-x86_64-darwin-bin.dmg, I double-click on it
and a Finder window opens showing the installer
gnat-community-2019-20190517-x86_64-darwin-bin.

Double-click on this, and a window pops up saying

“gnat-community-2019-20190517-x86_64-darwin-bin” cannot be opened
because the developer cannot be verified.

and offering the choice of ejecting the disk image or cancelling.

When the machine does this - fair enough, Apple don't want it to be
too easy to install random software - the trick is, instead of
double-clicking on the installer, to pop up an option menu, either with
Control-<left mouse button> or just <right mouse button>, and choose
"Open". Now you get a pop-up saying

macOS cannot verify the developer of
“gnat-community-2019-20190517-x86_64-darwin-bin”. Are you sure you
want to open it?

By opening this app, you will be overriding system security which
can expose your computer and personal information to malware that
may harm your Mac or compromise your privacy.

and this time you have an "Open" option. Select it, and off you go.

(I haven't tried this on Monterey, because I already have GNAT CE 2019
installed, or on an M1 Mac, because I don't have one.)

Re: Where do I find instructions for installing Gnat and Gnat Studio on the Mac?

<srudlv$ti$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=6540&group=comp.lang.ada#6540

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: b.f.lun...@gmail.com (Björn Lundin)
Newsgroups: comp.lang.ada
Subject: Re: Where do I find instructions for installing Gnat and Gnat Studio
on the Mac?
Date: Sat, 15 Jan 2022 13:11:43 +0100
Organization: A noiseless patient Spider
Lines: 45
Message-ID: <srudlv$ti$1@dont-email.me>
References: <69ece768-da5c-4c64-bb32-2bace006e4f6n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 15 Jan 2022 12:11:43 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="332382c6c07850139f2736468be97d9d";
logging-data="946"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18GVwxKFgyN1JA157s53J3K"
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:91.0)
Gecko/20100101 Thunderbird/91.4.1
Cancel-Lock: sha1:BHgbtTMXJapkBGMqvZeYW5pEnn8=
In-Reply-To: <69ece768-da5c-4c64-bb32-2bace006e4f6n@googlegroups.com>
Content-Language: en-US
 by: Björn Lundin - Sat, 15 Jan 2022 12:11 UTC

Den 2022-01-14 kl. 19:30, skrev Bob Creasy:

hmm, below reply ended up unintentionally as mail to the OP.
It was intended for c.l.a

> If my experience is typical, it's no wonder Ada isn't popular. I've downloaded the installer for GNAT 2018 for MacOS, since it's the only one containing Gnat Studio.

I just downloaded 2018, double-clicked the .img, started the installer,
which installed
* gnat
* spark
* gps

all in /Users/xxx/opt/GNAT/2018/bin

set path as instructed in last install screen

start gps (terminal or Finder)
I don't think you get an icon in /Applications

> While I can easily find documentation for installing Gnat on Windows
and Linux, I can't find any for MacOS.

but do you need one?

>In fact, Adacore leaves out MacOS installation in their tutorials. If
>MacOS isn't supported, then why confuse users by making it available
>for download?

It is getting out of support - I think. I don't think they plan on go
beyond intel 64bit.

--
Björn

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor