summaryrefslogtreecommitdiff
path: root/lang/gprolog (follow)
Commit message (Collapse)AuthorAgeFilesLines
* lang/gprolog: update to 1.5.0Eugene Grosbein2021-07-115-63/+38
| | | | | | | | | | | | | Port changes: - the version 1.5.0 now recognizes clang for amd64 so the patch files/patch-EnginePl_machine.h reduced but it is still needed for i386 build; - this version correctly defines NO_MACHINE_REG_FOR_REG_BANK and adds -fcommon for clang, so CFLAGS reduced too; - the patch files/patch-Ma2Asm_x86__64__any.c rebuilt for new code, it is still needed as build fails with an error without the patch: Fatal Error: Segmentation Violation (bad address: 0x100ec814853)
* lang/gprolog: unbreak for FreeBSD 13+Eugene Grosbein2021-05-141-2/+2
| | | | It needs GNU as to build and -fcommon to link.
* lang/gprolog: mark BROKENDmitry Marakasov2021-04-261-0/+2
|
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
|
* lang/gprolog: recover GNU Prolog under FreeBSD.Eugene Grosbein2020-11-236-0/+326
| | | | | | | | | | | | | | | | | | | | | Update to version 1.4.5 released in 2020. Make it build and run with Clang 10: - clang has no register reservation for x86, hence patch-EnginePl_machine.h and -DNO_MACHINE_REG_FOR_REG_BANK to prevent using missing feature; - add patch-Ma2Asm_x86__64__any.c fetched from upstream SourceForge post-release commit dealing with PIC issues; - disable usage of spinlocks that results in a hang eating all available CPU cycles; fixed with -DUSE_LOCKS=1 -DUSE_RECURSIVE_LOCKS=1 -DUSE_SPIN_LOCKS=0; - the software uses bundled dlmalloc dated back 2011 that replaces functions like calloc() with own implemenations and it's calloc() sometimes fails to clear allocated memory; this results in SIGSEGV when its own hash-table implementation dereferences junk that supposed to be NULL pointer, so it fails to complete build; fixed with MMAP_CLEARS=0. PR: 231393
* Remove expired ports:Rene Ladan2019-09-014-262/+0
| | | | | | | | | | | | | | | 2019-08-31 devel/pure-stldict: Depends on expiring devel/llvm35 2019-08-31 lang/dmd1: No longer supported upstream 2019-08-31 lang/gprolog: Abandonware upstream (more than five years), fails in various ways with remotely recent compilers 2019-08-31 math/pure-mpfr: Depends on expiring devel/llvm35 2019-08-31 math/pure-rational: Depends on expiring devel/llvm35 2019-08-31 net/pure-sockets: Depends on expiring devel/llvm35 2019-08-31 textproc/pure-csv: Depends on expiring devel/llvm35 2019-08-31 textproc/pure-xml: Depends on expiring devel/llvm35 2019-08-31 x11-toolkits/pure-tk: Depends on expiring devel/llvm35 2019-08-31 databases/pure-sql3: Depends on expiring devel/llvm35 2019-08-31 devel/pure-readline: Depends on expiring devel/llvm35 2019-08-31 devel/pure-stllib: Depends on expiring devel/llvm35
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-1/+1
| | | | | | | | | | | | | | | as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3 to GCC 9.1 under most circumstances now after revision 507371. This includes ports - with USE_GCC=yes or USE_GCC=any, - with USES=fortran, - using Mk/bsd.octave.mk which in turn features USES=fortran, and - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang, c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib plus, everything INDEX-11 shows with a dependency on lang/gcc9 now. PR: 238330
* Add DEPRECATED againAntoine Brodin2019-04-071-1/+1
|
* Bump expiration date and reference PR #231393.Matthias Andree2019-03-081-2/+4
|
* Mark BROKEN: fails to buildAntoine Brodin2018-12-151-0/+1
| | | | Reported by: pkg-fallout
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-12-121-1/+1
| | | | | | | | | | | | | | | defined via Mk/bsd.default-versions.mk which has moved from GCC 7.4 t GCC 8.2 under most circumstances. This includes ports - with USE_GCC=yes or USE_GCC=any, - with USES=fortran, - using Mk/bsd.octave.mk which in turn features USES=fortran, and - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang, c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib plus, as a double check, everything INDEX-11 showed depending on lang/gcc7. PR: 231590
* The last years this port, based on an upstream abandoned half a decadeGerald Pfeifer2018-11-031-0/+3
| | | | | | | | | | | | | | | | | | ago, has merely seen patching and prodding by several of us, often when it got into the way of updates of other parts of the Ports Collection. This is the case once again with a pending update of GCC to version 8, where we run into gmake[2]: Entering directory '/wrkdirs/usr/ports/lang/gprolog/work/gprolog-1.4.4/src/Fd2C' gplc -c --fast-math fd2c.pl =>> Killing runaway build after 7200 seconds with no output after already workarounds in place for other versions of remotely recent compilers. Bite the bullet and mark for deprecation and removal one-and-a-half months from now PR: 231590
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-07-291-1/+1
| | | | | | | | | | | | | | in the ports tree (via Mk/bsd.default-versions.mk and lang/gcc) which has now moved from GCC 6 to GCC 7 by default. This includes ports - featuring USE_GCC=yes or USE_GCC=any, - featuring USES=fortran, - using Mk/bsd.octave.mk which in turn features USES=fortran, and those - with USES=compiler specifying one of openmp, nestedfct, c11, c++0x, c++11-lib, c++11-lang, c++14-lang, c++17-lang, or gcc-c++11-lib. PR: 222542
* Bump PORTREVISIONs of all users of math/mpc that we just updated toGerald Pfeifer2018-03-101-1/+1
| | | | version 1.1.0 (via revision 464079).
* Fix pkg-plist for FD option.Tijl Coosemans2017-12-251-5/+5
|
* - Remove unneeded USE_AUTOTOOLS.Tijl Coosemans2017-12-252-26/+168
| | | | - Various cleanups + regenerate pkg-plist.
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2017-09-101-1/+1
| | | | | | | | | | | | | | (via Mk/bsd.default-versions.mk and lang/gcc) which has moved from GCC 5.4 to GCC 6.4 under most circumstances. This includes ports - with USE_GCC=yes or USE_GCC=any, - with USES=fortran, - using Mk/bsd.octave.mk which in turn features USES=fortran, and - with USES=compiler specifying openmp, nestedfct, c++11-lib, c++11-lang, c++14-lang, c++0x, c11, or gcc-c++11-lib. PR: 219275
* Don't override existing configure args.Tobias C. Berner2017-08-181-1/+1
| | | | Reported by: rakuco
* Disable machine registers on i386.Tobias C. Berner2017-08-181-1/+8
| | | | | | | | Follow debians lead [1] and pass --disable-regs on i386, to fix build with gcc6. [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=852008 PR: 219275
* Bump PORTREVISIONs for ports depending on the canonical version of GCC andGerald Pfeifer2017-04-011-1/+1
| | | | | | | | | | | | | | lang/gcc which have moved from GCC 4.9.4 to GCC 5.4 (at least under some circumstances such as versions of FreeBSD or platforms). This includes ports - with USE_GCC=yes or USE_GCC=any, - with USES=fortran, - using using Mk/bsd.octave.mk which in turn has USES=fortran, and - with USES=compiler specifying openmp, nestedfct, c++11-lib, c++14-lang, c++11-lang, c++0x, c11, or gcc-c++11-lib. PR: 216707
* lang/gprolog: Clean up port (fix build with non-default options)John Marino2017-02-091-34/+26
| | | | | | | | | | | The no-docs and no-examples options weren't correct. The configuration value in those causes were no absolute paths as apparently expected, but relative to STAGEDIR. Fix by letting them install and use post-install option targets to remove if necessary. Do other cleanup such as wrap to 80 (when possible) and use options framework. Also remove option-dependent packagename; that isn't conventional. Also make configure target generic by platform.
* lang/gprolog: pass -O3 to unbreak with gcc5Jan Beich2017-02-061-1/+2
| | | | | | | | gplc -c --fast-math fd2c.pl ====>> Killing runaway build after 7200 seconds with no output PR: 216707 Reported by: antoine (via exp-run)
* Bump PORTREVISIONS for ports depending on the canonical version of GCC andGerald Pfeifer2016-11-201-0/+1
| | | | | | | | | lang/gcc which have moved from GCC 4.8.5 to GCC 4.9.4 (at least under some circumstances such as versions of FreeBSD or platforms). In particular that is ports with USE_GCC=yes, USE_GCC=any, or one of gcc-c++11-lib, openmp, nestedfct, c++11-lib as well as c++14-lang, c++11-lang, c++0x, c11 requested via USES=compiler.
* - Fix trailing whitespace in pkg-descrs, categories [g-n]*Dmitry Marakasov2016-05-191-3/+3
| | | | Approved by: portmgr blanket
* Reset maintainerErwin Lansing2015-08-191-1/+1
| | | | | | | | <nsmoot@make.sh>: host in1-smtp.messagingengine.com[66.111.4.74] said: 550 5.1.1 <nsmoot@make.sh>: Recipient address rejected: User unknown in local recipient table (in reply to RCPT TO command) Sponsored by: DK Hostmaster A/S
* Cleanup plistBaptiste Daroussin2014-10-271-4/+0
|
* Add DOCS to OPTIONS_DEFINE to ports that check for PORT_OPTIONS:MDOCS.Adam Weinberger2014-07-151-1/+1
| | | | | I'm not touching ruby19/ruby20/ruby21, but they also check for :MDOCS without defining it in OPTIONS_DEFINE.
* - Update to 1.4.4Wen Heping2014-07-144-23/+30
| | | | | | | | | | - Stage support - Add LICENSE - Pet portlint PR: 191072 Submitted by: Keith Gaughan<k@stereochro.me> Approved by: maintainer(timeout, >28 days)
* - Convert gmake,bzip2 to USESMartin Wilke2014-05-261-1/+1
| | | | Approved by: portmgr
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-0/+1
| | | | lang)
* Make the port fetchable again.Raphael Kubo da Costa2013-06-221-1/+2
| | | | | | | Point MASTER_SITES to old_versions/, which is where previous releases go. PR: ports/179656 Submitted by: John Marino <draco@marino.st> (maintainer)
* Fix build on HEAD by adding USE_GCC=any (uses global register)Baptiste Daroussin2013-05-271-0/+1
|
* - Update to 1.4.1Jason E. Hale2012-10-252-15/+14
| | | | | | | | | | | | | | - Trim Makefile header While here: - Remove indefinite article from COMMENT - Convert to new options framework PR: ports/172180 Submitted by: wen@ Approved by: maintainer timeout (25 days) makc, avilla (mentors, implicit) Feature safe: yes
* - Update to 1.4.0 and update maintainer addressJason Helfman2012-03-123-5/+6
| | | | | | PR: ports/165961 Submitted by: maintainer, nsmoot@make.sh Feature safe: yes
* - remove MD5Olli Hauer2011-07-031-1/+0
|
* Sync to new bsd.autotools.mkAde Lovett2010-12-041-1/+1
|
* Punt autoconf267->autoconf268Ade Lovett2010-10-161-1/+1
|
* Autotools update. Read ports/UPDATING 20100915 for details.Ade Lovett2010-09-151-2/+2
| | | | | Approved by: portmgr (for Mk/bsd.port.mk part) Tested by: Multiple -exp runs
* - Fix plist with NOPORTDOCS/NOPORTEXAMPLES. [1]Stefan Walter2010-06-262-71/+16
| | | | | | | | | - Update MAINTAINER. [2] PR: ports/141440 [2] Submitted by: Nathan Smoot <n.smoot@gmail.com> [2] Patch by: swell.k@gmail.com [1] Feature safe: yes
* Make it build on amd64, too, by adjusting CONFIGURE_TARGET.Stefan Walter2010-06-251-1/+2
| | | | | | PR: 141440 Submitted by: Nathan Smoot <putwastehere@gmail.com> Feature safe: yes
* - Update to 1.3.1Martin Wilke2010-02-122-4/+4
| | | | | | PR: 143232 Submitted by: Hung-Yi Chen <gaod@hychen.org> Approved by: maintainer timeout
* Reset vs@FreeBSD.org at his request due to lack of time.Mark Linimon2010-01-022-4/+1
|
* Update CONFIGURE_ARGS for how we pass CONFIGURE_TARGET to configure script.Rong-En Fan2008-08-211-1/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Specifically, newer autoconf (> 2.13) has different semantic of the configure target. In short, one should use --build=CONFIGURE_TARGET instead of CONFIGURE_TARGET directly. Otherwise, you will get a warning and the old semantic may be removed in later autoconf releases. To workaround this issue, many ports hack the CONFIGURE_TARGET variable so that it contains the ``--build='' prefix. To solve this issue, under the fact that some ports still have configure script generated by the old autoconf, we use runtime detection in the do-configure target so that the proper argument can be used. Changes to Mk/*: - Add runtime detection magic in bsd.port.mk - Remove CONFIGURE_TARGET hack in various bsd.*.mk - USE_GNOME=gnometarget is now an no-op Changes to individual ports, other than removing the CONFIGURE_TARGET hack: = pkg-plist changed (due to the ugly CONFIGURE_TARGET prefix in * executables) - comms/gnuradio - science/abinit - science/elmer-fem - science/elmer-matc - science/elmer-meshgen2d - science/elmerfront - science/elmerpost = use x86_64 as ARCH - devel/g-wrap = other changes - print/magicfilter GNU_CONFIGURE -> HAS_CONFIGURE since it's not generated by autoconf Total # of ports modified: 1,027 Total # of ports affected: ~7,000 (set GNU_CONFIGURE to yes) PR: 126524 (obsoletes 52917) Submitted by: rafan Tested on: two pointyhat 7-amd64 exp runs (by pav) Approved by: portmgr (pav)
* Conversion from (now defunct) autoconf-2.61 to autoconf-2.62Ade Lovett2008-08-201-1/+1
| | | | Tested by: exp build run (erwin)
* Update to 1.3.0. It might also build on amd64 now, but I haven't been ableVolker Stolz2008-03-194-51/+7
| | | | to run it on a tinderbox, so it stays i386 for now.
* Switch autoconf dependencies from 2.53 or 2.59 to 2.61.Mark Linimon2007-09-301-2/+2
| | | | | PR: ports/116639 Submitted by: aDe
* Fix permissions and use PORTDOCSVolker Stolz2006-08-292-82/+5
| | | | | PR: ports/100962 Submitted by: Stanislav Sedov
* Somehow GCC 3.x generates a gprolog binary which fails immediately on startup.Volker Stolz2006-03-161-6/+3
| | | | | | | | | | Fall back to GCC 2.95 and bump PORTREVISION accordingly. This update also brings back the FD-solver! Maybe somebody should check what other distros do about this, but e.g. blindly applying the Debian patch set doesn't fix this error. Reminded by: Fernando López
* SHA256ifyEdwin Groothuis2006-01-221-0/+3
| | | | Approved by: krion@
* Unbreak: Build w/o FD-solver on 6.x+Volker Stolz2006-01-102-7/+11
| | | | Currently I do not have the resources to find out why it's breaking
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-24 05:51:39 +0000