sci-mathematics / twelf

Implementation of the logical framework LF

Official package sites : https://twelf.org/ ·

Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory.

v1.7.1-r2 :: 0/1.7.1 :: gentoo

Modified
License
BSD-2
Keywords
~amd64 ~x86
USE flags
doc emacs examples

General

doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
emacs
Add support for GNU Emacs
examples
Install examples, usually source code

app-editors / emacs : The extensible, customizable, self-documenting real-time display editor

app-text / texi2html : Perl script that converts Texinfo to HTML

dev-lang / mlton : Standard ML optimizing compiler and libraries

virtual / latex-base : Virtual for basic LaTeX binaries

app-editors / emacs : The extensible, customizable, self-documenting real-time display editor

app-text / texi2html : Perl script that converts Texinfo to HTML

dev-lang / mlton : Standard ML optimizing compiler and libraries

virtual / latex-base : Virtual for basic LaTeX binaries

868006
sci-mathematics/twelf-1.7.1-r2:0/1.7.1 - /.../mlton:line <snip>: .../mlton-compile: No such file or directory
926435
sci-mathematics/twelf-1.7.1-r2 fails to compile: ! I cant find file texinfo
Repository mirror & CI · gentoo
Merge updates from master
Eli Schwartz · gentoo
sci-mathematics/twelf: mark as LTO-unsafe
Per the contributing guideline: > Twelf, the software, is not under active development, and changes to > the code of Twelf are unlikely to be accepted unless you’re working with > Twelf’s original authors, Frank Pfenning and Carsten Schürmann. Getting this fixed is unlikely to happen, so all that's left is filtering. Closes: https://bugs.gentoo.org/863266 Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
Eli Schwartz · gentoo
sci-mathematics/twelf: update HOMEPAGE for https
Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
Eli Schwartz · gentoo
sci-mathematics/twelf: update SRC_URI to new mirror
The old download site is gone now. The download page points to github now, which in turn says: > This is a placeholder release to hold the final source distribution > tarball, linux distribution tarball, and osx dmg for Twelf 1.7.1 as > originally hosted on twelf.org. Checksums match. :) Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Mark Wright · gentoo
sci-mathematics/twelf: Fix ROOT in src_prepare, old-style backquotes
Thanks to Sam James and Toralf Forster for reporting. Fix: calls svnversion command that does not exist, thanks to Agostino Sarubbo for reporting. Closes: https://bugs.gentoo.org/836112 Closes: https://bugs.gentoo.org/803296 Closes: https://bugs.gentoo.org/728028 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Mark Wright <gienah@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/twelf: eutils--
Package-Manager: Portage-3.0.18-prefix, Repoman-3.0.3 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Jakov Smolic · gentoo
sci-mathematics/twelf: Remove old
Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Ulrich Müller · gentoo
sci-mathematics/twelf: Update virtual/emacs dependency.
The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Mark Wright · gentoo
sci-mathematics/twelf: Fix 622848 in 1.7.1-r1 by requiring mlton 20180207.
Fix 630782. Thanks to Toralf Forster for reporting. Closes: https://bugs.gentoo.org/622848 Closes: https://bugs.gentoo.org/630782 Package-Manager: Portage-2.3.24, Repoman-2.3.6
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
T. Malfatti · gentoo
media-libs/portaudio: Version bump
Mike Frysinger · gentoo
fix quoting to a lot of patch calls
Vikraman Choudhury · gentoo
sci-mathematics/twelf: Fix doc generation
app-text/texi2html is necessary for doc generation. Package-Manager: portage-2.2.27
Vikraman Choudhury · gentoo
sci-mathematics/twelf: Fix typo
Package-Manager: portage-2.2.27
Robin H. Johnson · gentoo
proj/gentoo: Initial commit
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed