From owner-dev-commits-ports-main@freebsd.org Tue May 4 06:06:35 2021 Return-Path: Delivered-To: dev-commits-ports-main@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 BD3476274C7; Tue, 4 May 2021 06:06:35 +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 4FZ8Vg526Zz4fpV; Tue, 4 May 2021 06:06:35 +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 9B11544BF; Tue, 4 May 2021 06:06:35 +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 14466ZEA016889; Tue, 4 May 2021 06:06:35 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 14466Zde016888; Tue, 4 May 2021 06:06:35 GMT (envelope-from git) Date: Tue, 4 May 2021 06:06:35 GMT Message-Id: <202105040606.14466Zde016888@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: 58cdedf75024 - main - New port: math/jacop: Java Constraint Programming solve 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: 58cdedf7502425d186ef9fa868f436e18acc823f Auto-Submitted: auto-generated X-BeenThere: dev-commits-ports-main@freebsd.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: Commits to the main branch of the FreeBSD ports repository List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 04 May 2021 06:06:35 -0000 The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=58cdedf7502425d186ef9fa868f436e18acc823f commit 58cdedf7502425d186ef9fa868f436e18acc823f Author: Yuri Victorovich AuthorDate: 2021-05-04 05:43:18 +0000 Commit: Yuri Victorovich CommitDate: 2021-05-04 06:06:32 +0000 New port: math/jacop: Java Constraint Programming solve --- math/Makefile | 1 + math/jacop/Makefile | 67 ++++++++++++++++++++++++++++++++++++ math/jacop/distinfo | 5 +++ math/jacop/files/jacop.sh.in | 3 ++ math/jacop/pkg-descr | 3 ++ math/jacop/pkg-plist | 81 ++++++++++++++++++++++++++++++++++++++++++++ 6 files changed, 160 insertions(+) diff --git a/math/Makefile b/math/Makefile index f84f605e5c66..df7e7a52b6af 100644 --- a/math/Makefile +++ b/math/Makefile @@ -346,6 +346,7 @@ SUBDIR += ipopt SUBDIR += ised SUBDIR += jacal + SUBDIR += jacop SUBDIR += jags SUBDIR += jama SUBDIR += jeuclid diff --git a/math/jacop/Makefile b/math/jacop/Makefile new file mode 100644 index 000000000000..76e4ec354425 --- /dev/null +++ b/math/jacop/Makefile @@ -0,0 +1,67 @@ +PORTNAME= jacop +DISTVERSIONPREFIX= v +DISTVERSION= 4.0.0-1162 +DISTVERSIONSUFFIX= -gd37f3c23 +CATEGORIES= math java +MASTER_SITES= LOCAL/yuri/:maven \ + http://people.freebsd.org/~yuri/:maven + +MAINTAINER= yuri@FreeBSD.org +COMMENT= Java Constraint Programming solver + +LICENSE= AGPLv3 +LICENSE_FILE= ${WRKSRC}/LICENSE.md + +BUILD_DEPENDS= mvn:devel/maven + +USE_JAVA= yes + +USE_GITHUB= yes +GH_ACCOUNT= radsz + +NO_ARCH= yes + +SUB_FILES= ${PORTNAME}.sh +SUB_LIST= PORTVERSION=${PORTVERSION} JAVA=${JAVA} + +# to rebuild the deps archive: +# 1. set DEV_UPDATE_MODE=yes +# 2. make makesum build +# 3. upload the *-deps archive +# 4. set DEV_UPDATE_MODE=no +# 5. make clean makesum + +DEV_UPDATE_MODE= no + +.if (${DEV_UPDATE_MODE} == "yes") +post-build: + @cd ${WRKDIR} && ${TAR} czf ${DISTDIR}/${PORTNAME}-${DISTVERSION}-deps${EXTRACT_SUFX} .m2 + @${ECHO} "(!!!) Please upload the maven deps archive: ${DISTDIR}/${PORTNAME}-${DISTVERSION}-deps${EXTRACT_SUFX}" +.else +MASTER_SITES+= LOCAL/yuri/:maven +DISTFILES+= ${PORTNAME}-${DISTVERSION}-deps${EXTRACT_SUFX}:maven +MVN_ARGS= --offline +.endif + +do-build: + @cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} \ + ${LOCALBASE}/bin/mvn ${MVN_ARGS} \ + -fae install \ + -Dmaven.test.skip=true \ + -Duser.home=${WRKDIR} \ + compile + +do-install: + # script + ${INSTALL_SCRIPT} ${WRKDIR}/${PORTNAME}.sh ${STAGEDIR}${PREFIX}/bin/fzn-${PORTNAME} + # jar + ${INSTALL_DATA} ${WRKSRC}/target/${PORTNAME}-*-SNAPSHOT.jar ${STAGEDIR}${JAVAJARDIR}/${PORTNAME}-${PORTVERSION}.jar + # MiniZinc config file + ${MKDIR} ${STAGEDIR}${PREFIX}/share/minizinc/solvers + ${INSTALL_DATA} ${WRKSRC}/src/main/minizinc/org.jacop.msc ${STAGEDIR}${PREFIX}/share/minizinc/solvers + # jacop library + #${MKDIR} ${STAGEDIR}${PREFIX}/share/minizinc/jacop + #src/main/minizinc/org/jacop/minizinc + cd ${WRKSRC}/src/main/minizinc/org/jacop/minizinc && ${COPYTREE_SHARE} . ${STAGEDIR}${PREFIX}/share/minizinc/jacop + +.include diff --git a/math/jacop/distinfo b/math/jacop/distinfo new file mode 100644 index 000000000000..991265ef638b --- /dev/null +++ b/math/jacop/distinfo @@ -0,0 +1,5 @@ +TIMESTAMP = 1620103183 +SHA256 (jacop-4.0.0-1162-deps.tar.gz) = 1c4aa41dff58aad875feac6ade8129ffb689b37038eb2c765d81305b58e15868 +SIZE (jacop-4.0.0-1162-deps.tar.gz) = 54183631 +SHA256 (radsz-jacop-v4.0.0-1162-gd37f3c23_GH0.tar.gz) = 3eed60b57e4e3e7e668f8c6d84c98b2fe7a22b8878205086b0c1f1932a4b6db2 +SIZE (radsz-jacop-v4.0.0-1162-gd37f3c23_GH0.tar.gz) = 154140130 diff --git a/math/jacop/files/jacop.sh.in b/math/jacop/files/jacop.sh.in new file mode 100644 index 000000000000..35035ce472ce --- /dev/null +++ b/math/jacop/files/jacop.sh.in @@ -0,0 +1,3 @@ +#!/bin/sh + +%%JAVA%% -jar %%JAVAJARDIR%%/jacop-%%PORTVERSION%%.jar "$@" diff --git a/math/jacop/pkg-descr b/math/jacop/pkg-descr new file mode 100644 index 000000000000..950ccacbbe01 --- /dev/null +++ b/math/jacop/pkg-descr @@ -0,0 +1,3 @@ +Java Constraint Programming (JaCoP) solver for MiniZinc. + +WWW: https://github.com/radsz/jacop diff --git a/math/jacop/pkg-plist b/math/jacop/pkg-plist new file mode 100644 index 000000000000..12c919183a64 --- /dev/null +++ b/math/jacop/pkg-plist @@ -0,0 +1,81 @@ +bin/fzn-jacop +%%JAVAJARDIR%%/jacop-4.0.0.1162.jar +share/minizinc/jacop/GCC.mzn +share/minizinc/jacop/all_distinct.mzn +share/minizinc/jacop/among_var.mzn +share/minizinc/jacop/channel.mzn +share/minizinc/jacop/diff2.mzn +share/minizinc/jacop/fzn_all_different_int.mzn +share/minizinc/jacop/fzn_alldifferent_except_0.mzn +share/minizinc/jacop/fzn_among.mzn +share/minizinc/jacop/fzn_among_reif.mzn +share/minizinc/jacop/fzn_arg_max_int.mzn +share/minizinc/jacop/fzn_arg_min_int.mzn +share/minizinc/jacop/fzn_at_least_int.mzn +share/minizinc/jacop/fzn_at_least_int_reif.mzn +share/minizinc/jacop/fzn_at_most_int.mzn +share/minizinc/jacop/fzn_at_most_int_reif.mzn +share/minizinc/jacop/fzn_bin_packing.mzn +share/minizinc/jacop/fzn_bin_packing_capa.mzn +share/minizinc/jacop/fzn_bin_packing_load.mzn +share/minizinc/jacop/fzn_circuit.mzn +share/minizinc/jacop/fzn_count_eq.mzn +share/minizinc/jacop/fzn_count_eq_par.mzn +share/minizinc/jacop/fzn_count_eq_par_reif.mzn +share/minizinc/jacop/fzn_count_eq_reif.mzn +share/minizinc/jacop/fzn_count_geq_par.mzn +share/minizinc/jacop/fzn_count_geq_par_reif.mzn +share/minizinc/jacop/fzn_count_gt_par.mzn +share/minizinc/jacop/fzn_count_gt_par_reif.mzn +share/minizinc/jacop/fzn_count_leq_par.mzn +share/minizinc/jacop/fzn_count_leq_par_reif.mzn +share/minizinc/jacop/fzn_count_lt_par.mzn +share/minizinc/jacop/fzn_count_lt_par_reif.mzn +share/minizinc/jacop/fzn_cumulative.mzn +share/minizinc/jacop/fzn_diffn.mzn +share/minizinc/jacop/fzn_diffn_nonstrict.mzn +share/minizinc/jacop/fzn_disjoint.mzn +share/minizinc/jacop/fzn_disjunctive.mzn +share/minizinc/jacop/fzn_disjunctive_strict.mzn +share/minizinc/jacop/fzn_distribute.mzn +share/minizinc/jacop/fzn_exactly_int.mzn +share/minizinc/jacop/fzn_geost.mzn +share/minizinc/jacop/fzn_geost_bb.mzn +share/minizinc/jacop/fzn_global_cardinality.mzn +share/minizinc/jacop/fzn_global_cardinality_closed.mzn +share/minizinc/jacop/fzn_global_cardinality_low_up.mzn +share/minizinc/jacop/fzn_global_cardinality_low_up_closed.mzn +share/minizinc/jacop/fzn_if_then_else_bool.mzn +share/minizinc/jacop/fzn_if_then_else_float.mzn +share/minizinc/jacop/fzn_if_then_else_int.mzn +share/minizinc/jacop/fzn_if_then_else_set.mzn +share/minizinc/jacop/fzn_if_then_else_var_bool.mzn +share/minizinc/jacop/fzn_if_then_else_var_float.mzn +share/minizinc/jacop/fzn_if_then_else_var_int.mzn +share/minizinc/jacop/fzn_if_then_else_var_set.mzn +share/minizinc/jacop/fzn_inverse.mzn +share/minizinc/jacop/fzn_knapsack.mzn +share/minizinc/jacop/fzn_lex_less_bool.mzn +share/minizinc/jacop/fzn_lex_less_int.mzn +share/minizinc/jacop/fzn_lex_lesseq_bool.mzn +share/minizinc/jacop/fzn_lex_lesseq_int.mzn +share/minizinc/jacop/fzn_member_bool.mzn +share/minizinc/jacop/fzn_member_bool_reif.mzn +share/minizinc/jacop/fzn_member_int.mzn +share/minizinc/jacop/fzn_member_int_reif.mzn +share/minizinc/jacop/fzn_network_flow.mzn +share/minizinc/jacop/fzn_network_flow_cost.mzn +share/minizinc/jacop/fzn_nvalue.mzn +share/minizinc/jacop/fzn_nvalue_reif.mzn +share/minizinc/jacop/fzn_regular.mzn +share/minizinc/jacop/fzn_subcircuit.mzn +share/minizinc/jacop/fzn_table_bool.mzn +share/minizinc/jacop/fzn_table_int.mzn +share/minizinc/jacop/fzn_value_precede_int.mzn +share/minizinc/jacop/jacop.mzn +share/minizinc/jacop/redefinitions-2.0.mzn +share/minizinc/jacop/redefinitions.mzn +share/minizinc/jacop/soft_all_different_int.mzn +share/minizinc/jacop/soft_global_cardinality_int.mzn +share/minizinc/jacop/stretch.mzn +share/minizinc/solvers/org.jacop.msc