notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

FInally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combinatio for a given watch list. This is what FreshPorts will look for.

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.
Broken BROKEN: invalid target: self
Ignore IGNORE: is marked as broken: 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: 2023-08-18 07:53:32
Commit Hash: 01a678c
Also Listed In: math
License: BSD2CLAUSE
WWW:
http://www.cs.cmu.edu/~twelf
Description:
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. Twelf provides a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics. Example suites include Cartesian Closed Categories and lambda-calculus, the Church-Rosser theorem for the untyped lambda-calculus, Mini-ML including type preservation and compilation, cut elimination, theory of logic programming, and Hilbert's deduction theorem. -- the Twelf home page
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb

Manual pages:
FreshPorts has no man page information for this port.
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
We doubt a package is available for this port because we see it marked as as:
  • Broken
  • Ignore
Packages are normally not provided for ports that are marked as above.
To add the package, run one of these commands:
  • pkg install lang/twelf
  • pkg install twelf
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: twelf
Flavors: there is no flavor information for this port.
distinfo:
SHA256 (twelf-src-1.7.1.tar.gz) = 91b0d4d8c2e54452a042da0ff642f3b46b25efb36a84497aa8b96598f49a213a SIZE (twelf-src-1.7.1.tar.gz) = 1147610

No package information for this port in our database
Sometimes this happens. Not all ports have packages.
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. gmake>=4.3 : devel/gmake
  4. makeinfo : print/texinfo
  5. tex.fmt : print/tex-formats
  6. dvips : print/tex-dvipsk
Runtime dependencies:
  1. mlton : lang/mlton
  2. indexinfo : print/indexinfo
There are no ports dependent upon this port

Configuration Options:
===> The following configuration options are available for twelf-1.7.1_4: DOCS=on: Build and/or install documentation ===> Use 'make config' to modify these settings
Options name:
lang_twelf
USES:
gmake makeinfo tex
FreshPorts was unable to extract/find any pkg message
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: 32

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
1.7.1_4
18 Aug 2023 07:53:32
commit hash: 01a678ca113ff4e4e3c9de4eec9d835377b8a3fbcommit hash: 01a678ca113ff4e4e3c9de4eec9d835377b8a3fbcommit hash: 01a678ca113ff4e4e3c9de4eec9d835377b8a3fbcommit hash: 01a678ca113ff4e4e3c9de4eec9d835377b8a3fb files touched by this commit
Muhammad Moinur Rahman (bofh) search for other commits by this committer
lang/twelf: Mark BROKEN on all versions

Fails to build with invalid target.

