Ycarus Gentoo ebuild

src_prepare-overlay

These ebuilds come from .

If you have some problems, go to the official site first.

boogie : Intermediate verification language built on .NET ( https://github.com/boogie-org/boogie )

dev-lang/boogie/boogie-2.9.6

dafny : Verification-aware programming language ( https://dafny-lang.github.io/dafny/ )

dev-lang/dafny/dafny-3.3.0-r1

fstar : Verification system for effectful programs ( https://www.fstar-lang.org )

dev-lang/fstar/fstar-2021.11.27

hy : A LISP dialect running in python ( http://hylang.org/ )

dev-lang/hy/hy-9999
dev-lang/hy/files/hy-0.15.0-do-not-install-get_version.py.patch

lci : LOLCODE interpreter written in C ( http://www.lolcode.org/ )

dev-lang/lci/lci-0.11.2

lfe : Lisp-flavoured Erlang ( http://lfe.github.io/ )

dev-lang/lfe/lfe-1.3.0_p20210419
dev-lang/lfe/files/${SITEFILE}

Add an ebuild in portage :

create the directory /usr/local/portage
add in the file "make.conf" this : PORTDIR_OVERLAY="/usr/local/portage"
create in the directory /usr/local/portage a sub-directory for the category, for example games-misc if you choose fortune-mod-french-0.02
create an other sub-directory with the name of the ebuild (without the version number) for example fortune-mod-french
copy or download the ebuild in this new directory (and if needed the other files in the sub-directory "files")
Enter this command : ebuild lenomdelebuild.ebuild manifest, for example : ebuild fortune-mod-french-0.02.ebuild manifest

The ebuild is now in the portage tree.

You can also use layman : emerge layman then layman -a src_prepare-overlay

For Paludis use this rsync : rsync://gentoo.zugaina.org/src_prepare-overlay-portage

If you have a problem : ycarus(-at-)zugaina.org