diff options
| author | Tilman Keskinoz <arved@FreeBSD.org> | 2007-06-01 18:10:41 +0000 |
|---|---|---|
| committer | Tilman Keskinoz <arved@FreeBSD.org> | 2007-06-01 18:10:41 +0000 |
| commit | 935f7ddc97b620aaac9bda769801c9b271f58ef3 (patch) | |
| tree | 242ae45263278fd44299ce5f42ae189c9668226c /lang/dlv | |
| parent | ef9af6892053dcbed2705ef8a14fcf34aa2bc121 (diff) | |
Notes
Diffstat (limited to 'lang/dlv')
| -rw-r--r-- | lang/dlv/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
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: |