aboutsummaryrefslogtreecommitdiff
path: root/lang/gprolog
Commit message (Collapse)AuthorAgeFilesLines
* 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. Notes: svn path=/head/; revision=426566
* - Fix trailing whitespace in pkg-descrs, categories [g-n]*Dmitry Marakasov2016-05-191-3/+3
| | | | | | | Approved by: portmgr blanket Notes: svn path=/head/; revision=415499
* 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 Notes: svn path=/head/; revision=394761
* Cleanup plistBaptiste Daroussin2014-10-271-4/+0
| | | | Notes: svn path=/head/; revision=371587
* 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. Notes: svn path=/head/; revision=361959
* - 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) Notes: svn path=/head/; revision=361775
* - Convert gmake,bzip2 to USESMartin Wilke2014-05-261-1/+1
| | | | | | | Approved by: portmgr Notes: svn path=/head/; revision=355354
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-0/+1
| | | | | | | lang) Notes: svn path=/head/; revision=327741
* 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) Notes: svn path=/head/; revision=321594
* Fix build on HEAD by adding USE_GCC=any (uses global register)Baptiste Daroussin2013-05-271-0/+1
| | | | Notes: svn path=/head/; revision=319265
* - 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 Notes: svn path=/head/; revision=306373
* - 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 Notes: svn path=/head/; revision=293152
* - remove MD5Olli Hauer2011-07-031-1/+0
| | | | Notes: svn path=/head/; revision=276987
* Sync to new bsd.autotools.mkAde Lovett2010-12-041-1/+1
| | | | Notes: svn path=/head/; revision=265663
* Punt autoconf267->autoconf268Ade Lovett2010-10-161-1/+1
| | | | Notes: svn path=/head/; revision=263089
* 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 Notes: svn path=/head/; revision=261230
* - 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 Notes: svn path=/head/; revision=257016
* 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 Notes: svn path=/head/; revision=256951
* - Update to 1.3.1Martin Wilke2010-02-122-4/+4
| | | | | | | | | PR: 143232 Submitted by: Hung-Yi Chen <gaod@hychen.org> Approved by: maintainer timeout Notes: svn path=/head/; revision=249711
* Reset vs@FreeBSD.org at his request due to lack of time.Mark Linimon2010-01-022-4/+1
| | | | Notes: svn path=/head/; revision=247007
* 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) Notes: svn path=/head/; revision=218938
* Conversion from (now defunct) autoconf-2.61 to autoconf-2.62Ade Lovett2008-08-201-1/+1
| | | | | | | Tested by: exp build run (erwin) Notes: svn path=/head/; revision=218886
* 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. Notes: svn path=/head/; revision=209357
* Switch autoconf dependencies from 2.53 or 2.59 to 2.61.Mark Linimon2007-09-301-2/+2
| | | | | | | | PR: ports/116639 Submitted by: aDe Notes: svn path=/head/; revision=200411
* Fix permissions and use PORTDOCSVolker Stolz2006-08-292-82/+5
| | | | | | | | PR: ports/100962 Submitted by: Stanislav Sedov Notes: svn path=/head/; revision=171606
* 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 Notes: svn path=/head/; revision=157394
* SHA256ifyEdwin Groothuis2006-01-221-0/+3
| | | | | | | Approved by: krion@ Notes: svn path=/head/; revision=154157
* 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 Notes: svn path=/head/; revision=153180
* BROKEN on 6.0: Does not buildKris Kennaway2005-11-211-0/+4
| | | | Notes: svn path=/head/; revision=148903
* Mass-conversion to the USE_AUTOTOOLS New World Order. The code presentAde Lovett2005-11-151-1/+1
| | | | | | | | | | | | | | | | | | | | in bsd.autotools.mk essentially makes this a no-op given that all the old variables set a USE_AUTOTOOLS_COMPAT variable, which is parsed in exactly the same way as USE_AUTOTOOLS itself. Moreover, USE_AUTOTOOLS has already been extensively tested by the GNOME team -- all GNOME 2.12.x ports use it. Preliminary documentation can be found at: http://people.FreeBSD.org/~ade/autotools.txt which is in the process of being SGMLized before introduction into the Porters Handbook. Light blue touch-paper. Run. Notes: svn path=/head/; revision=148323
* At Kris's request, back out the MACHINE_ARCH spelling correction untilDavid E. O'Brien2005-04-121-1/+1
| | | | | | | after 5.4-RELEASE. Notes: svn path=/head/; revision=133116
* Assist getting more ports working on AMD64 by obeying theDavid E. O'Brien2005-04-111-1/+1
| | | | | | | Ports Collection documentation and use 'ARCH' rather than 'MACHINE_ARCH'. Notes: svn path=/head/; revision=132992
* Unbreak on 5.x by disabling fast-calls. Notice that you will still seeVolker Stolz2005-03-151-1/+1
| | | | | | | | | | build errors if you have -march=pentium4 in your CFLAGS PR: ports/78794 Submitted by: Arne Wörner Notes: svn path=/head/; revision=131308
* Fix plistVolker Stolz2005-02-181-0/+1
| | | | | | | Noticed by: cluster Notes: svn path=/head/; revision=129128
* - Update to CVS snapshot 1.2.18 (tarball from Debian)Volker Stolz2005-02-173-159/+175
| | | | | | | | - Use PORTDOCS/EXAMPLESDIR - We still use the pre-built docs from 1.2.16 Notes: svn path=/head/; revision=129096
* BROKEN on 5.x: Does not compileKris Kennaway2004-09-181-1/+7
| | | | | | | Approved by: portmgr (self) Notes: svn path=/head/; revision=118243
* Fix plist.Volker Stolz2004-04-281-0/+1
| | | | | | | | Noticed by: bento Approved by: linimon (mentor) Notes: svn path=/head/; revision=107840
* SIZE-ify distinfoVolker Stolz2004-03-221-0/+1
| | | | | | | | Reminded by: trevor Approved by: linimon (mentor) Notes: svn path=/head/; revision=104914
* - Update MAINTAINER-line of my ports to new @FreeBSD.org addressVolker Stolz2004-03-101-1/+1
| | | | | | | | | - Nuke 2x USE_SIZE while here Approved by: linimon (mentor) Notes: svn path=/head/; revision=103524
* Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.Joe Marcus Clarke2004-02-041-1/+1
| | | | | | | (Part 2) Notes: svn path=/head/; revision=99920
* - Enable line-edit (works fine on -STABLE & -CURRENT)Kirill Ponomarev2003-12-171-2/+3
| | | | | | | | | | | - Bump PORTREVISION - Grab maintainership PR: 60323 Submitted by: Volker Stolz <stolz@i2.informatik.rwth-aachen.de> Notes: svn path=/head/; revision=96044
* Per bento logs, this port won't configure except on i386.Erwin Lansing2003-10-051-0/+2
| | | | | | | | | | | | Mark it as ignore to warn the unwary. (There's probably little reason to mark it as broken since it has no maintainer. Any volunteers?) PR: 57594 Submitted by: Mark Linimon <linimon@lonesome.com> Notes: svn path=/head/; revision=90298
* - Fix buildErwin Lansing2003-06-221-13/+12
| | | | | | | | | | | - Support CFLAGS properly - Fix COMMENT format PR: 53390 Submitted by: KATO Tsuguru <tkato@prontomail.com> Notes: svn path=/head/; revision=83454
* Reset bouncing maintainer addressKris Kennaway2003-05-181-1/+1
| | | | Notes: svn path=/head/; revision=81241
* BROKEN: Does not buildKris Kennaway2003-05-181-0/+2
| | | | Notes: svn path=/head/; revision=81234
* De-pkg-comment.Akinori MUSHA2003-02-212-1/+1
| | | | Notes: svn path=/head/; revision=76037
* Fix pkg-plist.Norikatsu Shigemura2002-11-231-9/+0
| | | | | | | | PR: ports/45615 Submitted by: Douglas Anestad <yotta@anestad.com> (maintainer) Notes: svn path=/head/; revision=70878
* Fix problems with two files not correctly upgraded duringNorikatsu Shigemura2002-11-233-165/+198
| | | | | | | | | | upgrade from 1.2.1 to 1.2.16. PR: ports/45615 Submitted by: Douglas Anestad <yotta@anestad.com> (maintainer) Notes: svn path=/head/; revision=70818
* Maintainer update to version 1.2.16Edwin Groothuis2002-11-234-14/+18
| | | | | | | | PR: ports/45381 Submitted by: Douglas Anestad <yotta@anestad.com> <yotta@anestad.com> Notes: svn path=/head/; revision=70797
* add gprologYing-Chieh Liao2001-07-086-0/+222
A free Prolog compiler developed by Daniel Diaz PR: 28651 Submitted by: Douglas Anestad <yotta@dougdidit.com> Notes: svn path=/head/; revision=44911
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-17 11:02:32 +0000