19:35 rm 

- add (actually restore) patch that fix build when OpenJDK is installed

PR:             169243
Submitted by:   Marcin Cieslak <saper at saper dot info>
Approved by:    maintainer timeout (2weeks+)

20:17 glarkin 

- Updated to latest stable version (5.10.5)
- Removed BROKEN line
- Removed CONFLICTS - binaries were renamed in this release, so no problem
- Set new SWIPLDIR variable to use in pkg-plist and Makefile, that
  contains the new directory name that swi-pl now using.
- Undefined HAVE_EXECINFO too in src/config.h to let it build successfuly
- Adjusted local patches to new version (not tested on "alpha" for sure :))
- Removed files/patch-configure to make --without-jpl in CONFIGURE_ARGS
  actually work

PR:             ports/161414
Submitted by:   Ruslan Mahmatkhanov <cvs-src@yandex.ru>
Approved by:    g.gonter@ieee.org (maintainer; timeout - 2+ weeks)

22:14 rene 

Update to 5.8.3

PR:             ports/144815
Submitted by:   rene
Approved by:    tabthorpe, maintainer timeout