Merge pull request #16951 from heilkn/lie

LiE: include forgotten file INFO.a by installation
This commit is contained in:
Joachim F 2016-07-16 19:54:23 +02:00 committed by GitHub
commit d9701350f9

View file

@ -41,7 +41,7 @@ stdenv.mkDerivation rec {
cp -v Lie.exe $out
cp -v lie $out/bin
cp -v LEARN LEARN.ind $out
cp -v INFO.ind INFO.[0-4] $out
cp -v LEARN* $out
cp -v INFO* $out
'';
}