Date: Thu, 5 Dec 2019 04:12:21 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r519062 - in head/math: . teyjus teyjus/files Message-ID: <201912050412.xB54CLAT056512@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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/
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201912050412.xB54CLAT056512>