nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-22 15:03:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

agdaPackages.*: support literate Typst files

Browse Source
This commit is contained in:
Naïm Favier 2023-10-22 23:51:42 +02:00
parent 97ba4facba
commit 6c2b227d34
No known key found for this signature in database
GPG Key ID: 95AFCE8211908325
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/build-support/agda/default.nix
View File

@ -47,6 +47,7 @@ let
"lagda.org"
"lagda.rst"
"lagda.tex"
"lagda.typ"
];
defaults =

2
pkgs/build-support/agda/lib.nix
View File

@ -6,7 +6,7 @@
* interfaceFile "Everything.agda" == "Everything.agdai"
* interfaceFile "src/Everything.lagda.tex" == "src/Everything.agdai"
*/
interfaceFile = agdaFile: lib.head (builtins.match ''(.*\.)l?agda(\.(md|org|rst|tex))?'' agdaFile) + "agdai";
interfaceFile = agdaFile: lib.head (builtins.match ''(.*\.)l?agda(\.(md|org|rst|tex|typ))?'' agdaFile) + "agdai";
/* Takes an arbitrary derivation and says whether it is an agda library package
* that is not marked as broken.