aboutsummaryrefslogtreecommitdiffstats
path: root/math/aspcud/Makefile
blob: 581326cf078f998a5607b0677f89bfa339987b09 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
# Created by: Vsevolod Stakhov <vsevolod@FreeBSD.org>
# $FreeBSD$

PORTNAME=   aspcud
PORTVERSION=    1.9.1
DISTVERSIONSUFFIX=  -source
PORTREVISION=   8
CATEGORIES= math ports-mgmt sysutils
MASTER_SITES=   SOURCEFORGE/potassco/${PORTNAME}/${PORTVERSION}

MAINTAINER= vsevolod@FreeBSD.org
COMMENT=    Advanced solver for package dependencies

LICENSE=    GPLv3

BUILD_DEPENDS=  re2c:devel/re2c
LIB_DEPENDS=    libboost_thread.so:devel/boost-libs
RUN_DEPENDS=    gringo:math/gringo \
        clasp:math/clasp \
        bash:shells/bash

USES=   compiler:c++11-lang cmake:outsource python:run

CMAKE_ARGS+=    -DCMAKE_INSTALL_MANDIR=${MANPREFIX}/man

.include <bsd.port.mk>
atabases/akonadi?h=gnome-3.28&id=f96e8dc74e83b70606afed297e3b14e903d9c1dc'>- Backport fix for --datadir=... syntax for embedded mysql databasefluffy2010-09-062-0/+16 * Update to 1.4.0 for KDE SC 4.5makc2010-09-033-7/+8 * - Bump PORTREVISION after recent boost updatefluffy2010-06-131-0/+1 * - Upadte Akonadi to 1.3.1 releasefluffy2010-05-114-81/+8 * - update to 1.4.1dinoex2010-03-281-1/+1 * - Bump PORTREVISIONmiwi2009-11-271-0/+1 * - Update to 1.2.1miwi2009-11-272-0/+73 * The FreeBSD KDE is please to announce the release of KDE 4.3.1,tabthorpe2009-09-023-7/+6 * Mk/bsd.kde4.mk:makc2009-08-101-5/+2 * The KDE FreeBSD team is proud to announce the release of KDE 4.3.0miwi2009-08-053-8/+14 * - Update boost to 1.39pav2009-07-281-1/+1 * Update KDE ports to 4.2.3makc2009-05-103-7/+6 * - Update MASTER_SITESmiwi2009-04-221-1/+1 * - Mark all kde4 ports MAKE_JOBS_UNSAFEmiwi2009-04-171-0/+1 * bump PORTREVISION after cmake updatemakc2009-03-251-1/+1 * Bump PORTREVISION after changing dependenciesmakc2009-03-091-0/+1 * Update KDE to 4.2.1.makc2009-03-091-6/+3 * The KDE FreeBSD team is proud to announce the release of KDE 4.2.0miwi2009-02-093-21/+14 * kde@freebsd team is pleased to announce KDE 4.1.4, the last bugfix release in...makc2009-01-141-1/+3