From 935f7ddc97b620aaac9bda769801c9b271f58ef3 Mon Sep 17 00:00:00 2001 From: Tilman Keskinoz Date: Fri, 1 Jun 2007 18:10:41 +0000 Subject: [PATCH] Add dlv to LEGAL, no information about redistribution --- LEGAL | 1 + lang/dlv/Makefile | 1 + 2 files changed, 2 insertions(+) diff --git a/LEGAL b/LEGAL index 44955e023f48..4bff430409e2 100644 --- a/LEGAL +++ b/LEGAL @@ -158,6 +158,7 @@ djbdns* dns/djbdns No license -- see http://cr.yp.to/softwarelaw.html djbfft-* math/djbfft No license -- see http://cr.yp.to/softwarelaw.html +dlv lang/dlv Not sure if we can redistribute it dn*.tgz emulators/darcnes Commercial use is restricted dnews_* news/dnews Only free for schools and universities, but they have to diff --git a/lang/dlv/Makefile b/lang/dlv/Makefile index c209e8738818..e3829a8c4617 100644 --- a/lang/dlv/Makefile +++ b/lang/dlv/Makefile @@ -17,6 +17,7 @@ COMMENT= A 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: