[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