comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: How To Write A Record To File ?
Date: Fri, 08 Dec 2017 18:01:05 +0000
Date: 2017-12-08T18:01:05+00:00	[thread overview]
Message-ID: <lyr2s5umji.fsf@pushface.org> (raw)
In-Reply-To: omfl2d5rcfpdc0mv0ihkj076dkikvnt98g@4ax.com

Dennis Lee Bieber <wlfraed@ix.netcom.com> writes:

> 	Works well here. (I really need to figure out how to set up a
> .gpr file for scratch building test programs <G> )

So long as you don't have _any_ GPRs in your directory, you don't need
to provide your own, as there is one in $prefix/share/gpr/_default.gpr;
it just says

   standard project Default is
   end Default;

Demo: only one file here:

   lockheed:dennis simon$ ls
   dennis.adb

just gprbuild:

   lockheed:dennis simon$ gprbuild
   using project file /opt/gcc-7.1.0/share/gpr/_default.gpr
   Compile
      [Ada]          dennis.adb

name the main program:

   lockheed:dennis simon$ gprbuild dennis.adb
   using project file /opt/gcc-7.1.0/share/gpr/_default.gpr
   Bind
      [gprbind]      dennis.bexch
      [Ada]          dennis.ali
   Link
      [link]         dennis.adb

run it:

   lockheed:dennis simon$ ./dennis 
   hello Dennis!


  reply	other threads:[~2017-12-08 18:01 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-12-08 16:04 How To Write A Record To File ? patrick
2017-12-08 16:25 ` AdaMagica
2017-12-08 16:40   ` patrick
2017-12-08 16:41   ` patrick
2017-12-08 16:57     ` Anh Vo
2017-12-08 17:11       ` Anh Vo
2017-12-08 17:29         ` patrick
2017-12-08 16:43 ` Dmitry A. Kazakov
2017-12-08 16:53   ` patrick
2017-12-08 17:35 ` Dennis Lee Bieber
2017-12-08 18:01   ` Simon Wright [this message]
2017-12-08 23:06     ` patrick
2017-12-08 23:06       ` Victor Porton
2017-12-08 23:28       ` Simon Wright
2017-12-08 23:31         ` patrick
2017-12-09  8:03           ` Usenet (Was: How To Write A Record To File ?) Jacob Sparre Andersen
2017-12-09  9:08             ` Usenet Simon Wright
2017-12-09 14:38               ` Usenet Björn Lundin
2017-12-09 11:34           ` How To Write A Record To File ? Spiros Bousbouras
replies disabled

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