From owner-svn-ports-all@freebsd.org Thu Dec 5 04:12:22 2019 Return-Path: Delivered-To: svn-ports-all@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id D19171B9A2F; Thu, 5 Dec 2019 04:12:22 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 47T2P25H96z3FJl; Thu, 5 Dec 2019 04:12:22 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 971D7B28F; Thu, 5 Dec 2019 04:12:22 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id xB54CMIc057319; Thu, 5 Dec 2019 04:12:22 GMT (envelope-from yuri@FreeBSD.org) Received: (from yuri@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id xB54CLAT056512; Thu, 5 Dec 2019 04:12:21 GMT (envelope-from yuri@FreeBSD.org) Message-Id: <201912050412.xB54CLAT056512@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: yuri set sender to yuri@FreeBSD.org using -f From: Yuri Victorovich Date: Thu, 5 Dec 2019 04:12:21 +0000 (UTC) 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 X-SVN-Group: ports-head X-SVN-Commit-Author: yuri X-SVN-Commit-Paths: in head/math: . teyjus teyjus/files X-SVN-Commit-Revision: 519062 X-SVN-Commit-Repository: ports MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 05 Dec 2019 04:12:22 -0000 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 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 + # include + // 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/