diff options
| author |   Robin H. Johnson <robbat2@gentoo.org> | 2006-04-02 11:40:44 +0000 |
|---|---|---|
| committer | Robin H. Johnson <robbat2@gentoo.org> | 2006-04-02 11:40:44 +0000 |
| commit | db0a024ee3e25ac348e795ae5b1f391649c7978c (patch) | |
| tree | 108e816f88abc752234c81a12751d66d3d496bb2 /profiles | |
| parent | Initial commit. Ebuild by Robin H. Johnson <robbat2@gentoo.org>. This ebuild ... (diff) | |
| download | historical-db0a024ee3e25ac348e795ae5b1f391649c7978c.tar.gz historical-db0a024ee3e25ac348e795ae5b1f391649c7978c.tar.bz2 historical-db0a024ee3e25ac348e795ae5b1f391649c7978c.zip | |
add minisat for nusmv.
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/use.local.desc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/profiles/use.local.desc b/profiles/use.local.desc index fc7cbbf4bcdf..32f17eeebbc0 100644 --- a/profiles/use.local.desc +++ b/profiles/use.local.desc @@ -1,6 +1,6 @@ # Copyright 1999-2006 Gentoo Foundation. # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/profiles/use.local.desc,v 1.1822 2006/04/01 18:12:22 genstef Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/use.local.desc,v 1.1823 2006/04/02 11:40:44 robbat2 Exp $ # This file contains descriptions of local USE flags, and the ebuilds which # contain them. @@ -1265,6 +1265,7 @@ sci-libs/plplot:octave - Support for Octave bindings. sci-libs/vtk:patented - Builds patented classes. sci-libs/vtk:qt3 - Adds support for the Qt3 GUI/Application Toolkit. sci-libs/vtk:qt4 - Adds support for the Qt4 GUI/Application Toolkit. +sci-mathematics/nusmv:minisat - Enable support for MiniSat. sci-mathematics/coq:ide - Build the Coq IDE, a clone of proof general using lablgtk2. sci-mathematics/coq:norealanalysis - Do not build real analysis modules (faster compilation). sci-mathematics/coq:translator - Install the translator script from coq-7.4 to coq-8.0, and its documentation if doc is set too. |