Commit Graph

17 Commits

Author SHA1 Message Date
naddy
e93f9d0ca9 drop RCS Ids 2022-03-11 19:28:46 +00:00
sthen
3318ced016 replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes 2019-07-12 20:46:54 +00:00
sthen
b17bf3228e update curses WANTLIB entries following the change in base libraries to use soname 2019-05-17 16:19:37 +00:00
zhuk
bce19fb1f9 The datalog port failed to build with our libtool mostly because it stopped
using Lua from system. Make it use Lua 5.3 (same as one bundled in) again.

okay jasper@ (MAINTAINER)
2017-07-27 19:55:46 +00:00
jasper
eeefee815a update to datalog-2.6 2016-06-17 18:37:41 +00:00
jasper
1a524fb148 update to datalog-2.5 2015-05-10 19:12:25 +00:00
jasper
8911c48483 update to datalog-2.4 2013-08-06 18:08:16 +00:00
espie
0662a4e9d6 PERMIT_* / REGRESS->TEST sweep 2013-03-11 11:20:26 +00:00
jasper
062044e273 - update to datalog-2.3 2012-12-28 16:43:11 +00:00
jasper
c3990dee0b sync after recent lua.port.mk change 2012-09-19 08:15:08 +00:00
jasper
144e2930d7 handle multiple lua versions, for now everything builds with the "old" 5.1 in the new location.
use FLAVOR=lua52 to use lua 5.2 with these ports.
2012-07-10 15:22:44 +00:00
jasper
8e1b3389ac oops 2012-05-11 21:37:41 +00:00
jasper
cebfd4813c - update to 2.2 2012-05-11 21:36:48 +00:00
jasper
c5d049bba3 - upstream re-rolled tarball with adjusted included mini-lua. 2011-08-24 20:22:31 +00:00
jasper
89368b0e65 - upstream mirror old distfiles on sf.net, so remove comment and backup site 2011-07-13 11:39:24 +00:00
jasper
6e312ed33f - update to 1.6
- do some real testing during regress
2011-07-02 10:10:37 +00:00
jasper
ccc1c3bc39 import datalog 1.5
The Datalog package contains a lightweight deductive database system.
Queries and database updates are expressed using Datalog -- a
declarative logic language in which each formula is a function-free
Horn clause, and every variable in the head of a clause must appear
in the body of the clause. The use of Datalog syntax and an
implementation based on tabling intermediate results, ensures that
all queries terminate.

from Daniel Dickman
ok sthen@
2011-07-02 09:48:03 +00:00