Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 418455 - sci-mathematics/cvc3: LICENSE should be "BSD MIT HPND zchaff? ( zchaff )"
Summary: sci-mathematics/cvc3: LICENSE should be "BSD MIT HPND zchaff? ( zchaff )"
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Mark Wright
URL:
Whiteboard:
Keywords: QAcanfix
Depends on:
Blocks: as-is-license
  Show dependency tree
 
Reported: 2012-05-31 22:02 UTC by Ulrich Müller
Modified: 2012-12-14 09:50 UTC (History)
2 users (show)

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Ulrich Müller gentoo-dev 2012-05-31 22:02:35 UTC
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
| University.
Comment 1 Mark Wright gentoo-dev 2012-06-01 02:20:00 UTC
Thanks, I applied all of your fixes. Thanks for the bug report letting me know it wasn't right and for the fixes.
Comment 2 Ulrich Müller gentoo-dev 2012-12-14 09:07:19 UTC
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.
Comment 3 Justin Lecher (RETIRED) gentoo-dev 2012-12-14 09:22:35 UTC
(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.
Comment 4 Ulrich Müller gentoo-dev 2012-12-14 09:50:23 UTC
Fixed.