gambit: bootstrap from gitless tarball

This commit is contained in:
Francois-Rene Rideau 2018-11-21 10:19:58 -05:00
parent 11cf7d6e1f
commit f22db06db6

View file

@ -6,11 +6,11 @@ stdenv.mkDerivation rec {
tarball_version = "v4_9_1";
src = fetchurl {
url = "http://www.iro.umontreal.ca/~gambit/download/gambit/v4.9/source/gambit-${tarball_version}-devel.tgz";
sha256 = "10kzv568gimp9nzh5xw0h01vw50wi68z3awfp9ibqrpq2l0n7mw7";
url = "http://www.iro.umontreal.ca/~gambit/download/gambit/v4.9/source/gambit-${tarball_version}.tgz";
sha256 = "14x9xa0yh7187alzw2m937jnh4csj0dyywi3va8bhi7aaw4p5qai";
};
buildInputs = [ autoconf git ];
buildInputs = [ autoconf ];
configurePhase = ''
./configure --prefix=$out