sci-mathematics/cvc3 currently assigns LICENSE="CVC3". This is somewhat problematic, because CVC3 is a conglomerate of both free and non-free licenses, which means that it cannot be added to any of the free license groups in profiles/license_groups.
As far as I can see, the main license is simply BSD, and some files are licensed under MIT or as-is. In addition, there are some non-free parts, but they are only activated with USE="zchaff".
So, I'd suggest to change LICENSE to the following:
LICENSE="BSD MIT as-is zchaff? ( zchaff )"
where zchaff would be the license notice from src/sat/xchaff_solver.cpp.
Probably also something like
RESTRICT="mirror zchaff? ( bindist )"
is needed, because the following clause (in the zchaff license) forbids any distribution:
| Any distribution, including commercial sale or license, of this software,
| copies of the software, its associated documentation and/or modifications
| of either is strictly prohibited without the prior consent of Princeton
Thanks, I applied all of your fixes. Thanks for the bug report letting me know it wasn't right and for the fixes.
Sorry that I have to reopen this, but we want to get rid of the "as-is" license label. See the tracker bug.
So, the above is still valid, only "as-is" should be changed to "HPND":
LICENSE="BSD MIT HPND zchaff? ( zchaff )"
I can update the ebuild myself if you permit.
(In reply to comment #2)
> Sorry that I have to reopen this, but we want to get rid of the "as-is"
> license label. See the tracker bug.
> So, the above is still valid, only "as-is" should be changed to "HPND":
> LICENSE="BSD MIT HPND zchaff? ( zchaff )"
> I can update the ebuild myself if you permit.
Sure you can. And that's general for all sci* maintained packages I would say.