Summary
The Teyjus system is an efficient implementation of the higher-order logic programming language Lambda Prolog. The main strength of Lambda Prolog, a language developed by Dale Miller and Gopalan Nadathur, is the support it offers for what is known as lambda tree syntax, a new and effective way to view the structure of complex syntactic objects such as types, formulas, proofs and programs. Lambda Prolog provides this support by using lambda terms as data representation devices and by including primitives for probing such terms in logically meaningful ways. The new features present in the language raise several implementation challenges that have been addressed in collaborative work between Nadathur and his students and colleagues. The name "Teyjus" actually stands both for a project and for a class of compiler and virtual machine based realizations of Lambda Prolog arising from the research carried out within this project. Underlying the most recent version of the Teyjus system is a new and significantly improved virtual machine that has been designed by Xiaochu Qi as part of her doctoral dissertation work at the University of Minnesota. This virtual machine extensively exploits a special form of higher-order unification known as pattern unification.
Versions
v2.1-r2 :: 0/2.1 :: gentoo
- Modified
- License
- GPL-3
- Keywords
- ~amd64 ~x86
- USE flags
- emacs examples
USE flags
General
Dependencies
app-editors / emacs : The extensible, customizable, self-documenting real-time display editor
app-text / dos2unix : Convert DOS or MAC text files to UNIX format or vice versa
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
Runtime Dependencies
app-editors / emacs : The extensible, customizable, self-documenting real-time display editor
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
Bugs
- 715476
- dev-lang/teyjus-2.1-r2 : ../.../standardlib.h: fatal error: bits/wordsize.h: No such file or directory
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Mark Wright · gentoo
dev-lang/teyjus: Use RANLIB to configure the build environment
Use the environment variable RANLIB to configure the build environment. Thanks to Agostino Sarubbo for reporting. Closes: https://bugs.gentoo.org/858698 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Mark Wright <gienah@gentoo.org> - Mark Wright · gentoo
dev-lang/tejyjs: Remove old
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 - Mark Wright · gentoo
dev-lang/teyjus: Use CC,LD,AR,AS,CPP.
Use the environment variables CC, LD, AR, AS, CPP to configure the build environment. Specify the ocaml -cc option to instruct ocamlopt.opt to call the specified C compiler. Builds with gcc or clang. Remove the superflous sys-devel/binutils and sys-devel/gcc dependencies. Thanks to Agostino Sarubbo for reporting. Closes: https://bugs.gentoo.org/858572 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 - Mark Wright · gentoo
dev-lang/teyjus: Unbundle ocaml inc files, require ocaml[ocamlopt]
Fix 749996, unbundle old ocaml include files, and include the ocaml system include files. Fix 749996, remove the ocamlopt USE flag, and require dev-lang/ocaml[ocamlopt]. Fix 726890, edit source/OMakefile to set CFLAGS and LDFLAGS. Thanks to Toralf Forster and Agostino Sarubbo for reporting. See also: https://github.com/teyjus/teyjus/pull/126 Closes: https://bugs.gentoo.org/749996 Closes: https://bugs.gentoo.org/811210 Closes: https://bugs.gentoo.org/726890 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 - Thomas Bracht Laumann Jespersen · gentoo
dev-lang/teyjus: fix unquoted variable EPREFIX
Signed-off-by: Thomas Bracht Laumann Jespersen <t@laumann.xyz> Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-lang/teyjus: [QA] fix UnusedInherits (multilib)
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Ulrich Müller · gentoo
dev-lang/teyjus: 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> - Repository mirror & CI · gentoo
Merge updates from master - Mark Wright · gentoo
dev-lang/teyjus: Fix #677904 sandbox issue
Closes: https://bugs.gentoo.org/677904 Package-Manager: Portage-2.3.71, Repoman-2.3.17 Signed-off-by: Mark Wright <gienah@gentoo.org> - 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 - Mark Wright · gentoo
dev-lang/teyjus: Bump to 2.1. Fix build with ocaml 4.03 and above.
Thanks to Toralf Forster for reporting. Gentoo-bug: 591368 Package-Manager: portage-2.3.3 - Justin Lecher · gentoo
Convert URIs for googlecode.com to https
Signed-off-by: Justin Lecher <jlec@gentoo.org> - 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