svn commit: r519062 - in head/math: . teyjus teyjus/files
Yuri Victorovich
yuri at FreeBSD.org
Thu Dec 5 04:12:22 UTC 2019
Author: yuri
Date: Thu Dec 5 04:12:20 2019
New Revision: 519062
URL: https://svnweb.freebsd.org/changeset/ports/519062
Log:
New port: math/teyjus: Higher-order logic programming language Lambda Prolog
Added:
head/math/teyjus/
head/math/teyjus/Makefile (contents, props changed)
head/math/teyjus/distinfo (contents, props changed)
head/math/teyjus/files/
head/math/teyjus/files/patch-source_OMakefile (contents, props changed)
head/math/teyjus/files/patch-source_compiler_OMakefile (contents, props changed)
head/math/teyjus/files/patch-source_include_standardlib.h (contents, props changed)
head/math/teyjus/pkg-descr (contents, props changed)
Modified:
head/math/Makefile
Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile Thu Dec 5 01:59:49 2019 (r519061)
+++ head/math/Makefile Thu Dec 5 04:12:20 2019 (r519062)
@@ -868,6 +868,7 @@
SUBDIR += taucs
SUBDIR += tblis
SUBDIR += tetgen
+ SUBDIR += teyjus
SUBDIR += timbl
SUBDIR += tmv
SUBDIR += tomsfastmath
Added: head/math/teyjus/Makefile
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/teyjus/Makefile Thu Dec 5 04:12:20 2019 (r519062)
@@ -0,0 +1,38 @@
+# $FreeBSD$
+
+PORTNAME= teyjus
+DISTVERSIONPREFIX= v
+DISTVERSION= 2.1-7
+DISTVERSIONSUFFIX= -ge63f40a
+CATEGORIES= math lang
+
+MAINTAINER= yuri at FreeBSD.org
+COMMENT= Higher-order logic programming language Lambda Prolog
+
+LICENSE= GPLv3
+LICENSE_FILE= ${WRKSRC}/COPYING
+
+BUILD_DEPENDS= ocamlopt:lang/ocaml \
+ omake:devel/omake \
+ bash:shells/bash
+
+USES= dos2unix shebangfix
+DOS2UNIX_FILES= source/OMakefile
+SHBANG_GLOB= run_test
+USE_GITHUB= yes
+
+EXES= tjcc tjdepend tjdis tjlink tjsim
+PLIST_FILES= ${EXES:S/^/bin\//}
+
+post-patch:
+ @${FIND} ${WRKSRC} -name run_test | ${XARGS} ${REINPLACE_CMD} 's|#!/bin/bash|#!${LOCALBASE}/bin/bash|'
+
+do-build:
+ @cd ${WRKSRC} && omake
+
+do-install:
+.for e in ${EXES}
+ ${INSTALL_PROGRAM} ${WRKSRC}/source/${e}.opt ${STAGEDIR}${PREFIX}/bin/${e}
+.endfor
+
+.include <bsd.port.mk>
Added: head/math/teyjus/distinfo
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/teyjus/distinfo Thu Dec 5 04:12:20 2019 (r519062)
@@ -0,0 +1,3 @@
+TIMESTAMP = 1575264560
+SHA256 (teyjus-teyjus-v2.1-7-ge63f40a_GH0.tar.gz) = 6531808ad7dfe3527581defc1d8841881070274ef04fe3772e056a96a4dc3162
+SIZE (teyjus-teyjus-v2.1-7-ge63f40a_GH0.tar.gz) = 724248
Added: head/math/teyjus/files/patch-source_OMakefile
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/teyjus/files/patch-source_OMakefile Thu Dec 5 04:12:20 2019 (r519062)
@@ -0,0 +1,13 @@
+--- source/OMakefile.orig 2019-12-03 03:41:53 UTC
++++ source/OMakefile
+@@ -208,6 +208,10 @@ if $(mem $(SYSNAME), OpenBSD)
+ INC_C[] += $(INC)/search
+ export
+
++if $(mem $(SYSNAME), FreeBSD)
++ INC_C[] += $(INC)/search
++ export
++
+
+ ############################################################
+ # Generated Files
Added: head/math/teyjus/files/patch-source_compiler_OMakefile
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/teyjus/files/patch-source_compiler_OMakefile Thu Dec 5 04:12:20 2019 (r519062)
@@ -0,0 +1,5 @@
+--- source/compiler/OMakefile.orig 2019-12-03 04:31:49 UTC
++++ source/compiler/OMakefile
+@@ -1 +1,2 @@
++NATIVE_ENABLED = true
+ OCamlGeneratedFiles(lplex.ml lpyacc.ml)
Added: head/math/teyjus/files/patch-source_include_standardlib.h
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/teyjus/files/patch-source_include_standardlib.h Thu Dec 5 04:12:20 2019 (r519062)
@@ -0,0 +1,15 @@
+--- source/include/standardlib.h.orig 2019-12-02 05:46:28 UTC
++++ source/include/standardlib.h
+@@ -79,9 +79,9 @@ typedef unsigned __int64 u_int64_t;
+ # include <unistd.h>
+ # include <sys/endian.h>
+ // Use the functions from byteorder(3)
+-# define bswap_16(x) swap16(x)
+-# define bswap_32(x) swap32(x)
+-# define bswap_64(x) swap64(x)
++# define bswap_16(x) bswap16(x)
++# define bswap_32(x) bswap32(x)
++# define bswap_64(x) bswap64(x)
+ // __WORDSIZE is non-standard and should be inferred otherhow
+ # if defined(__x86_64__) || defined(__amd64__) || defined(__LP64__)
+ # define __WORDSIZE 64
Added: head/math/teyjus/pkg-descr
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/teyjus/pkg-descr Thu Dec 5 04:12:20 2019 (r519062)
@@ -0,0 +1,19 @@
+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.
+
+WWW: http://teyjus.cs.umn.edu/
More information about the svn-ports-all
mailing list