[gambit-list] .git in tarballs

Marc Feeley feeley at iro.umontreal.ca
Tue Nov 20 21:29:16 EST 2018


> On Nov 20, 2018, at 8:44 PM, Faré <fahree at gmail.com> wrote:
> 
> Is that the only difference? (Where is the difference documented apart
> from "for developers"?)

From INSTALL.txt:

   Note that releases come in two flavors.  The "developer" release,
   which has a "-devel" suffix in its name, contains the complete git
   history.  It is a snapshot of the Gambit repository at a particular
   point in time.  The "plain" release, without the "-devel" suffix in
   its name, does not contain the git history and is much more compact
   than the developer release.

To create the -devel tarball I use “make dist-devel”.  The normal tarball is created with “make dist”.

Marc




More information about the Gambit-list mailing list