Skip to content

GitLab

Unverified Commit 0f2d68ee authored by Vikraman Choudhury's avatar Vikraman Choudhury
Browse files

sci-mathematics/agda-stdlib: Install agda-lib file 

Package-Manager: portage-2.2.27
RepoMan-Options: --force
parent 43254bb0
Hide whitespace changes
Inline Side-by-side
Showing with 3 additions and 0 deletions
sci-mathematics/agda-stdlib/agda-stdlib-9999.ebuild
View file @ 0f2d68ee
...@@ -65,5 +65,6 @@ src_install() { ...@@ -65,5 +65,6 @@ src_install() {
export INSOPTIONS=--preserve-timestamps export INSOPTIONS=--preserve-timestamps
doins -r src/* doins -r src/*
dodoc -r html/* dodoc -r html/*
doins "${FILESDIR}/agda-stdlib.agda-lib"
elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die
} }
sci-mathematics/agda-stdlib/files/agda-stdlib.agda-lib 0 → 100644
View file @ 0f2d68ee
name: agda-stdlib
include: /usr/share/agda-stdlib
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment