aboutsummaryrefslogtreecommitdiff
path: root/math/proofgeneral/Makefile
Commit message (Collapse)AuthorAgeFilesLines
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-3/+3
| | | | | | | | With hat: portmgr Sponsored by: Absolight Notes: svn path=/head/; revision=412348
* - Add NO_ARCHDmitry Marakasov2015-09-041-3/+7
| | | | | | | | | - Don't install empty docdirs Approved by: portmgr blanket Notes: svn path=/head/; revision=396096
* - Don't cat pkg-message from MakefilesDmitry Marakasov2015-05-271-3/+0
| | | | | | | Approved by: portmgr blanket Notes: svn path=/head/; revision=387529
* - Chase GNU Emacs updatesAshish SHUKLA2015-04-271-1/+1
| | | | | | | PR: 199553 Notes: svn path=/head/; revision=384819
* - Chase GNU Emacs updatesAshish SHUKLA2014-11-051-1/+1
| | | | | | | PR: 194624 Notes: svn path=/head/; revision=372191
* Retire MANCOMPRESSED.Mathieu Arnold2014-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 Notes: svn path=/head/; revision=368446
* Convert a bunch of EXTRACT_SUFX=... into USES=tar:...Adam Weinberger2014-07-291-2/+1
| | | | | | | Approved by: portmgr (not really, but touches unstaged ports) Notes: svn path=/head/; revision=363374
* - Add stage supportDanilo Egea Gondolfo2014-07-161-13/+21
| | | | | | | | | | | - Use ${PORT_OPTIONS:MDOCS} instead of !defined(NOPORTDOCS) - Uses shebangfix PR: ports/191503 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> Notes: svn path=/head/; revision=362086
* Remove indefinite articles and trailing periods from COMMENT, plus minorJimmy Olgeni2014-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) Notes: svn path=/head/; revision=361099
* Convert GMAKE to MAKE_CMDBaptiste Daroussin2014-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 Notes: svn path=/head/; revision=359185
* - Remove manual creation and removal of share/applications, as it's now in ↵Dmitry Marakasov2013-10-221-3/+0
| | | | | | | | | the mtree (categories starting with m) Approved by: portmgr (bdrewery) Notes: svn path=/head/; revision=331270
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-0/+1
| | | | | | | math) Notes: svn path=/head/; revision=327746
* Convert to new perl frameworkBaptiste Daroussin2013-09-161-2/+1
| | | | | | | Convert USE_GMAKE to USES Notes: svn path=/head/; revision=327411
* - Don't delete gnomehier directoriesBryan Drewery2013-04-151-1/+1
| | | | | | | | Approved by: portmgr (implicit) Pointyhat to: bdrewery (for breaking poudriere deleted dir detection leading to the previous commit) Notes: svn path=/head/; revision=315806
* - Fix packaging by removing unneeded PACKAGE_BUILDING hackBryan Drewery2013-03-311-12/+2
| | | | | | | | | | | from r295132 for ports/166867 that the maintainer did not actually submit Approved by: portmgr With hat: portmgr Notes: svn path=/head/; revision=315633
* GNU Emacs updatesAshish SHUKLA2013-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] Notes: svn path=/head/; revision=315598
* Chase Emacs updatesAshish SHUKLA2012-09-041-1/+1
| | | | Notes: svn path=/head/; revision=303664
* - Bump PORTREVISION to chase Emacs port updatesAshish SHUKLA2012-08-011-1/+1
| | | | | | | - Unbreak INDEX caused by databases/lsdb, editors/flim, and editors/semi Notes: svn path=/head/; revision=301834
* - Fix build with new texi2htmlAlex Kozlov2012-07-121-3/+5
| | | | | | | | | | - 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) Notes: svn path=/head/; revision=300805
* - Mark BROKEN: does not buildPav Lucistnik2012-06-271-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 Notes: svn path=/head/; revision=300109
* - update png to 1.5.10Dirk Meyer2012-06-011-0/+1
| | | | Notes: svn path=/head/; revision=297915
* - Update to 4.1Michael Scheidell2012-04-191-32/+27
| | | | | | | | | | | | | - 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 Notes: svn path=/head/; revision=295132
* - Use print/texinfo for texi2{dvi,pdf} instead of print/teTeX-base.Hiroki Sato2011-06-181-2/+3
| | | | | | | | - Use print/teTeX-base for latex instead of print/teTeX. - Use share/texmf for TeX-related files instead of share/texmf-local. Notes: svn path=/head/; revision=275778
* Bump PORTREVISION after open-mofit updateMax Brazhnikov2011-05-021-1/+1
| | | | Notes: svn path=/head/; revision=273475
* - update to 1.4.1Dirk Meyer2010-03-281-1/+1
| | | | | | | | Reviewed by: exp8 run on pointyhat Supported by: miwi Notes: svn path=/head/; revision=251605
* - Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)Martin Wilke2010-02-261-1/+1
| | | | | | | | | PR: 143994 143995 143996 Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer) Feature safe: yes Notes: svn path=/head/; revision=250361
* - update to jpeg-8Dirk Meyer2010-02-051-1/+1
| | | | Notes: svn path=/head/; revision=249285
* - bump all port that indirectly depends on libjpeg and have not yet been ↵Dirk Meyer2009-07-311-0/+1
| | | | | | | | | bumped or updated Requested by: edwin Notes: svn path=/head/; revision=238701
* [MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1Edwin Groothuis2008-08-151-4/+5
| | | | | | | | PR: ports/126066 Submitted by: Timothy Bourke <timbob@bigpond.com> Notes: svn path=/head/; revision=218579
* Bump portrevision due to upgrade of devel/gettext.Edwin Groothuis2008-06-061-0/+1
| | | | | | | | | | | | | The affected ports are the ones with gettext as a run-dependency according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT in Makefile (29 of them). PR: ports/124340 Submitted by: edwin@ Approved by: portmgr (pav) Notes: svn path=/head/; revision=214430
* - Update to 3.7Rong-En Fan2008-04-041-3/+3
| | | | | | | | PR: ports/120987 Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer) Notes: svn path=/head/; revision=210484
* Ugh, took me about fifteen minutes to figure what's wrong with this... Oh..Jeremy Messenger2007-10-271-2/+2
| | | | | | | | | | | A typo of PREFIX, fix it and should fix the *.desktop installation. Bump the PORTREVISION. Reported by: pointyhat Approved by: Related with our (FreeBSD GNOME Team) big change Notes: svn path=/head/; revision=202163
* Fix the *.desktop installation, bump the PORTREVISION.Jeremy Messenger2007-10-251-1/+4
| | | | | | | | Reported by: pointyhat-exp Approved by: Related with our (FreeBSD GNOME Team) big change Notes: svn path=/head/; revision=202008
* Presenting GNOME 2.20.1 and all related works for FreeBSD. The officialJoe Marcus Clarke2007-10-241-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | GNOME 2.20 release notes can be found at http://www.gnome.org/start/2.20/notes/en/ . Beyond that, this update includes the new GIMP 2.4 (courtesy of ahze). The GNOME 2.20 update also includes a huge change in the FreeBSD GNOME hierarchy. We are now using the more standard DATADIR of ${PREFIX}/share rather than ${PREFIX}/share/gnome. The result is that fewer patches and hacks are needed to port GNOME components to FreeBSD. This will mean some user changes may be required, so be sure to read /usr/ports/UPDATING for more details. This release and the things we accomplished in it would not have been possible without mezz's crazy idea to collapse DATADIR, and his persistence to make it happen successfully. Ahze and pav also deserve thanks for their work on porting modules and testing the whole ball of wax on pointyhat (respectively). The FreeBSD GNOME team would also like to thank our various testers and contributors: Yasuda Keisuke Frank Jahnke Pawel Worach Brian Gruber Franz Klammer Yuri Pankov Nick Barkas Cristian KLEIN Tony Maher Scot Hetzel Martin Matuska (mm) Benoit Dejean Martin Wilke (miwi) (And anyone else I may have missed) PRs fixed in this release: 111272, 113470, 115995, 116338 Notes: svn path=/head/; revision=201947
* - Welcome X.org 7.2 \o/.Florent Thoumie2007-05-191-1/+1
| | | | | | | | - Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}. - Bump PORTREVISION for ports intalling files in ${X11BASE}. Notes: svn path=/head/; revision=191544
* Now appears to build on amd64Kris Kennaway2007-04-011-4/+0
| | | | Notes: svn path=/head/; revision=188958
* Fix deinstall and unbroke port.Andrey Slusar2007-03-051-2/+0
| | | | | | | | PR: ports/109930 Submitted by: Timothy Bourke (maintainer) Notes: svn path=/head/; revision=186601
* BROKEN: Incomplete pkg-plistKris Kennaway2007-02-271-0/+2
| | | | Notes: svn path=/head/; revision=186073
* * Remove the direct inclusion of bsd.emacs.mkAndrey Slusar2007-02-061-31/+22
| | | | | | | | | | | * Use the misc/gnomehier and misc/hicolor-icon/theme ports * Use the latest proofgeneral prerelease PR: ports/107414 Submitted by: Timothy Bourke(maintainer) Notes: svn path=/head/; revision=184433
* Deprecate and expire on 2007-02-07 to give the maintainer more incentiveKris Kennaway2006-12-091-0/+2
| | | | | | | to work on this long-standing problem. Notes: svn path=/head/; revision=179328
* BROKEN: incomplete pkg-plistKris Kennaway2006-11-301-0/+2
| | | | Notes: svn path=/head/; revision=178401
* Fix plist and unbroken port.Andrey Slusar2006-11-111-3/+2
| | | | | | | | | PR: ports/105383 Reported by: pointyhat Submitted by: Timothy Bourke (maintainer) Notes: svn path=/head/; revision=177064
* BROKEN: Incorrect pkg-plistKris Kennaway2006-10-151-0/+2
| | | | | | | Approved by: portmgr (self) Notes: svn path=/head/; revision=175336
* Remove USE_REINPLACE from ports starting with MEdwin Groothuis2006-05-101-1/+0
| | | | Notes: svn path=/head/; revision=162032
* - Add USE_EMACS=yes. It should present in all emacsen ports.Sergey Matveychuk2006-05-061-0/+1
| | | | | | | | | | | (This commit prevents the ports breakage after more strict condition will applied in bsd.port.mk and makes no functional changes) PR: ports/95238 Submitted by: nobutaka Notes: svn path=/head/; revision=161466
* - Update to 3.6Sergey Matveychuk2006-05-011-11/+4
| | | | | | | | PR: ports/94670 Submitted by: maintainer Notes: svn path=/head/; revision=161111
* BROKEN on amd64: Does not buildKris Kennaway2005-10-281-0/+4
| | | | Notes: svn path=/head/; revision=146539
* Fix build:Simon Barner2005-09-151-7/+22
| | | | | | | | | | | | | | - Use any installed version of [x]emacs - If there's no emacs at all, fall back to xemacs21-mule - files/patch-isa_isabelle-system.el: Avoid interactive prompt if building with GNU emacs. Submitted by: barner, maintainer (partly) Approved by: Timothy Bourke <timbob@bigpond.com> (maintainer) Reported by: kris via pointyhat Notes: svn path=/head/; revision=142776
* Add proofgeneral 3.5, a generic interface for proof assistants.Simon Barner2005-08-311-0/+76
PR: 84788 Submitted by: Timothy Bourke <timbob@bigpond.com> Notes: svn path=/head/; revision=141552
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-18 17:33:45 +0000