diff options
Diffstat (limited to 'lang')
| -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: |