LiE: include forgotten file INFO.a by installation
This commit is contained in:
parent
1b5ac05845
commit
c0656fe0c1
|
@ -41,7 +41,7 @@ stdenv.mkDerivation rec {
|
||||||
cp -v Lie.exe $out
|
cp -v Lie.exe $out
|
||||||
cp -v lie $out/bin
|
cp -v lie $out/bin
|
||||||
|
|
||||||
cp -v LEARN LEARN.ind $out
|
cp -v LEARN* $out
|
||||||
cp -v INFO.ind INFO.[0-4] $out
|
cp -v INFO* $out
|
||||||
'';
|
'';
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue