Skip site navigation (1)Skip section navigation (2)
Date:      Tue, 4 May 2021 06:06:35 GMT
From:      Yuri Victorovich <yuri@FreeBSD.org>
To:        ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org
Subject:   git: 58cdedf75024 - main - New port: math/jacop: Java Constraint Programming solve
Message-ID:  <202105040606.14466Zde016888@gitrepo.freebsd.org>

next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=58cdedf7502425d186ef9fa868f436e18acc823f

commit 58cdedf7502425d186ef9fa868f436e18acc823f
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2021-05-04 05:43:18 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
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 <bsd.port.mk>
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



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202105040606.14466Zde016888>