notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Port details
twelf Meta-logical framework for deductive systems
1.7.1_4 lang on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.7.1_4Version of this port present on the latest quarterly branch.
Ignore IGNORE: is marked as broken on FreeBSD 12.2: invalid target: self
Maintainer: beyert@cs.ucr.edu search for ports maintained by this maintainer
Port Added: 2005-11-26 13:27:41
Last Update: 2021-04-06 14:31:07
Commit Hash: 305f148
Also Listed In: math
License: BSD2CLAUSE
Description:
SVNWeb : git : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (4 items)
Collapse this list.
  1. bin/twelf-server
  2. /usr/local/share/licenses/twelf-1.7.1_4/catalog.mk
  3. /usr/local/share/licenses/twelf-1.7.1_4/LICENSE
  4. /usr/local/share/licenses/twelf-1.7.1_4/BSD2CLAUSE
Collapse this list.
Dependency lines:
  • twelf>0:lang/twelf
To install the port: cd /usr/ports/lang/twelf/ && make install clean
A package is not available for ports marked as: Forbidden / Broken / Ignore / Restricted
PKGNAME: twelf
Flavors: there is no flavor information for this port.
distinfo:
Packages (timestamps in pop-ups are UTC):
twelf
ABIlatestquarterly
FreeBSD:11:aarch64--
FreeBSD:11:amd641.7.1_41.7.1_4
FreeBSD:11:armv6--
FreeBSD:11:i3861.7.1_41.7.1_4
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64--
FreeBSD:12:amd64--
FreeBSD:12:armv6--
FreeBSD:12:armv7--
FreeBSD:12:i386--
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64--
FreeBSD:13:aarch64--
FreeBSD:13:amd64--
FreeBSD:13:armv6--
FreeBSD:13:armv7--
FreeBSD:13:i386--
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc64--
FreeBSD:14:aarch64--
FreeBSD:14:amd64--
FreeBSD:14:armv6--
FreeBSD:14:armv7--
FreeBSD:14:i386--
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc64--
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. mlton : lang/mlton
  2. texi2html : textproc/texi2html
  3. tex.fmt : print/tex-formats
  4. dvips : print/tex-dvipsk
  5. gmake>=4.3 : devel/gmake
  6. makeinfo : print/texinfo
Runtime dependencies:
  1. mlton : lang/mlton
  2. indexinfo : print/indexinfo
There are no ports dependent upon this port

Configuration Options:
Options name:

USES:

Master Sites:
Expand this list (3 items)
Collapse this list.
  1. http://twelf.plparty.org/releases/
  2. http://www-2.cs.cmu.edu/~twelf/dist/
  3. http://www.cs.cmu.edu/~twelf/dist/
Collapse this list.

Number of commits found: 27

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
06 Apr 2021 14:31:07
 files touched by this commit commit hash:305f148f482daf30dcf728039d03d019f88344eb  1.7.1_4
mat search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
26 Jul 2019 20:46:57
Original commit files touched by this commit Revision:507372  1.7.1_4
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
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
22 Apr 2019 16:01:13
Original commit files touched by this commit Revision:499655  1.7.1_3
antoine search for other commits by this committer
Mark BROKEN on FreeBSD 12 and 13

mlton -default-ann 'nonexhaustiveMatch ignore' -output bin/twelf-server
build/${cmfileid}
invalid target: self

