Merge pull request #41313 from Scriptkiddi/fix/gams

gams: move optgams and gamslice to $out/share/gams
This commit is contained in:
Matthew Justin Bauer 2018-06-20 21:52:40 -04:00 committed by GitHub
commit b0b76bf75a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -17,9 +17,9 @@ stdenv.mkDerivation rec {
mkdir -p "$out/bin" "$out/share/gams"
cp -a * "$out/share/gams"
cp ${licenseFile} $out/share/gamslice.txt
cp ${licenseFile} $out/share/gams/gamslice.txt
'' + stdenv.lib.optionalString (optgamsFile != null) ''
cp ${optgamsFile} $out/share/optgams.def
cp ${optgamsFile} $out/share/gams/optgams.def
ln -s $out/share/gams/optgams.def $out/bin/optgams.def
'';