gildas: 20180601_a -> 20180701_a

This commit is contained in:
Sebastien Maret 2018-07-02 17:16:25 +02:00
parent 8cf4a4725c
commit d46fde9eb1

View File

@ -7,13 +7,13 @@ let
in in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
srcVersion = "jun18a"; srcVersion = "jul18a";
version = "20180601_a"; version = "20180701_a";
name = "gildas-${version}"; name = "gildas-${version}";
src = fetchurl { src = fetchurl {
url = "http://www.iram.fr/~gildas/dist/gildas-src-${srcVersion}.tar.gz"; url = "http://www.iram.fr/~gildas/dist/gildas-src-${srcVersion}.tar.gz";
sha256 = "0k4x0g69fphb1759cwcw6bbs8imwmq0qwj6zqixxk60skk4n4jvb"; sha256 = "0kl3zf6b1kv8hgsfrarsnm2gnrdax3vi8f856249y4nxsa7lbv2i";
}; };
enableParallelBuilding = true; enableParallelBuilding = true;
@ -31,11 +31,6 @@ stdenv.mkDerivation rec {
echo "gag_doc: $out/share/doc/" >> kernel/etc/gag.dico.lcl echo "gag_doc: $out/share/doc/" >> kernel/etc/gag.dico.lcl
''; '';
buildPhase=''
make depend
make
'';
postInstall='' postInstall=''
mkdir -p $out/bin mkdir -p $out/bin
cp -a ../gildas-exe-${srcVersion}/* $out cp -a ../gildas-exe-${srcVersion}/* $out