Re: An insuccessful attempt to package symbolica

Andrey Grozin <[email protected]> writes:

> Hello *,
>
> symbolica (https://symbolica.io/) seems a very interesting computer
> algebra system. It is written in rust. I've never dealt with
> cargo-based ebuilds (and in general know not much about rust - just a
> little intro, hello world etc.). So, I used pycargoebuild to generate
> an ebuild, editted to to change SRC_URI to be
>
> SRC_URI="
>         https://github.com/${PN}-dev/${PN}/archive/refs/tags/v${PV}.tar.gz
>         -> ${P}.tar.gz
>         ${CARGO_CRATE_URIS}
> "
>
> edited HOMEPAGE, and tried to emerge this ebuild. After compiling a
> number of crates, it produced
>
> error: failed to run custom build command for `gmp-mpfr-sys v1.7.1`
>
> [...]
>   --- stderr
>   configure: error: ABI=amd64 is not among the following valid
>   choices: 64 x32 32

Right, see what the dev-libs/gmp ebuild does for this. It's because of
environment variables exported in the ebuild environment.

> [...]
>
> The directory
>
> localhost
> /var/tmp/portage/sci-mathematics/symbolica-1.2.0/work/cargo_home/gentoo/gmp-mpfr-sys-1.7.1
> # ls
> Cargo.lock  Cargo.toml.orig  LICENSE-LGPL.md  RELEASES.md  doc-c
> gmp-6.3.0-c  mpfr-4.2.2-c
> Cargo.toml  LICENSE-GPL.md   README.md        build.rs     etc
> mpc-1.4.1-c  src
>
> seems to contain C sources of gmp, mpc, mpfr. Is it possible to
> convince cargo to use the system libraries, not to compile them anew?

https://github.com/stegos/gmp-mpfr-sys/blob/stegos/Cargo.toml indicates
no. You can file a bug asking them to allow this. Skimming build.rs is
also not promising.

The versions involved are also quite old.

> [...]

sam

-----BEGIN PGP SIGNATURE-----

iQEBBAEWCgCpFiEEJaa7iN2bdkxrVUHCc4QJ9SDfkZAFAmoGKMsbFIAAAAAABAAO
bWFudTIsMi41KzEuMTIsMiwyXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25z
Lm9wZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQyNUE2QkI4OEREOUI3NjRDNkI1NTQx
QzI3Mzg0MDlGNTIwREY5MTkwDxxzYW1AZ2VudG9vLm9yZwAKCRBzhAn1IN+RkC9p
AQC83qiU4nbsHoOqu+eWagr/dPcJN+BaaWQ+MhLfTJclpAEA+T9URpdjNb7LmeTj
t+Ddj9ADpCyZkeR1v77ZtIDZmA8=
=77Dt
-----END PGP SIGNATURE-----