diff options
| author | John Wiegley <johnw@newartisans.com> | 2014-05-05 19:51:05 -0500 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2014-05-05 19:51:05 -0500 |
| commit | 854b1fb9fb5f482da697bb4658b97949380ce64e (patch) | |
| tree | 09c55a0f1f6c985e67368f9c4e56414efe56b957 /pkgs/development/compilers | |
| parent | 66bcd77f0ebdacb99ad54339945fb9a082f20df6 (diff) | |
| download | nixpkgs-854b1fb9fb5f482da697bb4658b97949380ce64e.tar nixpkgs-854b1fb9fb5f482da697bb4658b97949380ce64e.tar.gz nixpkgs-854b1fb9fb5f482da697bb4658b97949380ce64e.tar.bz2 nixpkgs-854b1fb9fb5f482da697bb4658b97949380ce64e.tar.lz nixpkgs-854b1fb9fb5f482da697bb4658b97949380ce64e.tar.xz nixpkgs-854b1fb9fb5f482da697bb4658b97949380ce64e.tar.zst nixpkgs-854b1fb9fb5f482da697bb4658b97949380ce64e.zip | |
Build AgdaStdlib before installing it
Diffstat (limited to 'pkgs/development/compilers')
| -rw-r--r-- | pkgs/development/compilers/agda/stdlib.nix | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/pkgs/development/compilers/agda/stdlib.nix b/pkgs/development/compilers/agda/stdlib.nix index d71713674f7..c07b3e7c7dd 100644 --- a/pkgs/development/compilers/agda/stdlib.nix +++ b/pkgs/development/compilers/agda/stdlib.nix @@ -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 = { |