agda 2.4.2.4
agda 2.4.2.4

Agda: Fix broken --with-emacs option

Changes the dependency on Emacs from optional to recommended.

Fixes compilation of the Emacs mode by patching the code to add a
dependency on the fontset Emacs package.  The patch is intended to
be removed once https://github.com/agda/agda/pull/1700 is merged.

Fixes #45322.

Agda: Fix broken --with-malonzo-ffi option

Removes the --with-malonzo-ffi option, as the FFI bindings for the
MAlonzo backend are part of the Agda standard library.

Improves the attempt to compile and install the FFI bindings by
using a dedicated GHC package database, and cleaning up leftover
build products.

Ensures the test using the FFI bindings references them properly.

Adds a caveats section explaining how to reference the standard
library.

Fixes #45321.

Agda: Fix test failures

Adds a dependency on GHC, in order to support compiling programs to
native code using the MAlonzo backend.  Installing GHC can be
disabled using the --without-malonzo option.

Ensures the tests using the MAlonzo backend are run only when GHC is
installed.

Ensures the test using the standard library's FFI bindings for the
MAlonzo backend is run properly.

Fixes #45318.

Agda: Fix installation of unnecessary files

Installs the standard library's helper tools within the Cabal
sandbox already used as part of the build process.

Improves the standard library build process by cleaning up leftover
build products.

Fixes #45320.

Agda: Satisfy brew audit agda --strict --online

Agda: Fix standard library version and revision

Closes #45327.

Signed-off-by: Mike McQuaid <a17fed27eaa842282862ff7c1b9c8395a26ac320@mikemcquaid.com>

