Since ports/lang/gcc doesn't have riscv64 support yet this helps us
unlock a bunch of ports there. Disabling fortran/blas/lapack means that
some feature are missing. This is mitigated by numpy shipping a minimal
lapack copy translated to C.
incorporate improvements by bket@:
- skip tests related to mpi_file_name
- fix free() related segfault in lzf_filter
- prepare the port for newer numpy/Cython/python versions
- run tests in fake
OK bket@
Description:
isl is a library for manipulating sets and relations of integer points bounded
by linear constraints. Supported operations on sets include intersection, union,
set difference, emptiness check, convex hull, (integer) affine hull, integer
projection, computing the lexicographic minimum using parametric integer
programming, coalescing and parametric vertex enumeration. It also includes an
ILP solver based on generalized basis reduction, transitive closures on maps
(which may encode infinite graphs), dependence analysis and bounds on piecewise
step-polynomials.
Makefile tweaks and ok bcallah@
this has a minor issue, https://github.com/saulpw/visidata/issues/1131 -
if ~/.visidata/plugins directory does not exist a warning is printed,
it should be ok to ignore or if it annoys you too much you can create
the directory for now.
Imath is a basic, light-weight, and efficient C++ representation of 2D and 3D
vectors and matrices and other simple but useful mathematical objects,
functions, and data types common in computer graphics applications, including
the "half" 16-bit floating-point type.
<...>
libImath is now split from the graphics/openexr package.
ok robert@
Lean is an open source theorem prover and programming language. It aims
to bridge the gap between interactive and automated theorem proving, by
situating automated tools and methods in a framework that supports user
interaction and the construction of fully specified axiomatic proofs.