Approved by:	portmgr (blanket)
Sponsored by:	The FreeBSD Foundation
1.7.1_4
19 Dec 2022 14:44:58
commit hash: 721e5776c957ada07a0d148f5fc3e782a251e6dccommit hash: 721e5776c957ada07a0d148f5fc3e782a251e6dccommit hash: 721e5776c957ada07a0d148f5fc3e782a251e6dccommit hash: 721e5776c957ada07a0d148f5fc3e782a251e6dc files touched by this commit
Muhammad Moinur Rahman (bofh) search for other commits by this committer
Mk/**tex.mk: Convert bsd.tex.mk to USES=tex

- Update all the consumers to use USES=tex
- USE_TEX=yes is the old way of writing USES=tex which has been removed
  and replaced in all ports
- Almost all of the USE_TEX features remains unchanged
- Some consumers had the same variables defined both in the mk
  infrastructure and also in the ports which have been removed from the
  ports as those are redundant.

In case any of the consumers are failing to build please make sure that
the nexessary USES=tex is there. Unlike previous USE_TEX=yes will no
longer load the required VARS for tex and related dependencies.

Reviewed by:	portmgr
Approved by:	portmgr (blanket)
07 Sep 2022 21:58:51
commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)
1.7.1_4
07 Sep 2022 21:10:59
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
1.7.1_4
20 Jul 2022 14:22:15
commit hash: f98ae56653d5255e3519da4e97d6edbaa7e6df91commit hash: f98ae56653d5255e3519da4e97d6edbaa7e6df91commit hash: f98ae56653d5255e3519da4e97d6edbaa7e6df91commit hash: f98ae56653d5255e3519da4e97d6edbaa7e6df91 files touched by this commit
Tobias C. Berner (tcberner) search for other commits by this committer
lang: remove 'Created by' lines

A big Thank You to the original contributors of these ports:

  *  Aaron Dalton <aaron@FreeBSD.org>
  *  Adam Weinberger <adamw@FreeBSD.org>
  *  Akinori MUSHA aka knu <knu@idaemons.org>
  *  Alex Dupre <ale@FreeBSD.org>
  *  Alexey Dokuchaev <danfe@FreeBSD.org>
  *  Alonso Cardenas Marquez <acm@FreeBSD.org>
  *  Andreas Klemm <andreas@klemm.gtn.com>
  *  Andrew Pantyukhin <infofarmer@FreeBSD.org>
  *  Andrey Zakhvatov
  *  Anton Berezin <tobez@FreeBSD.org>
  *  Anton Berezin <tobez@tobez.org>
(Only the first 15 lines of the commit message are shown above View all of this commit message)
1.7.1_4
06 Apr 2021 14:31:07
commit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344eb files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
1.7.1_4
26 Jul 2019 20:46:57
Revision:507372Original commit files touched by this commit
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
1.7.1_3
22 Apr 2019 16:01:13
Revision:499655Original commit files touched by this commit
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
1.7.1_3
12 Dec 2018 01:35:36
Revision:487272Original commit files touched by this commit
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
1.7.1_2
10 Nov 2018 18:12:58
Revision:484628Original commit files touched by this commit
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
1.7.1_1
02 Nov 2018 19:47:25
Revision:483840Original commit files touched by this commit
antoine search for other commits by this committer
Install info page properly
1.7.1_1
10 Mar 2018 17:46:06
Revision:464084Original commit files touched by this commit
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).
1.7.1
17 Dec 2016 12:58:58
Revision:428757Original commit files touched by this commit
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)
1.7.1
01 Apr 2016 14:08:38
Revision:412347Original commit files touched by this commit
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
1.7.1
23 Jul 2014 12:58:35
Revision:362672Original commit files touched by this commit
bapt search for other commits by this committer
Do not hardcode dvips dependency
1.7.1
21 Jul 2014 22:14:39
Revision:362507Original commit files touched by this commit
bapt search for other commits by this committer
Fix build with texlive
1.7.1
16 Jul 2014 20:37:19
Revision:362110Original commit files touched by this commit
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)
1.5R1_5
05 Jul 2014 19:27:04
Revision:360810Original commit files touched by this commit
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)
1.5R1_5
10 May 2014 16:09:49
Revision:353576Original commit files touched by this commit
antoine search for other commits by this committer
Maintainer no longer wishes to maintain those ports

With hat:	portmgr
1.5R1_5
20 Sep 2013 19:53:10
Revision:327741Original commit files touched by this commit
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)
1.5R1_5
11 May 2013 17:58:56
Revision:317899Original commit files touched by this commit
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.
1.5R1_5
06 May 2013 02:00:41
Revision:317455Original commit files touched by this commit
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.
1.5R1_5
01 Jun 2012 05:26:28
Original commit files touched by this commit
dinoex search for other commits by this committer
- update png to 1.5.10
1.5R1_4
24 Oct 2011 09:11:38
Original commit files touched by this commit
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
1.5R1_4
03 Jul 2011 13:45:36
Original commit files touched by this commit
ohauer search for other commits by this committer
- remove MD5
1.5R1_4
02 May 2011 12:44:53
Original commit files touched by this commit
makc search for other commits by this committer
Bump PORTREVISION after open-mofit update
1.5R1_3
28 Mar 2010 06:47:48
Original commit files touched by this commit
dinoex search for other commits by this committer
- update to 1.4.1
Reviewed by:    exp8 run on pointyhat
Supported by:   miwi
1.5R1_2
05 Feb 2010 11:46:55
Original commit files touched by this commit
dinoex search for other commits by this committer
- update to jpeg-8
1.5R1_1
31 Jul 2009 13:57:52
Original commit files touched by this commit
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
1.5R1
11 Apr 2009 03:00:02
Original commit files touched by this commit
wxs search for other commits by this committer
- Update to 1.5R1

PR:             ports/131631
Submitted by:   Andrew Bernard <andrewb@cs.cmu.edu> (maintainer)
1.4
09 May 2006 20:52:24
Original commit files touched by this commit
edwin search for other commits by this committer
Remove USE_REINPLACE from the categories starting with L
1.4
26 Nov 2005 12:49:47
Original commit files touched by this commit
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: 32