From 4f2d7949f03e1c198bc888f2d05f421d35c57e21 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Mon, 9 Oct 2017 18:53:29 +0100 Subject: reinit the tree, so we can have metadata --- sci-mathematics/agda-stdlib/files/50agda-stdlib-gentoo.el | 1 + sci-mathematics/agda-stdlib/files/standard-library.agda-lib | 2 ++ 2 files changed, 3 insertions(+) create mode 100644 sci-mathematics/agda-stdlib/files/50agda-stdlib-gentoo.el create mode 100644 sci-mathematics/agda-stdlib/files/standard-library.agda-lib (limited to 'sci-mathematics/agda-stdlib/files') 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 -- cgit v1.2.3