From e4ca7379db53c033b37ac6f5bf10fca8ace97973 Mon Sep 17 00:00:00 2001 From: Yuri Victorovich Date: Sun, 25 Aug 2019 04:19:02 +0000 Subject: New port: math/casadi: Symbolic framework for numeric optimization --- math/casadi/Makefile | 67 ++++++++++++++++++++++ math/casadi/distinfo | 3 + math/casadi/pkg-descr | 7 +++ math/casadi/pkg-plist | 156 ++++++++++++++++++++++++++++++++++++++++++++++++++ 4 files changed, 233 insertions(+) create mode 100644 math/casadi/Makefile create mode 100644 math/casadi/distinfo create mode 100644 math/casadi/pkg-descr create mode 100644 math/casadi/pkg-plist (limited to 'math/casadi') diff --git a/math/casadi/Makefile b/math/casadi/Makefile new file mode 100644 index 000000000000..78a4cc41b5f5 --- /dev/null +++ b/math/casadi/Makefile @@ -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 diff --git a/math/casadi/distinfo b/math/casadi/distinfo new file mode 100644 index 000000000000..43d27ffa9b53 --- /dev/null +++ b/math/casadi/distinfo @@ -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 diff --git a/math/casadi/pkg-descr b/math/casadi/pkg-descr new file mode 100644 index 000000000000..4abd95c36728 --- /dev/null +++ b/math/casadi/pkg-descr @@ -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 diff --git a/math/casadi/pkg-plist b/math/casadi/pkg-plist new file mode 100644 index 000000000000..70c59b9df60b --- /dev/null +++ b/math/casadi/pkg-plist @@ -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 -- cgit v1.2.3