eis@hagen-partner.de (Peter Eis) writes:
> Finally I managed to get mozart installed on my gentoo box :-)
> I had to copy the ebuild definitions (..../dev-lang/mozart*) I
> downloaded from CVS into the /usr/portage/dev-lang folder in order to
> get it working.
> Just setting PORTDIR_OVERLAY did not work for me: emerge simply would
> not grab the sources from the server.
I apologize for the much belated answer. PORTDIR_OVERLAY must point
to a directory tree with the same kind of structure as you find in
/usr/portage. If you pick, say, ~/portage, then indeed you will have
to create ~/portage/dev-lang/mozart*.
Btw, I will have to change this structure slightly in order to get
mozart officially into gentoo.
Cheers,
-- Denys Duchier - Équipe Calligramme - LORIA, Nancy, France - Please send submissions to users@mozart-oz.org and administriva mail to users-request@mozart-oz.org. The Mozart Oz web site is at http://www.mozart-oz.org/. Please send bug reports to bugs@mozart-oz.org.