comp.lang.ada
 help / color / mirror / Atom feed
From: Pascal Obry <pascal@obry.net>
Subject: Re: gprbuilds and bullds using the gpr within gps
Date: Mon, 01 Jun 2015 21:00:48 +0200
Date: 2015-06-01T21:00:48+02:00	[thread overview]
Message-ID: <1433185248.16183.5.camel@obry.net> (raw)
In-Reply-To: 1juv3wak3bptw.143w83hasffth.dlg@40tude.net

Le vendredi 29 mai 2015 à 22:05 +0200, Dmitry A. Kazakov a écrit : 
> With projects with-ing other projects? Does it know if it should continue
> to "install" recursively or stop? 

Yes, it won't install a project already installed for example. You can
also disable the recursive behavior. If you don't want to install a
project the Active project's attribute can be used. Also it will install
only the bodies if required (i.e. the spec has a generic or inline
unit).

The tool gprinstall is very nice (I certainly won't call it a hack) and
it make it possible to do large clean-up in Makefile! I can assure you
having moved many projects to use gprinstall. Also at the end gprinstall
--uninstall will remove *every* installed files.

It also makes it easier to install on Windows where it is a pain to have
a decent working shell (or at least one compatible with all Unixes).

-- 
  Pascal Obry /  Magny Les Hameaux (78)

  The best way to travel is by means of imagination

  http://v2p.fr.eu.org
  http://www.obry.net

  gpg --keyserver keys.gnupg.net --recv-key F949BD3B


      reply	other threads:[~2015-06-01 19:00 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-05-26 10:14 gprbuilds and bullds using the gpr within gps tonyg
2015-05-26 10:22 ` Dmitry A. Kazakov
2015-05-29 16:34   ` tonyg
2015-05-29 16:56     ` Dmitry A. Kazakov
2015-05-29 17:00       ` Dmitry A. Kazakov
2015-05-29 18:31         ` Simon Wright
2015-05-29 20:05           ` Dmitry A. Kazakov
2015-06-01 19:00             ` Pascal Obry [this message]
replies disabled

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