/multimedia/kmplayer/

repository'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/math/proofgeneral
Commit message (Collapse)AuthorAgeFilesLines
* Install texinfo files (GNU info) into ${PREFIX}/share/infobapt2018-11-111-2/+2
| | | | | | | | | | | | | | | | | | | | | | | After a discussion on the mailing list on moving manpages to ${PREFIX}/share/man for consistency with base where it is installed in usr/share/man, it appeared the same should happen to GNU info files which were installed under share in base and not in ports. Now texinfo is not in base on any of the supported version of FreeBSD it is possible to proceed to this move and it is easier to do than the manpage change. Other benefit than consistency are less patching: all build tools but cmake are expecting info files to be under share/info and cmake (patched here) was having an exception for BSD so the patch makes FreeBSD case less specific for them Bump revision of all impacted ports PR: 232907 exp-run by: antoine Differential Revision: https://reviews.freebsd.org/D17816
* USES=emacs ports: Bump PORTREVISION for editors/emacs 26.1 upgradejrm2018-05-311-1/+1
| | | | | Or, mark ports that fail to build as BROKEN. https://lists.freebsd.org/pipermail/freebsd-ports/2018-May/113518.html
* Flavorize and modernize Emacs portsjrm2018-02-021-20/+18
| | | | | | | | | | | | | | | | | | | | | - Convert USE_EMACS to USES=emacs - Remove editors/emacs-nox11 (refer to nox flavors of editors/emacs and editors/emacs-devel) - Permit default Emacs flavor to be specified in make.conf - Rename japanese/migemo-emacs23 to japanese/migemo-emacs - Update and simplify audio/emms and fix build on FreeBSD 10 [1] - Update databases/bbdd and fix build on FreeBSD 10 [1] - Update editors/emacs-devel - Ensure Makefile shell commands that change directory are executed in a subshell - Silence some portlint warnings [1] By not depending on base texinfo PR: 225404 Reviewed by: antoine Approved by: portmgr (mat) ashish (maintainer) Differential Revision: https://reviews.freebsd.org/D13506
* Chase Emacs updateashish2017-09-121-1/+1
|
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.mat2016-04-011-3/+3
| | | | | With hat: portmgr Sponsored by: Absolight
* - Add NO_ARCHamdmi32015-09-041-3/+7
| | | | | | - Don't install empty docdirs Approved by: portmgr blanket
* - Don't cat pkg-message from Makefilesamdmi32015-05-271-3/+0
| | | | Approved by: portmgr blanket
* - Chase GNU Emacs updatesashish2015-04-271-1/+1
| | | | PR: 199553
* Cleanup plistantoine2014-11-141-20/+0
|
* - Chase GNU Emacs updatesashish2014-11-051-1/+1
| | | | PR: 194624
* Retire MANCOMPRESSED.mat2014-09-181-1/+0
| | | | | | | | | Also the compat NO_INSTALL_MANPAGES shim. Differential Revision: https://reviews.freebsd.org/D730 Reviewed by: antoine With hat: portmgr Sponsored by: Absolight
* Convert a bunch of EXTRACT_SUFX=... into USES=tar:...adamw2014-07-301-2/+1
| | | | Approved by: portmgr (not really, but touches unstaged ports)
* - Add stage supportdanilo2014-07-172-13/+22
| | | | | | | | - Use ${PORT_OPTIONS:MDOCS} instead of !defined(NOPORTDOCS) - Uses shebangfix PR: ports/191503 Submitted by: Timothy Beyer <beyert@cs.ucr.edu>
* Remove indefinite articles and trailing periods from COMMENT, plus minorolgeni2014-07-071-1/+1
| | | | | | | | | COMMENT typos and surrounding whitespace fixes. A few Makefiles where not included as they contain Latin-1 characters that break the Phabricator workflow. Category M. CR: D306 Approved by: portmgr (bapt)
* Convert GMAKE to MAKE_CMDbapt2014-06-251-1/+1
| | | | | | | Please note that lots of invocation of MAKE_CMD here are wrong as they do not properly respect MAKE_ENV and friends With hat: portmgr
* - Don't remove mtree directoriesamdmi32014-05-101-1/+0
| | | | Approved by: portmgr
* - Remove manual creation and removal of share/applications, as it's now in ↵amdmi32013-10-222-4/+0
| | | | | | the mtree (categories starting with m) Approved by: portmgr (bdrewery)
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵bapt2013-09-211-0/+1
| | | | math)
* Convert to new perl frameworkbapt2013-09-171-2/+1
| | | | Convert USE_GMAKE to USES
* - Don't delete gnomehier directoriesbdrewery2013-04-162-3/+1
| | | | | Approved by: portmgr (implicit) Pointyhat to: bdrewery (for breaking poudriere deleted dir detection leading to the previous commit)
* - Fix packaging by removing unneeded PACKAGE_BUILDING hackbdrewery2013-03-312-14/+4
| | | | | | | | from r295132 for ports/166867 that the maintainer did not actually submit Approved by: portmgr With hat: portmgr
* GNU Emacs updatesashish2013-03-301-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | editors/emacs: - Update to 24.3 - Update CANNA patchset[1] - Unbreak ARM support by using the patch from emacs-devel port - Add missing INSTALLS_ICONS[2] - Remove a patch which is already integrated upstream - Fix Makefile header editors/emacs-devel: - Update to bzr revision 112178 - Fix Makefile header - Add missing INSTALLS_ICONS[2] editors/emacs23: - Remove ABI versions from LIB_DEPENDS - Fix Makefile header - Add missing INSTALLS_ICONS[2] Mk/bsd.emacs.mk: - Update major version for editors/emacs port *: - Bump PORTREVISION to chase Emacs updates PR: ports/177428[2] Submitted by: Yuji TAKANO[1] (via private email), bdrewery[2]
* Chase Emacs updatesashish2012-09-051-1/+1
|
* - Bump PORTREVISION to chase Emacs port updatesashish2012-08-021-1/+1
| | | | - Unbreak INDEX caused by databases/lsdb, editors/flim, and editors/semi
* - Fix build with new texi2htmlak2012-07-122-4/+15
| | | | | | | - Ignore attempts to compile with XEmacs, it is not supported by the ProofGeneral developers. PR: ports/169774 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
* - Mark BROKEN: does not buildpav2012-06-281-0/+2
| | | | | | | texi2html -expandinfo -number -split_chapter --noheader --output PG-adapting PG-adapting.texi Option number is ambiguous (number-footnotes, number-sections) Reported by: pointyhat
* - update png to 1.5.10dinoex2012-06-011-0/+1
|
* - Update to 4.1scheidell2012-04-207-510/+167
| | | | | | | | | | - Fix build on amd64 - XEmacs is no longer supported by proofgeneral developers, so only GNU Emacs may be used - Omit pdf compilation since a newer version of latex then is in ports is needed - Use PORTDOCS= macros to simplefy Makefile and pkg-plist PR: ports/166867 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer0
* - Use print/texinfo for texi2{dvi,pdf} instead of print/teTeX-base.hrs2011-06-19