4 files changed, 233 insertions, 0 deletions

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 <bsd.port.options.mk>
+
+.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 <bsd.port.mk>
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