comp.lang.ada
 help / color / mirror / Atom feed
From: Keith Thompson <kst-u@mib.org>
Subject: Re: compiling GPS (aka GNAT Studio!) from source
Date: Sat, 26 Oct 2019 17:10:38 -0700
Date: 2019-10-26T17:10:38-07:00	[thread overview]
Message-ID: <lnftjf9hfl.fsf@kst-u.example.com> (raw)
In-Reply-To: 03e7fc79-57e2-41a6-96de-1530bf2b5385@googlegroups.com

Steve Johnson <steve@cunningsystems.com> writes:
> On Friday, October 25, 2019 at 12:12:57 PM UTC-7, Dmitry A. Kazakov wrote:
>> 
>> I tried once and failed. If you manage, please post somewhere instructions.
>
> You might want to take a look at https://github.com/steve-cs/gnat-builder
>
> The README.md is out of date, but the Makefile should yield clues on
> how I build gps and spark2014 from source on Ubuntu Bionic. It follows
> fairly closely the READMEs from the AdaCore github repositories.
>
> Be careful as the default install directory is /usr/local and things
> like "make release" will clear that (sudo rm -rf /usr/local/*) before
> building, installing, and tar'ing up a release.  "make -n release | less"
>  will let you see what is happening.

Nuking /usr/local is *serious* bug.  I certainly wouldn't run it on my
system until that's fixed.

-- 
Keith Thompson (The_Other_Keith) kst-u@mib.org  <http://www.ghoti.net/~kst>
Will write code for food.
void Void(void) { Void(); } /* The recursive call of the void */

  reply	other threads:[~2019-10-27  0:10 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-10-25 16:37 compiling GPS (aka GNAT Studio!) from source Stephen Leake
2019-10-25 16:59 ` Stephen Leake
2019-10-25 19:12 ` Dmitry A. Kazakov
2019-10-26  7:16   ` briot.emmanuel
2019-10-26 10:01     ` Stephen Leake
2019-10-26 12:11       ` briot.emmanuel
2019-10-27 16:07         ` Stephen Leake
2019-10-26 23:55   ` Steve Johnson
2019-10-27  0:10     ` Keith Thompson [this message]
2019-10-27  5:24     ` Keith Thompson
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox