head	1.9;
access;
symbols
	RELEASE_8_3_0:1.6
	RELEASE_9_0_0:1.6
	RELEASE_7_4_0:1.6
	RELEASE_8_2_0:1.6
	RELEASE_6_EOL:1.6
	RELEASE_8_1_0:1.6
	RELEASE_7_3_0:1.6
	RELEASE_8_0_0:1.6
	RELEASE_7_2_0:1.5
	RELEASE_7_1_0:1.5
	RELEASE_6_4_0:1.5
	RELEASE_5_EOL:1.5
	RELEASE_7_0_0:1.4
	RELEASE_6_3_0:1.4;
locks; strict;
comment	@# @;


1.9
date	2013.03.10.16.12.21;	author svnexp;	state Exp;
branches;
next	1.8;

1.8
date	2012.11.17.05.58.48;	author svnexp;	state Exp;
branches;
next	1.7;

1.7
date	2012.06.21.13.22.07;	author arved;	state Exp;
branches;
next	1.6;

1.6
date	2009.08.31.07.27.27;	author arved;	state Exp;
branches;
next	1.5;

1.5
date	2007.12.12.12.35.43;	author arved;	state Exp;
branches;
next	1.4;

1.4
date	2007.10.28.12.45.04;	author arved;	state Exp;
branches;
next	1.3;

1.3
date	2007.06.02.17.27.15;	author arved;	state Exp;
branches;
next	1.2;

1.2
date	2007.06.01.18.10.40;	author arved;	state Exp;
branches;
next	1.1;

1.1
date	2007.06.01.17.16.40;	author arved;	state Exp;
branches;
next	;


desc
@@


1.9
log
@## SVN ## Exported commit - http://svnweb.freebsd.org/changeset/base/313812
## SVN ## CVS IS DEPRECATED: http://wiki.freebsd.org/CvsIsDeprecated
@
text
@# Created by: arved
# $FreeBSD: head/lang/dlv/Makefile 313812 2013-03-10 07:01:48Z rm $

PORTNAME=	dlv
PORTVERSION=	20121217
CATEGORIES=	lang
MASTER_SITES=	http://www.dlvsystem.com/files/
DISTNAME=	dlv.i386-linux-elf-static.bin
EXTRACT_SUFX=

MAINTAINER=	ports@@FreeBSD.org
COMMENT=	Disjunctive Datalog System

NO_BUILD=	yes
PLIST_FILES=	bin/dlv
ONLY_FOR_ARCHS=	i386 amd64
RESTRICTED=	Not sure if we can redistribute it

do-extract:
	${RM} -rf ${WRKDIR}
	${MKDIR} ${WRKDIR}

do-install:
	${INSTALL_SCRIPT} ${DISTDIR}/${DISTNAME} ${PREFIX}/bin/dlv
	${BRANDELF} -t Linux ${PREFIX}/bin/dlv

.include <bsd.port.mk>
@


1.8
log
@Switch exporter over
@
text
@d1 2
a2 5
# New ports collection Makefile for:	dlv
# Date created:				2007-06-01
# Whom:					arved
#
# $FreeBSD: head/lang/dlv/Makefile 300896 2012-07-14 13:54:48Z beat $
d5 1
a5 1
PORTVERSION=	20111221
d7 1
a7 1
MASTER_SITES=	http://www.dlvsystem.com/dlvsystem/files/
d12 1
a12 1
COMMENT=	A Disjunctive Datalog System
@


1.7
log
@Update to more recent version.

Drop maintainership, i forgot all about dlv :(

Changelog:	http://www.dlvsystem.com/dlvsystem/index.php/Version_history

Reported by:	watermelon@@jabber.metalab.at via Jabber
@
text
@d5 1
a5 1
# $FreeBSD$
@


1.6
log
@Layout of the MASTER_SITE changed. Adjust URLs
@
text
@d8 1
a8 1
PORTVERSION=	20071011
d10 1
a10 2
MASTER_SITES=	http://www.dbai.tuwien.ac.at/research/project/dlv/ \
		http://www.dbai.tuwien.ac.at/proj/dlv/
d14 1
a14 1
MAINTAINER=	arved@@FreeBSD.org
d27 1
a27 1
	${INSTALL_PROGRAM} ${DISTDIR}/${DISTNAME} ${PREFIX}/bin/dlv
@


1.5
log
@Unbreak by updating to 20071011
Changelog at http://www.dbai.tuwien.ac.at/proj/dlv/
@
text
@d10 2
a11 1
MASTER_SITES=	http://www.dbai.tuwien.ac.at/proj/dlv/
@


1.4
log
@Mark BROKEN, while i am trying to figure out, why the binary changed.

Reported by: 	pointyhat
@
text
@d8 1
a8 1
PORTVERSION=	20060714
a20 1
BROKEN=		Size mismatch
@


1.3
log
@Fix "extract" by creating a WRKDIR

Reported by:	pointyhat
@
text
@d21 1
@


1.2
log
@Add dlv to LEGAL, no information about redistribution
@
text
@d23 2
@


1.1
log
@Add dlv, a disjunctive Datalog System
@
text
@d20 1
@

