Merge pull request #86667 from brainrape/patch-5

makeDotElm: fix
This commit is contained in:
Rok Garbas 2020-05-07 03:36:59 +02:00 committed by GitHub
commit 07bf31fecd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -11,6 +11,14 @@ ver: deps:
inherit (info) sha256;
};
configurePhase = ''
true
'';
buildPhase = ''
true
'';
installPhase = ''
mkdir -p $out
cp -r * $out