From owner-dev-commits-ports-all@freebsd.org Mon May 3 18:59:10 2021
Return-Path: <owner-dev-commits-ports-all@freebsd.org>
Delivered-To: dev-commits-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 9774C63A754;
Mon, 3 May 2021 18:59:10 +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 4FYshZ3xWnz3Mnt;
Mon, 3 May 2021 18:59:10 +0000 (UTC) (envelope-from git@FreeBSD.org)
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 75C5C23341;
Mon, 3 May 2021 18:59:10 +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 143IxAJa028038;
Mon, 3 May 2021 18:59:10 GMT (envelope-from git@gitrepo.freebsd.org)
Received: (from git@localhost)
by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 143IxAgb028037;
Mon, 3 May 2021 18:59:10 GMT (envelope-from git)
Date: Mon, 3 May 2021 18:59:10 GMT
Message-Id: <202105031859.143IxAgb028037@gitrepo.freebsd.org>
To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org,
dev-commits-ports-main@FreeBSD.org
From: Yuri Victorovich <yuri@FreeBSD.org>
Subject: git: 6ae00aea2cdb - main - New port: math/chuffed: Lazy clause
generation CP solver for MiniZinc
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: 6ae00aea2cdbffa61b2a70d222d6d453e50cd9fb
Auto-Submitted: auto-generated
X-BeenThere: dev-commits-ports-all@freebsd.org
X-Mailman-Version: 2.1.34
Precedence: list
List-Id: Commit messages for all branches of the ports repository
<dev-commits-ports-all.freebsd.org>
List-Unsubscribe: <https://lists.freebsd.org/mailman/options/dev-commits-ports-all>,
<mailto:dev-commits-ports-all-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/dev-commits-ports-all/>
List-Post: <mailto:dev-commits-ports-all@freebsd.org>
List-Help: <mailto:dev-commits-ports-all-request@freebsd.org?subject=help>
List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/dev-commits-ports-all>,
<mailto:dev-commits-ports-all-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Mon, 03 May 2021 18:59:10 -0000
The branch main has been updated by yuri:
URL: https://cgit.FreeBSD.org/ports/commit/?id=6ae00aea2cdbffa61b2a70d222d6d453e50cd9fb
commit 6ae00aea2cdbffa61b2a70d222d6d453e50cd9fb
Author: Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2021-05-03 18:48:29 +0000
Commit: Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2021-05-03 18:59:07 +0000
New port: math/chuffed: Lazy clause generation CP solver for MiniZinc
---
math/Makefile | 1 +
math/chuffed/Makefile | 30 ++++++++++++++++++++++++++++++
math/chuffed/distinfo | 5 +++++
math/chuffed/pkg-descr | 3 +++
math/chuffed/pkg-plist | 28 ++++++++++++++++++++++++++++
5 files changed, 67 insertions(+)
diff --git a/math/Makefile b/math/Makefile
index bfa68868a903..c8a77c380365 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -185,6 +185,7 @@
SUBDIR += cglm
SUBDIR += chaco
SUBDIR += chryzodus
+ SUBDIR += chuffed
SUBDIR += clasp
SUBDIR += clblas
SUBDIR += clblast
diff --git a/math/chuffed/Makefile b/math/chuffed/Makefile
new file mode 100644
index 000000000000..218e4b15bc49
--- /dev/null
+++ b/math/chuffed/Makefile
@@ -0,0 +1,30 @@
+PORTNAME= chuffed
+DISTVERSION= 0.10.4
+CATEGORIES= math
+
+MAINTAINER= yuri@FreeBSD.org
+COMMENT= Lazy clause generation CP solver for MiniZinc
+
+LICENSE= MIT
+LICENSE_FILE= ${WRKSRC}/LICENSE
+
+USES= bison cmake compiler:c++11-lang
+USE_GITHUB= yes
+
+GH_TUPLE= cp-profiler:cpp-integration:d695d93:cpi/submodules/cp-profiler-integration
+
+CXXFLAGS+= -I${BUILD_WRKSRC}/chuffed/flatzinc # workaround for: fatal error: 'parser.tab.h' file not found, see https://github.com/chuffed/chuffed/issues/75
+
+post-patch: # workaround for: unknown symbol YYEMPTY: wrong parser.tab.h is used by the build, see https://github.com/chuffed/chuffed/issues/75
+ @${RM} ${WRKSRC}/chuffed/flatzinc/parser.tab.h
+
+post-install:
+ # move the msc file where MiniZinc looks for it, see https://github.com/chuffed/chuffed/issues/74
+ cd ${STAGEDIR}${PREFIX} && \
+ ${MKDIR} share/minizinc/solvers && \
+ ${MV} chuffed.msc share/minizinc/solvers
+ # adjust mzn executable and lib paths for MiniZinc to find them
+ ${REINPLACE_CMD} -i '' -e 's|bin/|${PREFIX}/&| ; s|share/chuffed/|${PREFIX}/&|' \
+ ${STAGEDIR}${PREFIX}/share/minizinc/solvers/chuffed.msc
+
+.include <bsd.port.mk>
diff --git a/math/chuffed/distinfo b/math/chuffed/distinfo
new file mode 100644
index 000000000000..d420e4c6986a
--- /dev/null
+++ b/math/chuffed/distinfo
@@ -0,0 +1,5 @@
+TIMESTAMP = 1620064310
+SHA256 (chuffed-chuffed-0.10.4_GH0.tar.gz) = f7e7028d5a6b0d936f39d33e1e70ff71ccd34e39a5728928699132b213e52fde
+SIZE (chuffed-chuffed-0.10.4_GH0.tar.gz) = 308901
+SHA256 (cp-profiler-cpp-integration-d695d93_GH0.tar.gz) = ff556f0fcbdf4e438226c070bdf41e04b584bd193501b8882c6a1de8d4756ea9
+SIZE (cp-profiler-cpp-integration-d695d93_GH0.tar.gz) = 403484
diff --git a/math/chuffed/pkg-descr b/math/chuffed/pkg-descr
new file mode 100644
index 000000000000..356459fc8be7
--- /dev/null
+++ b/math/chuffed/pkg-descr
@@ -0,0 +1,3 @@
+The Chuffed CP solver backend for the MiniZinc constraint modelling language.
+
+WWW: https://github.com/chuffed/chuffed
diff --git a/math/chuffed/pkg-plist b/math/chuffed/pkg-plist
new file mode 100644
index 000000000000..41b89998f06f
--- /dev/null
+++ b/math/chuffed/pkg-plist
@@ -0,0 +1,28 @@
+bin/fzn-chuffed
+%%DATADIR%%/mznlib/all_different_int.mzn
+%%DATADIR%%/mznlib/arg_max_bool.mzn
+%%DATADIR%%/mznlib/at_least_int.mzn
+%%DATADIR%%/mznlib/at_most_int.mzn
+%%DATADIR%%/mznlib/chuffed.mzn
+%%DATADIR%%/mznlib/circuit.mzn
+%%DATADIR%%/mznlib/cost_regular.mzn
+%%DATADIR%%/mznlib/count.mzn
+%%DATADIR%%/mznlib/cumulative.mzn
+%%DATADIR%%/mznlib/disjunctive.mzn
+%%DATADIR%%/mznlib/disjunctive_strict.mzn
+%%DATADIR%%/mznlib/distribute.mzn
+%%DATADIR%%/mznlib/exactly_int.mzn
+%%DATADIR%%/mznlib/global_cardinality_low_up.mzn
+%%DATADIR%%/mznlib/inverse.mzn
+%%DATADIR%%/mznlib/maximum_int.mzn
+%%DATADIR%%/mznlib/minimum_int.mzn
+%%DATADIR%%/mznlib/nvalue.mzn
+%%DATADIR%%/mznlib/redefinitions.mzn
+%%DATADIR%%/mznlib/regular.mzn
+%%DATADIR%%/mznlib/subcircuit.mzn
+%%DATADIR%%/mznlib/table_int.mzn
+%%DATADIR%%/mznlib/values_interchange.mzn
+%%DATADIR%%/mznlib/values_sequences.mzn
+%%DATADIR%%/mznlib/variables_interchange.mzn
+%%DATADIR%%/mznlib/variables_sequences.mzn
+share/minizinc/solvers/chuffed.msc