summaryrefslogtreecommitdiff
path: root/lang/gprolog
AgeCommit message (Expand)AuthorFilesLines
2015-11-03Add SHA512 digests for distfiles for lang categoryagc1-1/+2
2013-06-13Add another site.asau1-2/+3
2013-06-11Update to GNU Prolog 1.4.4asau3-11/+12
2012-12-14Update to 1.4.2, based on patches by Mayuresh in PR 47325.wiz5-72/+12
2012-10-02Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.asau1-3/+1
2012-05-20Document the reason for MAKE_JOBS_SAFE=no as it's not the usual sort ofdholland1-1/+2
2012-05-19lang/gprolog: Build failure is not jobs safemarino1-1/+3
2010-05-19Update to GNU Prolog version 1.3.1.asau10-160/+34
2009-06-14Remove @dirrm entries from PLISTsjoerg1-11/+1
2009-06-04Make it build on DragonFly.hasso3-11/+51
2008-09-07Make this configure for NetBSD amd64. While here, add DESTDIR support.dholland9-9/+138
2007-12-01Updated gprolog to 1.3.0.rillig17-448/+157
2005-04-11Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used.tv1-2/+1
2005-02-24Add RMD160 digestsagc1-1/+2
2004-04-28Convert to buildlink3.snj1-2/+2
2004-01-20Move WRKSRC definition away from the first paragraph in a Makefile.agc1-2/+2
2003-07-07Add support for NetBSD on SPARC systems.jtb11-57/+99
2003-06-23Make this work on powerpc.jtb12-20/+228
2003-03-29Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz.jmmv1-3/+2
2002-11-13Update to gprolog 1.2.16.jschauma17-778/+144
2001-11-01Move pkg/ files into package's toplevel directoryzuntum2-1/+1
2001-04-19Move to sha1 digests, and add distfile sizes.agc1-2/+3
2001-04-17+ move the distfile digest/checksum value from files/md5 to distinfoagc3-19/+17
2001-02-17Move the COMMENT from being in its own file to a definition in theagc2-2/+2
2000-08-25Fix compilation on ELF. Patches provided by Alistair Crooks. (Thanks, Al!)wiz3-4/+21
2000-07-03Mark this package as working for i386 and sparc platforms, with anyagc1-2/+2
2000-07-03Import gprolog-1.1.6, the GNU prolog compiler and interpreter, intoagc19-0/+905
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-04 09:29:19 +0000