joshua-rutherford/homebrew,Linuxbrew/linuxbrew,kevinastone/homebrew,scorphus/homebrew,galaxy001/homebrew,dplarson/homebrew,MartinDelille/homebrew,manphiz/homebrew,johanhammar/homebrew,elyscape/homebrew,ExtremeMan/homebrew,ryanfb/homebrew,AlexejK/homebrew,Noctem/homebrew,pdxdan/homebrew,lrascao/homebrew,amjith/homebrew,eighthave/homebrew,feelpp/homebrew,yumitsu/homebrew,kvs/homebrew,afb/homebrew,yazuuchi/homebrew,johanhammar/homebrew,a-b/homebrew,danabrand/linuxbrew,frodeaa/homebrew,lrascao/homebrew,recruit-tech/homebrew,retrography/homebrew,kad/homebrew,tsaeger/homebrew,dutchcoders/homebrew,jsjohnst/homebrew,dunn/homebrew,SteveClement/homebrew,dunn/homebrew,3van/homebrew,dkotvan/homebrew,heinzf/homebrew,ilovezfs/homebrew,saketkc/linuxbrew,davidcelis/homebrew,influxdb/homebrew,pdxdan/homebrew,gvangool/homebrew,jconley/homebrew,chadcatlett/homebrew,TaylorMonacelli/homebrew,Asuranceturix/homebrew,gnubila-france/linuxbrew,filcab/homebrew,influxdb/homebrew,mactkg/homebrew,jarrettmeyer/homebrew,redpen-cc/homebrew,skatsuta/homebrew,ybott/homebrew,nelstrom/homebrew,decors/homebrew,ear/homebrew,tstack/homebrew,vigo/homebrew,Homebrew/homebrew,davidcelis/homebrew,pdxdan/homebrew,reelsense/linuxbrew,totalvoidness/homebrew,Chilledheart/homebrew,sakra/homebrew,jconley/homebrew,Homebrew/linuxbrew,dickeyxxx/homebrew,danieroux/homebrew,dunn/homebrew,dplarson/homebrew,polishgeeks/homebrew,Gasol/homebrew,ehamberg/homebrew,AGWA-forks/homebrew,SuperNEMO-DBD/cadfaelbrew,BrewTestBot/homebrew,Habbie/homebrew,teslamint/homebrew,zeha/homebrew,scpeters/homebrew,treyharris/homebrew,galaxy001/homebrew,feelpp/homebrew,georgschoelly/homebrew,emcrisostomo/homebrew,tjschuck/homebrew,dongcarl/homebrew,zhipeng-jia/homebrew,frickler01/homebrew,muellermartin/homebrew,nandub/homebrew,mkrapp/homebrew,MartinDelille/homebrew,MoSal/homebrew,DoomHammer/linuxbrew,afh/homebrew,3van/homebrew,amjith/homebrew,elyscape/homebrew,ilovezfs/homebrew,haihappen/homebrew,cchacin/homebrew,johanhammar/homebrew,xyproto/homebrew,decors/homebrew,reelsense/homebrew,pdpi/homebrew,bchatard/homebrew,dkotvan/homebrew,jiashuw/homebrew,tschoonj/homebrew,drewwells/homebrew,patrickmckenna/homebrew,dickeyxxx/homebrew,benjaminfrank/homebrew,reelsense/linuxbrew,elgertam/homebrew,davydden/linuxbrew,knpwrs/homebrew,lrascao/homebrew,jedahan/homebrew,kodabb/homebrew,pdxdan/homebrew,alex/homebrew,optikfluffel/homebrew,dutchcoders/homebrew,jeremiahyan/homebrew,arnested/homebrew,booi/homebrew,cchacin/homebrew,MoSal/homebrew,Noctem/homebrew,cchacin/homebrew,redpen-cc/homebrew,Chilledheart/homebrew,tutumcloud/homebrew,skinny-framework/homebrew,geoff-codes/homebrew,AlexejK/homebrew,base10/homebrew,petere/homebrew,treyharris/homebrew,marcusandre/homebrew,saketkc/linuxbrew,iandennismiller/homebrew,apjanke/homebrew,sjackman/linuxbrew,Homebrew/linuxbrew,Habbie/homebrew,OJFord/homebrew,tseven/homebrew,amjith/homebrew,menivaitsi/homebrew,gawbul/homebrew,hongkongkiwi/homebrew,a-b/homebrew,scorphus/homebrew,vigo/homebrew,tjschuck/homebrew,jmagnusson/homebrew,jiashuw/homebrew,heinzf/homebrew,Asuranceturix/homebrew,menivaitsi/homebrew,3van/homebrew,patrickmckenna/homebrew,razamatan/homebrew,gnubila-france/linuxbrew,knpwrs/homebrew,Linuxbrew/linuxbrew,frodeaa/homebrew,tstack/homebrew,tseven/homebrew,sometimesfood/homebrew,Red54/homebrew,quantumsteve/homebrew,mobileoverlord/homebrew-1,miketheman/homebrew,adamliter/homebrew,skinny-framework/homebrew,bitrise-io/homebrew,okuramasafumi/homebrew,benjaminfrank/homebrew,miketheman/homebrew,patrickmckenna/homebrew,yangj1e/homebrew,dericed/homebrew,heinzf/homebrew,michaKFromParis/homebrew-sparks,OJFord/homebrew,sjackman/linuxbrew,skinny-framework/homebrew,optikfluffel/homebrew,max-horvath/homebrew,osimola/homebrew,dolfly/homebrew,vihangm/homebrew,gicmo/homebrew,royhodgman/homebrew,joshfriend/homebrew,kevinastone/homebrew,Red54/homebrew,alex/homebrew,sometimesfood/homebrew,hakamadare/homebrew,BrewTestBot/homebrew,MartinDelille/homebrew,changzuozhen/homebrew,eighthave/homebrew,petere/homebrew,bigbes/homebrew,yumitsu/homebrew,Cutehacks/homebrew,ehamberg/homebrew,gnawhleinad/homebrew,kashif/homebrew,zchee/homebrew,Chilledheart/homebrew,slyphon/homebrew,elyscape/homebrew,apjanke/homebrew,marcusandre/homebrew,dunn/homebrew,zchee/homebrew,elgertam/homebrew,davydden/linuxbrew,xyproto/homebrew,adamliter/homebrew,zchee/homebrew,coldeasy/homebrew,lvicentesanchez/linuxbrew,jeremiahyan/homebrew,ge11232002/homebrew,gnawhleinad/homebrew,cprecioso/homebrew,jsjohnst/homebrew,brunchboy/homebrew,arg/homebrew,moyogo/homebrew,blogabe/homebrew,Gasol/homebrew,codeout/homebrew,teslamint/homebrew,kenips/homebrew,dolfly/homebrew,jsjohnst/homebrew,gawbul/homebrew,youtux/homebrew,mobileoverlord/homebrew-1,ybott/homebrew,lvicentesanchez/linuxbrew,LinusU/homebrew,razamatan/homebrew,Noctem/homebrew,koraktor/homebrew,tstack/homebrew,bukzor/linuxbrew,SteveClement/homebrew,grepnull/homebrew,zeha/homebrew,koraktor/homebrew,nandub/homebrew,heinzf/homebrew,theeternalsw0rd/homebrew,pdpi/homebrew,manphiz/homebrew,Chilledheart/homebrew,totalvoidness/homebrew,cosmo0920/homebrew,MoSal/homebrew,jiashuw/homebrew,retrography/homebrew,dgageot/homebrew,optikfluffel/homebrew,ear/homebrew,slyphon/homebrew,quantumsteve/homebrew,cosmo0920/homebrew,gnawhleinad/homebrew,totalvoidness/homebrew,coldeasy/homebrew,zhipeng-jia/homebrew,jab/homebrew,mkrapp/homebrew,slyphon/homebrew,haihappen/homebrew,ebouaziz/linuxbrew,kad/homebrew,tsaeger/homebrew,liamstask/homebrew,davidcelis/homebrew,MoSal/homebrew,grepnull/homebrew,windoze/homebrew,dutchcoders/homebrew,princeofdarkness76/homebrew,LinusU/homebrew,Angeldude/linuxbrew,gvangool/homebrew,megahall/homebrew,tstack/homebrew,ento/homebrew,bukzor/linuxbrew,getgauge/homebrew,windoze/homebrew,alex/homebrew,Gasol/homebrew,blogabe/homebrew,filcab/homebrew,gvangool/homebrew,ralic/homebrew,booi/homebrew,haihappen/homebrew,razamatan/homebrew,geoff-codes/homebrew,lvicentesanchez/homebrew,sometimesfood/homebrew,adamliter/homebrew,jamer/homebrew,cprecioso/homebrew,ear/homebrew,dericed/homebrew,joshua-rutherford/homebrew,yumitsu/homebrew,SteveClement/homebrew,ExtremeMan/homebrew,scpeters/homebrew,kodabb/homebrew,Asuranceturix/homebrew,petere/homebrew,Homebrew/homebrew,arnested/homebrew,decors/homebrew,Habbie/homebrew,nelstrom/homebrew,Homebrew/homebrew,okuramasafumi/homebrew,drbenmorgan/linuxbrew,theeternalsw0rd/homebrew,nelstrom/homebrew,AlexejK/homebrew,grepnull/homebrew,drewwells/homebrew,Linuxbrew/linuxbrew,kvs/homebrew,liamstask/homebrew,drbenmorgan/linuxbrew,coldeasy/homebrew,hongkongkiwi/homebrew,hyuni/homebrew,dalanmiller/homebrew,ExtremeMan/homebrew,DoomHammer/linuxbrew,nandub/homebrew,a-b/homebrew,polishgeeks/homebrew,yangj1e/homebrew,davydden/linuxbrew,Noctem/homebrew,alebcay/homebrew,base10/homebrew,afb/homebrew,sferik/homebrew,pdpi/homebrew,esamson/homebrew,okuramasafumi/homebrew,michaKFromParis/homebrew-sparks,hongkongkiwi/homebrew,keith/homebrew,cscetbon/homebrew,Angeldude/linuxbrew,BrewTestBot/homebrew,kodabb/homebrew,polishgeeks/homebrew,haihappen/homebrew,jiashuw/homebrew,reelsense/homebrew,cHoco/homebrew,coldeasy/homebrew,moyogo/homebrew,frickler01/homebrew,windoze/homebrew,jconley/homebrew,jeremiahyan/homebrew,thinker0/homebrew,tschoonj/homebrew,Homebrew/linuxbrew,SteveClement/homebrew,amjith/homebrew,ilovezfs/homebrew,lmontrieux/homebrew,geoff-codes/homebrew,davidcelis/homebrew,SuperNEMO-DBD/cadfaelbrew,base10/homebrew,retrography/homebrew,feelpp/homebrew,SuperNEMO-DBD/cadfaelbrew,xcezx/homebrew,reelsense/homebrew,marcusandre/homebrew,kevinastone/homebrew,marcwebbie/homebrew,retrography/homebrew,lvicentesanchez/linuxbrew,dplarson/homebrew,blogabe/homebrew,vigo/homebrew,xyproto/homebrew,osimola/homebrew,codeout/homebrew,quantumsteve/homebrew,lvicentesanchez/homebrew,3van/homebrew,Asuranceturix/homebrew,teslamint/homebrew,alex/homebrew,max-horvath/homebrew,josa42/homebrew,menivaitsi/homebrew,princeofdarkness76/homebrew,quantumsteve/homebrew,lvicentesanchez/homebrew,xcezx/homebrew,adamliter/homebrew,sakra/homebrew,LonnyGomes/homebrew,iostat/homebrew2,dongcarl/homebrew,Asuranceturix/homebrew,recruit-tech/homebrew,cosmo0920/homebrew,scorphus/homebrew,miketheman/homebrew,windoze/homebrew,liamstask/homebrew,michaKFromParis/homebrew-sparks,bigbes/homebrew,LonnyGomes/homebrew,influxdata/homebrew,knpwrs/homebrew,TaylorMonacelli/homebrew,OJFord/homebrew,gnawhleinad/homebrew,dplarson/homebrew,ralic/homebrew,jab/homebrew,thinker0/homebrew,gicmo/homebrew,elyscape/homebrew,marcwebbie/homebrew,yangj1e/homebrew,influxdb/homebrew,jarrettmeyer/homebrew,keith/homebrew,jarrettmeyer/homebrew,deorth/homebrew,dalanmiller/homebrew,ento/homebrew,feelpp/homebrew,SteveClement/homebrew,nelstrom/homebrew,cprecioso/homebrew,afh/homebrew,frodeaa/homebrew,tsaeger/homebrew,dalanmiller/homebrew,sferik/homebrew,muellermartin/homebrew,mobileoverlord/homebrew-1,hyuni/homebrew,dgageot/homebrew,dolfly/homebrew,marcwebbie/homebrew,ebouaziz/linuxbrew,dgageot/homebrew,bitrise-io/homebrew,moyogo/homebrew,recruit-tech/homebrew,LinusU/homebrew,joshua-rutherford/homebrew,grepnull/homebrew,ablyler/homebrew,patrickmckenna/homebrew,moyogo/homebrew,hyuni/homebrew,cscetbon/homebrew,gicmo/homebrew,ehamberg/homebrew,tutumcloud/homebrew,danieroux/homebrew,tschoonj/homebrew,kashif/homebrew,iandennismiller/homebrew,afh/homebrew,keith/homebrew,esamson/homebrew,mkrapp/homebrew,vihangm/homebrew,ablyler/homebrew,arnested/homebrew,yazuuchi/homebrew,marcusandre/homebrew,LonnyGomes/homebrew,a-b/homebrew,xcezx/homebrew,jamer/homebrew,Homebrew/linuxbrew,arg/homebrew,cchacin/homebrew,youtux/homebrew,ehamberg/homebrew,LinusU/homebrew,drbenmorgan/linuxbrew,filcab/homebrew,blogabe/homebrew,kevinastone/homebrew,danabrand/linuxbrew,mmizutani/homebrew,josa42/homebrew,lmontrieux/homebrew,Angeldude/linuxbrew,tjschuck/homebrew,optikfluffel/homebrew,base10/homebrew,utzig/homebrew,ralic/homebrew,kodabb/homebrew,treyharris/homebrew,changzuozhen/homebrew,dutchcoders/homebrew,DoomHammer/linuxbrew,influxdb/homebrew,ralic/homebrew,kenips/homebrew,okuramasafumi/homebrew,geoff-codes/homebrew,manphiz/homebrew,bigbes/homebrew,sakra/homebrew,ybott/homebrew,cscetbon/homebrew,lvicentesanchez/homebrew,OJFord/homebrew,kashif/homebrew,tseven/homebrew,Cutehacks/homebrew,danieroux/homebrew,influxdata/homebrew,dgageot/homebrew,scpeters/homebrew,scorphus/homebrew,eighthave/homebrew,bchatard/homebrew,skinny-framework/homebrew,AlexejK/homebrew,menivaitsi/homebrew,filcab/homebrew,cprecioso/homebrew,emcrisostomo/homebrew,redpen-cc/homebrew,SuperNEMO-DBD/cadfaelbrew,alebcay/homebrew,lvicentesanchez/linuxbrew,bukzor/linuxbrew,mactkg/homebrew,manphiz/homebrew,scpeters/homebrew,Red54/homebrew,eighthave/homebrew,galaxy001/homebrew,jab/homebrew,josa42/homebrew,slyphon/homebrew,felixonmars/homebrew,ryanfb/homebrew,bigbes/homebrew,AGWA-forks/homebrew,ebouaziz/linuxbrew,getgauge/homebrew,danabrand/linuxbrew,georgschoelly/homebrew,afb/homebrew,zeha/homebrew,arnested/homebrew,drbenmorgan/linuxbrew,iandennismiller/homebrew,bchatard/homebrew,vihangm/homebrew,lmontrieux/homebrew,apjanke/homebrew,jmagnusson/homebrew,skatsuta/homebrew,yazuuchi/homebrew,johanhammar/homebrew,koraktor/homebrew,galaxy001/homebrew,tseven/homebrew,tjschuck/homebrew,changzuozhen/homebrew,emcrisostomo/homebrew,jedahan/homebrew,reelsense/linuxbrew,afh/homebrew,deorth/homebrew,iostat/homebrew2,dericed/homebrew,hakamadare/homebrew,mmizutani/homebrew,cHoco/homebrew,vihangm/homebrew,Angeldude/linuxbrew,drewwells/homebrew,dickeyxxx/homebrew,utzig/homebrew,yangj1e/homebrew,joshua-rutherford/homebrew,brunchboy/homebrew,mmizutani/homebrew,Homebrew/homebrew,muellermartin/homebrew,liamstask/homebrew,chadcatlett/homebrew,frodeaa/homebrew,alebcay/homebrew,zhipeng-jia/homebrew,skatsuta/homebrew,bchatard/homebrew,megahall/homebrew,recruit-tech/homebrew,dongcarl/homebrew,sakra/homebrew,royhodgman/homebrew,skatsuta/homebrew,joshfriend/homebrew,bitrise-io/homebrew,felixonmars/homebrew,osimola/homebrew,jconley/homebrew,elgertam/homebrew,ablyler/homebrew,Linuxbrew/linuxbrew,tsaeger/homebrew,utzig/homebrew,tutumcloud/homebrew,sferik/homebrew,saketkc/linuxbrew,max-horvath/homebrew,bitrise-io/homebrew,polishgeeks/homebrew,TaylorMonacelli/homebrew,codeout/homebrew,iandennismiller/homebrew,pcottle/homebrew,getgauge/homebrew,AGWA-forks/homebrew,ryanfb/homebrew,emcrisostomo/homebrew,iostat/homebrew2,ento/homebrew,totalvoidness/homebrew,jarrettmeyer/homebrew,jab/homebrew,MartinDelille/homebrew,teslamint/homebrew,joshfriend/homebrew,megahall/homebrew,princeofdarkness76/homebrew,ablyler/homebrew,gawbul/homebrew,felixonmars/homebrew,xcezx/homebrew,ybott/homebrew,cHoco/homebrew,hakamadare/homebrew,DoomHammer/linuxbrew,iostat/homebrew2,jmagnusson/homebrew,koraktor/homebrew,petere/homebrew,gicmo/homebrew,lmontrieux/homebrew,influxdata/homebrew,nandub/homebrew,Habbie/homebrew,theeternalsw0rd/homebrew,hongkongkiwi/homebrew,ExtremeMan/homebrew,kenips/homebrew,pdpi/homebrew,afb/homebrew,sjackman/linuxbrew,deorth/homebrew,royhodgman/homebrew,frickler01/homebrew,royhodgman/homebrew,sometimesfood/homebrew,sferik/homebrew,changzuozhen/homebrew,thinker0/homebrew,kenips/homebrew,kad/homebrew,ilovezfs/homebrew,jmagnusson/homebrew,redpen-cc/homebrew,decors/homebrew,hanxue/homebrew,alebcay/homebrew,xyproto/homebrew,danieroux/homebrew,reelsense/homebrew,pcottle/homebrew,sjackman/linuxbrew,pcottle/homebrew,youtux/homebrew,arg/homebrew,jamer/homebrew,dericed/homebrew,yazuuchi/homebrew,thinker0/homebrew,georgschoelly/homebrew,mmizutani/homebrew,davydden/linuxbrew,dkotvan/homebrew,cHoco/homebrew,booi/homebrew,hanxue/homebrew,Cutehacks/homebrew,getgauge/homebrew,pcottle/homebrew,esamson/homebrew,Red54/homebrew,influxdata/homebrew,marcwebbie/homebrew,kvs/homebrew,jeremiahyan/homebrew,ebouaziz/linuxbrew,mobileoverlord/homebrew-1,pcottle/homebrew,kad/homebrew,miketheman/homebrew,tutumcloud/homebrew,kvs/homebrew,mactkg/homebrew,dongcarl/homebrew,codeout/homebrew,georgschoelly/homebrew,vigo/homebrew,Gasol/homebrew,chadcatlett/homebrew,jsjohnst/homebrew,tschoonj/homebrew,keith/homebrew,jedahan/homebrew,max-horvath/homebrew,TaylorMonacelli/homebrew,AGWA-forks/homebrew,ge11232002/homebrew,gnubila-france/linuxbrew,arg/homebrew,Cutehacks/homebrew,LonnyGomes/homebrew,dkotvan/homebrew,youtux/homebrew,jamer/homebrew,dalanmiller/homebrew,muellermartin/homebrew,ento/homebrew,ge11232002/homebrew,ear/homebrew,utzig/homebrew,bukzor/linuxbrew,hanxue/homebrew,BrewTestBot/homebrew,dolfly/homebrew,felixonmars/homebrew,jedahan/homebrew,frickler01/homebrew,saketkc/linuxbrew,danabrand/linuxbrew,mactkg/homebrew,megahall/homebrew,hanxue/homebrew,brunchboy/homebrew,brunchboy/homebrew,zhipeng-jia/homebrew,princeofdarkness76/homebrew,gvangool/homebrew,drewwells/homebrew,elgertam/homebrew,treyharris/homebrew,reelsense/linuxbrew,hakamadare/homebrew,hyuni/homebrew,ryanfb/homebrew,cosmo0920/homebrew,dickeyxxx/homebrew,razamatan/homebrew,gnubila-france/linuxbrew,theeternalsw0rd/homebrew,apjanke/homebrew,knpwrs/homebrew,ge11232002/homebrew,zchee/homebrew,zeha/homebrew,kashif/homebrew,esamson/homebrew,benjaminfrank/homebrew,benjaminfrank/homebrew,osimola/homebrew