From owner-svn-ports-all@freebsd.org Sun Aug 25 04:19:03 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 C7496D493B; Sun, 25 Aug 2019 04:19:03 +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 46GMMq4kjrz4VnN; Sun, 25 Aug 2019 04:19:03 +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 8449AFF1A; Sun, 25 Aug 2019 04:19:03 +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 x7P4J3D8082994; Sun, 25 Aug 2019 04:19:03 GMT (envelope-from yuri@FreeBSD.org) Received: (from yuri@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id x7P4J2HT082987; Sun, 25 Aug 2019 04:19:02 GMT (envelope-from yuri@FreeBSD.org) Message-Id: <201908250419.x7P4J2HT082987@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: yuri set sender to yuri@FreeBSD.org using -f From: Yuri Victorovich Date: Sun, 25 Aug 2019 04:19:02 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r509770 - in head/math: . casadi X-SVN-Group: ports-head X-SVN-Commit-Author: yuri X-SVN-Commit-Paths: in head/math: . casadi X-SVN-Commit-Revision: 509770 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: Sun, 25 Aug 2019 04:19:03 -0000 Author: yuri Date: Sun Aug 25 04:19:02 2019 New Revision: 509770 URL: https://svnweb.freebsd.org/changeset/ports/509770 Log: New port: math/casadi: Symbolic framework for numeric optimization Added: head/math/casadi/ head/math/casadi/Makefile (contents, props changed) head/math/casadi/distinfo (contents, props changed) head/math/casadi/pkg-descr (contents, props changed) head/math/casadi/pkg-plist (contents, props changed) Modified: head/math/Makefile Modified: head/math/Makefile ============================================================================== --- head/math/Makefile Sun Aug 25 01:24:42 2019 (r509769) +++ head/math/Makefile Sun Aug 25 04:19:02 2019 (r509770) @@ -159,6 +159,7 @@ SUBDIR += calcoo SUBDIR += calctool SUBDIR += cantor + SUBDIR += casadi SUBDIR += cbc SUBDIR += cblas SUBDIR += ccmath Added: head/math/casadi/Makefile ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/casadi/Makefile Sun Aug 25 04:19:02 2019 (r509770) @@ -0,0 +1,67 @@ +# $FreeBSD$ + +PORTNAME= casadi +DISTVERSION= 3.4.5-49 +DISTVERSIONSUFFIX= -g6b0de13ac +CATEGORIES= math + +MAINTAINER= yuri@FreeBSD.org +COMMENT= Symbolic framework for numeric optimization + +LICENSE= GPLv3 +LICENSE_FILE= ${WRKSRC}/LICENSE.txt + +USES= cmake pkgconfig +USE_GITHUB= yes +USE_LDCONFIG= yes + +CFLAGS+= -fPIC +CXXFLAGS+= -fPIC + +CMAKE_OFF= WITH_DEEPBIND WITH_BUILD_BLASFEO + +OPTIONS_DEFINE= BLASFEO BONMIN CLANG IPOPT LAPACK QPOASES +OPTIONS_DEFAULT= BLASFEO BONMIN IPOPT LAPACK QPOASES +OPTIONS_SUB= yes + +BLASFEO_DESC= Build with BLASFEO +BLASFEO_CMAKE_BOOL= WITH_BLASFEO +BLASFEO_BUILD_DEPENDS= blasfeo>0:math/blasfeo + +BONMIN_DESC= Build with Bonmin +BONMIN_CMAKE_BOOL= WITH_BONMIN +BONMIN_USES= blaslapack:netlib fortran +BONMIN_LIB_DEPENDS= libbonmin.so:math/bonmin \ + libCbcSolver.so:math/coinmp \ + libipopt.so:math/ipopt + +CLANG_DESC= Build with clang for JIT +CLANG_CMAKE_BOOL= WITH_CLANG +CLANG_BROKEN= Fails to find clang + +IPOPT_DESC= Build with IPopt +IPOPT_CMAKE_BOOL= WITH_IPOPT +IPOPT_USES= blaslapack:netlib fortran +IPOPT_LIB_DEPENDS= libipopt.so:math/ipopt + +LAPACK_DESC= Build with LAPACK +LAPACK_CMAKE_BOOL= WITH_LAPACK +LAPACK_USES= blaslapack:openblas + +QPOASES_DESC= Build with qpOASES +QPOASES_CMAKE_BOOL= WITH_QPOASES +QPOASES_LIB_DEPENDS= libopenblas.so:math/openblas +QPOASES_IMPLIES= LAPACK + +.include + +.if ${PORT_OPTIONS:MCLANG} +# use clang from ports because cmake can't find base llvm for JIT +BUILD_DEPENDS+= clang${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} +RUN_DEPENDS+= clang${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} +CPP= clang-cpp${LLVM_DEFAULT} +CC= clang${LLVM_DEFAULT} +CXX= clang++${LLVM_DEFAULT} +.endif + +.include Added: head/math/casadi/distinfo ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/casadi/distinfo Sun Aug 25 04:19:02 2019 (r509770) @@ -0,0 +1,3 @@ +TIMESTAMP = 1566688181 +SHA256 (casadi-casadi-3.4.5-49-g6b0de13ac_GH0.tar.gz) = 38e130753a849f569f38e8dfb5f83f2b3f4d606f36450b2cbf31fc18961b586b +SIZE (casadi-casadi-3.4.5-49-g6b0de13ac_GH0.tar.gz) = 3602120 Added: head/math/casadi/pkg-descr ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/casadi/pkg-descr Sun Aug 25 04:19:02 2019 (r509770) @@ -0,0 +1,7 @@ +Rumur is a model checker, a formal verification tool for proving safety and +security properties of systems represented as state machines. It is based on a +previous tool, CMurphi, and intended to be close to a drop-in replacement. Rumur +takes the same input format as CMurphi, the Murphi modelling language, with some +extensions and generates a C program that implements a verifier. + +WWW: https://github.com/Smattr/rumur Added: head/math/casadi/pkg-plist ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/casadi/pkg-plist Sun Aug 25 04:19:02 2019 (r509770) @@ -0,0 +1,156 @@ +include/casadi/casadi.hpp +include/casadi/config.h +include/casadi/core/calculus.hpp +include/casadi/core/callback.hpp +include/casadi/core/casadi_common.hpp +include/casadi/core/casadi_export.h +include/casadi/core/casadi_interrupt.hpp +include/casadi/core/casadi_limits.hpp +include/casadi/core/casadi_logger.hpp +include/casadi/core/casadi_meta.hpp +include/casadi/core/casadi_misc.hpp +include/casadi/core/casadi_types.hpp +include/casadi/core/code_generator.hpp +include/casadi/core/conic.hpp +include/casadi/core/core.hpp +include/casadi/core/dae_builder.hpp +include/casadi/core/dple.hpp +include/casadi/core/exception.hpp +include/casadi/core/expm.hpp +include/casadi/core/external.hpp +include/casadi/core/function.hpp +include/casadi/core/generic_expression.hpp +include/casadi/core/generic_matrix.hpp +include/casadi/core/generic_type.hpp +include/casadi/core/global_options.hpp +include/casadi/core/importer.hpp +include/casadi/core/integration_tools.hpp +include/casadi/core/integrator.hpp +include/casadi/core/interpolant.hpp +include/casadi/core/linsol.hpp +include/casadi/core/matrix.hpp +include/casadi/core/mx.hpp +include/casadi/core/nlp_builder.hpp +include/casadi/core/nlpsol.hpp +include/casadi/core/nonzeros.hpp +include/casadi/core/options.hpp +include/casadi/core/optistack.hpp +include/casadi/core/polynomial.hpp +include/casadi/core/printable.hpp +include/casadi/core/rootfinder.hpp +include/casadi/core/runtime/casadi_axpy.hpp +include/casadi/core/runtime/casadi_bfgs.hpp +include/casadi/core/runtime/casadi_bilin.hpp +include/casadi/core/runtime/casadi_copy.hpp +include/casadi/core/runtime/casadi_de_boor.hpp +include/casadi/core/runtime/casadi_densify.hpp +include/casadi/core/runtime/casadi_dot.hpp +include/casadi/core/runtime/casadi_fill.hpp +include/casadi/core/runtime/casadi_finite_diff.hpp +include/casadi/core/runtime/casadi_flip.hpp +include/casadi/core/runtime/casadi_getu.hpp +include/casadi/core/runtime/casadi_iamax.hpp +include/casadi/core/runtime/casadi_interpn.hpp +include/casadi/core/runtime/casadi_interpn_grad.hpp +include/casadi/core/runtime/casadi_interpn_interpolate.hpp +include/casadi/core/runtime/casadi_interpn_weights.hpp +include/casadi/core/runtime/casadi_ldl.hpp +include/casadi/core/runtime/casadi_low.hpp +include/casadi/core/runtime/casadi_max_viol.hpp +include/casadi/core/runtime/casadi_minmax.hpp +include/casadi/core/runtime/casadi_mtimes.hpp +include/casadi/core/runtime/casadi_mv.hpp +include/casadi/core/runtime/casadi_mv_dense.hpp +include/casadi/core/runtime/casadi_nd_boor_eval.hpp +include/casadi/core/runtime/casadi_newton.hpp +include/casadi/core/runtime/casadi_norm_1.hpp +include/casadi/core/runtime/casadi_norm_2.hpp +include/casadi/core/runtime/casadi_norm_inf.hpp +include/casadi/core/runtime/casadi_norm_inf_mul.hpp +include/casadi/core/runtime/casadi_polyval.hpp +include/casadi/core/runtime/casadi_project.hpp +include/casadi/core/runtime/casadi_qp.hpp +include/casadi/core/runtime/casadi_qr.hpp +include/casadi/core/runtime/casadi_rank1.hpp +include/casadi/core/runtime/casadi_regularize.hpp +include/casadi/core/runtime/casadi_runtime.hpp +include/casadi/core/runtime/casadi_scal.hpp +include/casadi/core/runtime/casadi_sparsify.hpp +include/casadi/core/runtime/casadi_sum_viol.hpp +include/casadi/core/runtime/casadi_swap.hpp +include/casadi/core/runtime/casadi_trans.hpp +include/casadi/core/runtime/shared.hpp +include/casadi/core/shared_object.hpp +include/casadi/core/slice.hpp +include/casadi/core/sparsity.hpp +include/casadi/core/sparsity_interface.hpp +include/casadi/core/submatrix.hpp +include/casadi/core/sx.hpp +include/casadi/core/sx_elem.hpp +include/casadi/core/timing.hpp +include/casadi/core/variable.hpp +include/casadi/core/xml_file.hpp +include/casadi/core/xml_node.hpp +include/casadi/mem.h +lib/cmake/casadi/casadi-config-version.cmake +lib/cmake/casadi/casadi-config.cmake +lib/cmake/casadi/casadi-targets-%%CMAKE_BUILD_TYPE%%.cmake +lib/cmake/casadi/casadi-targets.cmake +lib/libcasadi.so +lib/libcasadi.so.3.5 +lib/libcasadi_conic_nlpsol.so +lib/libcasadi_conic_nlpsol.so.3.5 +%%QPOASES%%lib/libcasadi_conic_qpoases.so +%%QPOASES%%lib/libcasadi_conic_qpoases.so.3.5 +lib/libcasadi_conic_qrqp.so +lib/libcasadi_conic_qrqp.so.3.5 +lib/libcasadi_importer_shell.so +lib/libcasadi_importer_shell.so.3.5 +lib/libcasadi_integrator_collocation.so +lib/libcasadi_integrator_collocation.so.3.5 +lib/libcasadi_integrator_cvodes.so +lib/libcasadi_integrator_cvodes.so.3.5 +lib/libcasadi_integrator_idas.so +lib/libcasadi_integrator_idas.so.3.5 +lib/libcasadi_integrator_rk.so +lib/libcasadi_integrator_rk.so.3.5 +lib/libcasadi_interpolant_bspline.so +lib/libcasadi_interpolant_bspline.so.3.5 +lib/libcasadi_interpolant_linear.so +lib/libcasadi_interpolant_linear.so.3.5 +lib/libcasadi_linsol_csparse.so +lib/libcasadi_linsol_csparse.so.3.5 +lib/libcasadi_linsol_csparsecholesky.so +lib/libcasadi_linsol_csparsecholesky.so.3.5 +%%LAPACK%%lib/libcasadi_linsol_lapacklu.so +%%LAPACK%%lib/libcasadi_linsol_lapacklu.so.3.5 +%%LAPACK%%lib/libcasadi_linsol_lapackqr.so +%%LAPACK%%lib/libcasadi_linsol_lapackqr.so.3.5 +lib/libcasadi_linsol_ldl.so +lib/libcasadi_linsol_ldl.so.3.5 +lib/libcasadi_linsol_lsqr.so +lib/libcasadi_linsol_lsqr.so.3.5 +lib/libcasadi_linsol_qr.so +lib/libcasadi_linsol_qr.so.3.5 +lib/libcasadi_linsol_symbolicqr.so +lib/libcasadi_linsol_symbolicqr.so.3.5 +%%BONMIN%%lib/libcasadi_nlpsol_bonmin.so +%%BONMIN%%lib/libcasadi_nlpsol_bonmin.so.3.5 +%%IPOPT%%lib/libcasadi_nlpsol_ipopt.so +%%IPOPT%%lib/libcasadi_nlpsol_ipopt.so.3.5 +lib/libcasadi_nlpsol_scpgen.so +lib/libcasadi_nlpsol_scpgen.so.3.5 +lib/libcasadi_nlpsol_sqpmethod.so +lib/libcasadi_nlpsol_sqpmethod.so.3.5 +lib/libcasadi_rootfinder_fast_newton.so +lib/libcasadi_rootfinder_fast_newton.so.3.5 +lib/libcasadi_rootfinder_kinsol.so +lib/libcasadi_rootfinder_kinsol.so.3.5 +lib/libcasadi_rootfinder_newton.so +lib/libcasadi_rootfinder_newton.so.3.5 +lib/libcasadi_rootfinder_nlpsol.so +lib/libcasadi_rootfinder_nlpsol.so.3.5 +lib/libcasadi_sundials_common.so +lib/libcasadi_sundials_common.so.3.5 +lib/libcasadi_xmlfile_tinyxml.so +lib/libcasadi_xmlfile_tinyxml.so.3.5