Reported by:	pkg-fallout
MFH:		2019Q2
12 Dec 2018 01:35:36
Original commit files touched by this commit Revision:487272  1.7.1_3
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
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
10 Nov 2018 18:12:58
Original commit files touched by this commit Revision:484628  1.7.1_2
bapt search for other commits by this committer
Install texinfo files (GNU info) into ${PREFIX}/share/info

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
02 Nov 2018 19:47:25
Original commit files touched by this commit Revision:483840  1.7.1_1
antoine search for other commits by this committer
Install info page properly
10 Mar 2018 17:46:06
Original commit files touched by this commit Revision:464084  1.7.1_1
gerald search for other commits by this committer
Bump PORTREVISIONs of all users of math/mpc that we just updated to
version 1.1.0 (via revision 464079).
17 Dec 2016 12:58:58
Original commit files touched by this commit Revision:428757  1.7.1
sunpoet search for other commits by this committer
- USe DISTVERSIONPREFIX instead of DISTNAME
- 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)
01 Apr 2016 14:08:38
Original commit files touched by this commit Revision:412347  1.7.1
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.

With hat:	portmgr
Sponsored by:	Absolight
23 Jul 2014 12:58:35
Original commit files touched by this commit Revision:362672  1.7.1
bapt search for other commits by this committer
Do not hardcode dvips dependency
21 Jul 2014 22:14:39
Original commit files touched by this commit Revision:362507  1.7.1
bapt search for other commits by this committer
Fix build with texlive
16 Jul 2014 20:37:19
Original commit files touched by this commit Revision:362110  1.7.1
riggs search for other commits by this committer
- Update to latest upstream release 1.7.1
- 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)
05 Jul 2014 19:27:04
Original commit files touched by this commit Revision:360810  1.5R1_5
olgeni search for other commits by this committer
Remove indefinite articles and trailing periods from COMMENT, plus minor
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)
10 May 2014 16:09:49
Original commit files touched by this commit Revision:353576  1.5R1_5
antoine search for other commits by this committer
Maintainer no longer wishes to maintain those ports

With hat:	portmgr
20 Sep 2013 19:53:10
Original commit files touched by this commit Revision:327741  1.5R1_5
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)
11 May 2013 17:58:56
Original commit files touched by this commit Revision:317899  1.5R1_5
hrs search for other commits by this committer
Rectify USE_TEX to support both of teTeX and TeXLive.

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.
06 May 2013 02:00:41
Original commit files touched by this commit Revision:317455  1.5R1_5
hrs search for other commits by this committer
Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex
instead to make migration to TeXLive easier.
01 Jun 2012 05:26:28
Original commit files touched by this commit   1.5R1_5
dinoex search for other commits by this committer
- update png to 1.5.10
24 Oct 2011 09:11:38
Original commit files touched by this commit   1.5R1_4
dougb search for other commits by this committer
The vast majority of pkg-descr files had the following format when they
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
03 Jul 2011 13:45:36
Original commit files touched by this commit   1.5R1_4
ohauer search for other commits by this committer
- remove MD5
02 May 2011 12:44:53
Original commit files touched by this commit   1.5R1_4
makc search for other commits by this committer
Bump PORTREVISION after open-mofit update
28 Mar 2010 06:47:48
Original commit files touched by this commit   1.5R1_3
dinoex search for other commits by this committer
- update to 1.4.1
Reviewed by:    exp8 run on pointyhat
Supported by:   miwi
05 Feb 2010 11:46:55
Original commit files touched by this commit   1.5R1_2
dinoex search for other commits by this committer
- update to jpeg-8
31 Jul 2009 13:57:52
Original commit files touched by this commit   1.5R1_1
dinoex search for other commits by this committer
- bump all port that indirectly depends on libjpeg and have not yet been bumped
or updated
Requested by:   edwin
11 Apr 2009 03:00:02
Original commit files touched by this commit   1.5R1
wxs search for other commits by this committer
- Update to 1.5R1

PR:             ports/131631
Submitted by:   Andrew Bernard <andrewb@cs.cmu.edu> (maintainer)
09 May 2006 20:52:24
Original commit files touched by this commit   1.4
edwin search for other commits by this committer
Remove USE_REINPLACE from the categories starting with L
26 Nov 2005 12:49:47
Original commit files touched by this commit   1.4
edwin search for other commits by this committer
New port: lang/twelf A meta-logical framework for deductive systems

        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>

Number of commits found: 27