diff options
| author | arved <arved@FreeBSD.org> | 2007-06-02 01:16:40 +0800 |
|---|---|---|
| committer | arved <arved@FreeBSD.org> | 2007-06-02 01:16:40 +0800 |
| commit | af5c41ef1db71b016ace372f15327cc76d026c47 (patch) | |
| tree | 489d36e1c36366d95379db9ffc95a129f2ca9e06 /lang/Makefile | |
| parent | 2b71078ae202e019b243472b459f35d8c5cf8b95 (diff) | |
| download | freebsd-ports-gnome-af5c41ef1db71b016ace372f15327cc76d026c47.tar.gz freebsd-ports-gnome-af5c41ef1db71b016ace372f15327cc76d026c47.tar.zst freebsd-ports-gnome-af5c41ef1db71b016ace372f15327cc76d026c47.zip | |
Add dlv, a disjunctive Datalog System
Diffstat (limited to 'lang/Makefile')
| -rw-r--r-- | lang/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/Makefile b/lang/Makefile index 9180429fa4a8..53c3d7217bb7 100644 --- a/lang/Makefile +++ b/lang/Makefile @@ -33,6 +33,7 @@ SUBDIR += cu-prolog SUBDIR += dice SUBDIR += diveintopython + SUBDIR += dlv SUBDIR += drscheme SUBDIR += dylan SUBDIR += ecl |