From nobody Tue Sep 06 16:06:11 2022 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4MMVcM3yTHz4c6MH; Tue, 6 Sep 2022 16:06:11 +0000 (UTC) (envelope-from git@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) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4MMVcM3WCsz3G6x; Tue, 6 Sep 2022 16:06:11 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1662480371; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=ulm7NbNkMSyXCoMcv/6AxhlAKFb2vL/HaEM8Nogs4h8=; b=ui5G11evIJoN9us/5fj60G9EOqadsIXWzpuvUwGcYHjx8zsn1eYSOque60YiEBHt1ShTLJ mcbmyhbnN02LtFOUF+F0UvMKMSEw1iL0FV7PAZCo6isUPoJNP0FV3IfbAJ0J78PfrKXSS6 X8RpNqOzJ04CVut16Z+y0wFTn6qd3oiIYBOGSxDVZzwRJcDj5MOog8gRioeFJFLYh63KQ0 FjBStxqk6A/M0fwfbraAGS2QpjjaZATkTXvKywGyDJpfFOvn5Tc33lWkFTX6dx+1I2p7Jy CqnfzbNa043/6lCjOTNSvewqh8knIddppQg4y1I8J34dUySNnMRCja6u7L6mgA== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4MMVcM2JWHz1Cx8; Tue, 6 Sep 2022 16:06:11 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 286G6BnR084858; Tue, 6 Sep 2022 16:06:11 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 286G6BjQ084857; Tue, 6 Sep 2022 16:06:11 GMT (envelope-from git) Date: Tue, 6 Sep 2022 16:06:11 GMT Message-Id: <202209061606.286G6BjQ084857@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 50e722f39224 - main - math/mathlibtools: New port: Lean prover mathlib supporting tools List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 50e722f392244fd61dad33417cd142f0ab90718a Auto-Submitted: auto-generated ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1662480371; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=ulm7NbNkMSyXCoMcv/6AxhlAKFb2vL/HaEM8Nogs4h8=; b=DzkR4EIf4Qkdbf8pAj1DLK21ijASQtTcegOtV5cQB8JqaoJvIzMzzQGVgQPqGPXb9fKV+l il7EnZLHhR7/U7322aAKqRi9/569cldm6couWcc4vSijFDQxVDlOnssKkinX4w4vOSlRc6 IaaIrGnXaH64qhxl30B/G/zKedAuBf2m9Bs0DzZZXx7CxUOteexsx2hkc2REKBXC65XoTz y/DfRIfBew+7WUxywaH8+ls7ce9qOEdKZ79e8ovDLrwEFnDU/ZKN/yoPC8TmLvOMtq6tKD gm8JnEaonG7V3077NVmM52JpvqFb3DdYl7TgDEwZW39DME4jZK5L9S8Fjb5WwQ== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1662480371; a=rsa-sha256; cv=none; b=wr48yhvGu+AWoCzrpyJjxyQU3PhNYTc6PG66P3H3cFF9klAiIWPdXYvfbY7O1W8AFwfZuI CQaxt/d+J+qI/V21j1uH0Tn3x9bdav/e/Iq5KiK3kq2pP2yzXfh42yBrdLZIVWoJJ5JFI+ hnTXe1t/WTE0UdfSpx0AvBztvtFgmFRHHpMQzG3ieKYK6jMFcIbAYwIxHY3UKDigenyKX8 I3yHRUGiJSeypiKOzLUTa+NG9AyIs/6QWCn6+n3RJVYSmTz0VYW5eUgv4gXGN4dpujbKEU Abh/LsfobMfkuYCSUpRBnD5vNNEtzpK1H0EW6vq8PgaWbI6StJNqWk1+3y1Wvw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=50e722f392244fd61dad33417cd142f0ab90718a commit 50e722f392244fd61dad33417cd142f0ab90718a Author: Yuri Victorovich AuthorDate: 2022-09-06 16:00:05 +0000 Commit: Yuri Victorovich CommitDate: 2022-09-06 16:06:07 +0000 math/mathlibtools: New port: Lean prover mathlib supporting tools --- math/Makefile | 1 + math/mathlibtools/Makefile | 29 +++++++++++++++++++++++++++++ math/mathlibtools/distinfo | 3 +++ math/mathlibtools/pkg-descr | 5 +++++ 4 files changed, 38 insertions(+) diff --git a/math/Makefile b/math/Makefile index ca08e5d54f67..680ec066b5c8 100644 --- a/math/Makefile +++ b/math/Makefile @@ -466,6 +466,7 @@ SUBDIR += math77 SUBDIR += mathgl SUBDIR += mathicsscript + SUBDIR += mathlibtools SUBDIR += mathmod SUBDIR += mathomatic SUBDIR += matio diff --git a/math/mathlibtools/Makefile b/math/mathlibtools/Makefile new file mode 100644 index 000000000000..c5549b9bed8f --- /dev/null +++ b/math/mathlibtools/Makefile @@ -0,0 +1,29 @@ +PORTNAME= mathlibtools +DISTVERSION= 1.1.2 +CATEGORIES= math python +MASTER_SITES= CHEESESHOP + +MAINTAINER= yuri@FreeBSD.org +COMMENT= Lean prover mathlib supporting tools + +LICENSE= APACHE20 +LICENSE_FILE= ${WRKSRC}/LICENSE + +RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}atomicwrites>0:devel/py-atomicwrites@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}certifi>0:security/py-certifi@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}click>0:devel/py-click@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}gitpython>=2.1.11:devel/py-gitpython@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}networkx>0:math/py-networkx@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}pydot>0:graphics/py-pydot@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}pygithub>0:devel/py-pygithub@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}pyaml>=3.13:textproc/py-pyaml@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}requests>0:www/py-requests@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}toml>=0.10.0:textproc/py-toml@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}tqdm>0:misc/py-tqdm@${PY_FLAVOR} + +USES= python:3.6+ +USE_PYTHON= distutils noflavors autoplist + +NO_ARCH= yes + +.include diff --git a/math/mathlibtools/distinfo b/math/mathlibtools/distinfo new file mode 100644 index 000000000000..139270e381e6 --- /dev/null +++ b/math/mathlibtools/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1662478484 +SHA256 (mathlibtools-1.1.2.tar.gz) = 25b9dbdc52b20753407a107cb59c4157a77b24908e81664f31631a14400ece43 +SIZE (mathlibtools-1.1.2.tar.gz) = 26556 diff --git a/math/mathlibtools/pkg-descr b/math/mathlibtools/pkg-descr new file mode 100644 index 000000000000..f01ea900eab4 --- /dev/null +++ b/math/mathlibtools/pkg-descr @@ -0,0 +1,5 @@ +mathlibtools contains leanproject, a supporting tool for Lean mathlib. + +Lean is installed by the port math/lean. + +WWW: https://github.com/leanprover-community/mathlib-tools