diff options
| author | Alex Rice <alexrice999@hotmail.co.uk> | 2019-12-29 12:14:16 +0000 |
|---|---|---|
| committer | Alex Rice <alexrice999@hotmail.co.uk> | 2020-05-14 20:54:11 +0100 |
| commit | d30e2468e0c7875d3d4d47404f52647ccea76fcf (patch) | |
| tree | 988b1d96ad8fe33e6c287049ae5b013311111d28 /doc/languages-frameworks/index.xml | |
| parent | 6cbaa256fab7df0d213be5caa14a6a29c9a47ed0 (diff) | |
| download | nixpkgs-d30e2468e0c7875d3d4d47404f52647ccea76fcf.tar nixpkgs-d30e2468e0c7875d3d4d47404f52647ccea76fcf.tar.gz nixpkgs-d30e2468e0c7875d3d4d47404f52647ccea76fcf.tar.bz2 nixpkgs-d30e2468e0c7875d3d4d47404f52647ccea76fcf.tar.lz nixpkgs-d30e2468e0c7875d3d4d47404f52647ccea76fcf.tar.xz nixpkgs-d30e2468e0c7875d3d4d47404f52647ccea76fcf.tar.zst nixpkgs-d30e2468e0c7875d3d4d47404f52647ccea76fcf.zip | |
agda: rework builder
Diffstat (limited to 'doc/languages-frameworks/index.xml')
| -rw-r--r-- | doc/languages-frameworks/index.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/languages-frameworks/index.xml b/doc/languages-frameworks/index.xml index 9364c764bbf..97202751f7d 100644 --- a/doc/languages-frameworks/index.xml +++ b/doc/languages-frameworks/index.xml @@ -5,6 +5,7 @@ <para> The <link linkend="chap-stdenv">standard build environment</link> makes it easy to build typical Autotools-based packages with very little code. Any other kind of package can be accomodated by overriding the appropriate phases of <literal>stdenv</literal>. However, there are specialised functions in Nixpkgs to easily build packages for other programming languages, such as Perl or Haskell. These are described in this chapter. </para> + <xi:include href="agda.section.xml" /> <xi:include href="android.section.xml" /> <xi:include href="beam.xml" /> <xi:include href="bower.xml" /> |