Build AgdaStdlib before installing it

This commit is contained in:
John Wiegley 2014-05-05 19:51:05 -05:00
parent 66bcd77f0e
commit 854b1fb9fb

View file

@ -1,4 +1,4 @@
{ cabal, fetchurl }:
{ cabal, fetchurl, filemanip, Agda }:
cabal.mkDerivation (self: {
pname = "Agda-stdlib";
@ -9,11 +9,16 @@ cabal.mkDerivation (self: {
sha256 = "1ynjgqk8hhnm6rbngy8fjsrd6i4phj2hlan9bk435bbywbl366k3";
};
buildDepends = [ filemanip Agda ];
preConfigure = "cd ffi";
postInstall = ''
mkdir -p $out/share
cp -pR ../src $out/share/agda
cd ..
runhaskell GenerateEverything
agda -i . -i src Everything.agda
cp -pR src $out/share/agda
'';
meta = {