aboutsummaryrefslogtreecommitdiff
path: root/lang/twelf
Commit message (Collapse)AuthorAgeFilesLines
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
|
* 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 Notes: svn path=/head/; revision=507372
* Mark BROKEN on FreeBSD 12 and 13Antoine Brodin2019-04-221-0/+3
| | | | | | | | | | | mlton -default-ann 'nonexhaustiveMatch ignore' -output bin/twelf-server build/${cmfileid} invalid target: self Reported by: pkg-fallout MFH: 2019Q2 Notes: svn path=/head/; revision=499655
* 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 Notes: svn path=/head/; revision=487272
* Install texinfo files (GNU info) into ${PREFIX}/share/infoBaptiste Daroussin2018-11-101-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | 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 Notes: svn path=/head/; revision=484628
* Install info page properlyAntoine Brodin2018-11-021-2/+3
| | | | Notes: svn path=/head/; revision=483840
* Bump PORTREVISIONs of all users of math/mpc that we just updated toGerald Pfeifer2018-03-101-0/+1
| | | | | | | version 1.1.0 (via revision 464079). Notes: svn path=/head/; revision=464084
* - USe DISTVERSIONPREFIX instead of DISTNAMESunpoet Po-Chuan Hsieh2016-12-171-20/+13
| | | | | | | | | | | | | - Add missing OPTIONS_DEFINE=DOCS - Use USES=makeinfo instead of hard-coded BUILD_DEPENDS - Convert to options helper - Convert to options target helper - While I'm here, fix indent Approved by: portmgr (blanket) Notes: svn path=/head/; revision=428757
* Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.Mathieu Arnold2016-04-011-4/+4
| | | | | | | | With hat: portmgr Sponsored by: Absolight Notes: svn path=/head/; revision=412347
* Do not hardcode dvips dependencyBaptiste Daroussin2014-07-231-2/+1
| | | | Notes: svn path=/head/; revision=362672
* Fix build with texliveBaptiste Daroussin2014-07-211-1/+2
| | | | Notes: svn path=/head/; revision=362507
* - Update to latest upstream release 1.7.1Thomas Zander2014-07-1610-837/+44
| | | | | | | | | | | | | | | - Assign maintainership to Timothy Beyer <beyert@cs.ucr.edu> (previously ports@) - General cleanup - Add LICENSE - Remove twelf from LEGAL (port is now BSD2CLAUSE licensed) PR: 191758 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> Approved by: mentors (implicit) Notes: svn path=/head/; revision=362110
* Remove indefinite articles and trailing periods from COMMENT, plus minorJimmy Olgeni2014-07-051-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. Categories J-L. CR: D305 Approved by: portmgr (swills) Notes: svn path=/head/; revision=360810
* Maintainer no longer wishes to maintain those portsAntoine Brodin2014-05-101-1/+1
| | | | | | | With hat: portmgr Notes: svn path=/head/; revision=353576
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-5/+2
| | | | | | | lang) Notes: svn path=/head/; revision=327741
* Rectify USE_TEX to support both of teTeX and TeXLive.Hiroki Sato2013-05-111-1/+1
| | | | | | | | | | | | TEX_DEFAULT: A knob to choose teTeX or TeXLive. One can specify in /etc/make.conf. USE_TEX: A knob for port developers. Valid keywords are listed in bsd.tex.mk. Notes: svn path=/head/; revision=317899
* Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetexHiroki Sato2013-05-061-1/+1
| | | | | | | instead to make migration to TeXLive easier. Notes: svn path=/head/; revision=317455
* - update png to 1.5.10Dirk Meyer2012-06-011-1/+1
| | | | Notes: svn path=/head/; revision=297915
* The vast majority of pkg-descr files had the following format when theyDoug Barton2011-10-241-1/+0
| | | | | | | | | | | | | | | | | | | had both lines: Author: ... WWW: .... So standardize on that, and move them to the end of the file when necessary. Also fix some more whitespace, and remove more "signature tags" of varying forms, like -- name, etc. s/AUTHOR/Author/ A few other various formatting issues Notes: svn path=/head/; revision=284239
* - remove MD5Olli Hauer2011-07-031-1/+0
| | | | Notes: svn path=/head/; revision=276987
* 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
* - 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
* - Update to 1.5R1Wesley Shields2009-04-1112-146/+421
| | | | | | | | PR: ports/131631 Submitted by: Andrew Bernard <andrewb@cs.cmu.edu> (maintainer) Notes: svn path=/head/; revision=232048
* Remove USE_REINPLACE from the categories starting with LEdwin Groothuis2006-05-091-1/+0
| | | | Notes: svn path=/head/; revision=161836
* New port: lang/twelf A meta-logical framework for deductive systemsEdwin Groothuis2005-11-266-0/+603
The Twelf implementation comprises * the LF logical framework, including type reconstruction; * the Elf constraint logic programming language; * an inductive meta-theorem prover for LF; * and an Emacs interface. PR: ports/84625 Submitted by: "Andrew Bernard" <andrew@hobnob.com> Notes: svn path=/head/; revision=149566
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-11 11:28:09 +0000