svn commit: r327544 - head/math/minisat

[William Grzybowski]

On Wed, Sep 18, 2013 at 10:28 AM, Vsevolod Stakhov <vsevolod at freebsd.org> wrote:
> Author: vsevolod
> Date: Wed Sep 18 13:28:06 2013
> New Revision: 327544
> URL: http://svnweb.freebsd.org/changeset/ports/327544
>
> Log:
>   Add minisat port - a lightweight SAT solver.
>
> Added:
>   head/math/minisat/
>   head/math/minisat/Makefile   (contents, props changed)
>   head/math/minisat/distinfo   (contents, props changed)
>   head/math/minisat/pkg-descr   (contents, props changed)
>   head/math/minisat/pkg-plist   (contents, props changed)
>
> Added: head/math/minisat/Makefile
> ==============================================================================
> --- /dev/null   00:00:00 1970   (empty, because file is newly added)
> +++ head/math/minisat/Makefile  Wed Sep 18 13:28:06 2013        (r327544)
> @@ -0,0 +1,16 @@
> +# Created by: Vsevolod Stakhov <vsevolod at FreeBSD.org>
> +# $FreeBSD$
> +
> +PORTNAME=      minisat
> +PORTVERSION=   2.2.1
> +CATEGORIES=    math devel
> +MASTER_SITES=  http://highsecure.ru/distfiles/
> +
> +MAINTAINER=    vsevolod at FreeBSD.org
> +COMMENT=       A minimalistic, open-source SAT solver

We are dropping the indefinite articles from the beginning of COMMENT

> +
> +USES=  gmake
> +USE_LDCONFIG=  yes
> +MAKE_ENV=      prefix=${PREFIX}
> +
> +.include <bsd.port.mk>
>
> Added: head/math/minisat/distinfo
> ==============================================================================
> --- /dev/null   00:00:00 1970   (empty, because file is newly added)
> +++ head/math/minisat/distinfo  Wed Sep 18 13:28:06 2013        (r327544)
> @@ -0,0 +1,2 @@
> +SHA256 (minisat-2.2.1.tar.gz) = d39de26ad3c56a0fbc30a92c23004a5fb2802e8aebd34febc107dc43781e9a19
> +SIZE (minisat-2.2.1.tar.gz) = 49892
>
> Added: head/math/minisat/pkg-descr
> ==============================================================================
> --- /dev/null   00:00:00 1970   (empty, because file is newly added)
> +++ head/math/minisat/pkg-descr Wed Sep 18 13:28:06 2013        (r327544)
> @@ -0,0 +1,20 @@
> +MiniSat is a minimalistic, open-source SAT solver, developed to help
> +researchers and developers alike to get started on SAT. It is released under
> +the MIT licence, and is currently used in a number of projects.
> +
> +Some key features of MiniSat:
> +
> +- Easy to modify. MiniSat is small and well-documented, and possibly also
> +well-designed, making it an ideal starting point for adapting SAT based
> +techniques to domain specific problems.
> +
> +- Highly efficient. Winning all the industrial categories of the SAT 2005
> +competition, MiniSat is a good starting point both for future research in SAT,
> +and for applications using SAT.
> +
> +- Designed for integration. MiniSat supports incremental SAT and has
> +mechanisms for adding non-clausal constraints. By virtue of being easy to
> +modify, it is a good choice for integrating as a backend to another tool, such
> +as a model checker or a more generic constraint solver.
> +
> +WWW: http://minisat.se/
>
> Added: head/math/minisat/pkg-plist
> ==============================================================================
> --- /dev/null   00:00:00 1970   (empty, because file is newly added)
> +++ head/math/minisat/pkg-plist Wed Sep 18 13:28:06 2013        (r327544)
> @@ -0,0 +1,30 @@
> + at comment $FreeBSD$

We don't use fbsd keyword in pkg-plist anymore. A correct proplist in
.subversion/config can deal with it, or Tools/addport in the tree.

svn propset fbsd:nokeywords yes pkg-plist
svn propdel svn:keywords pkg-plist

> +
> +bin/minisat
> +include/minisat/mtl/XAlloc.h
> +include/minisat/mtl/Heap.h
> +include/minisat/mtl/IntTypes.h
> +include/minisat/mtl/IntMap.h
> +include/minisat/mtl/Sort.h
> +include/minisat/mtl/Rnd.h
> +include/minisat/mtl/Alg.h
> +include/minisat/mtl/Vec.h
> +include/minisat/mtl/Alloc.h
> +include/minisat/mtl/Map.h
> +include/minisat/mtl/Queue.h
> +include/minisat/utils/Options.h
> +include/minisat/utils/ParseUtils.h
> +include/minisat/utils/System.h
> +include/minisat/core/Solver.h
> +include/minisat/core/Dimacs.h
> +include/minisat/core/SolverTypes.h
> +include/minisat/simp/SimpSolver.h
> +lib/libminisat.so.2.1.0
> +lib/libminisat.so.2
> +lib/libminisat.so
> +lib/libminisat.a
> + at dirrmtry include/minisat/utils
> + at dirrmtry include/minisat/simp
> + at dirrmtry include/minisat/mtl
> + at dirrmtry include/minisat/core
> + at dirrmtry include/minisat



-- 
William Grzybowski
------------------------------------------
Curitiba/PR - Brasil