diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
commit | 4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch) | |
tree | ba5f07bf3f9d22d82e54a462313f5d244036c768 /sci-mathematics/agda-stdlib/files |
reinit the tree, so we can have metadata
Diffstat (limited to 'sci-mathematics/agda-stdlib/files')
-rw-r--r-- | sci-mathematics/agda-stdlib/files/50agda-stdlib-gentoo.el | 1 | ||||
-rw-r--r-- | sci-mathematics/agda-stdlib/files/standard-library.agda-lib | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/sci-mathematics/agda-stdlib/files/50agda-stdlib-gentoo.el b/sci-mathematics/agda-stdlib/files/50agda-stdlib-gentoo.el new file mode 100644 index 000000000000..62264a4451a0 --- /dev/null +++ b/sci-mathematics/agda-stdlib/files/50agda-stdlib-gentoo.el @@ -0,0 +1 @@ +(setq agda2-include-dirs '("." "/usr/share/agda-stdlib")) diff --git a/sci-mathematics/agda-stdlib/files/standard-library.agda-lib b/sci-mathematics/agda-stdlib/files/standard-library.agda-lib new file mode 100644 index 000000000000..7cd8525ff7bd --- /dev/null +++ b/sci-mathematics/agda-stdlib/files/standard-library.agda-lib @@ -0,0 +1,2 @@ +name: standard-library +include: /usr/share/agda-stdlib |