Port details on branch 2022Q2 |
- aspcud Advanced solver for package dependencies
- 1.9.4_7 math
=0 1.9.4_7Version of this port present on the latest quarterly branch.
- DEPRECATED: Uses EOL Python 2.7 via math/gringo
This port expired on: 2021-06-23
- Maintainer: vsevolod@FreeBSD.org
- Port Added: 2014-01-10 16:36:03
- Last Update: 2021-06-26 16:07:04
- Commit Hash: 4e58570
- Also Listed In: ports-mgmt sysutils
- License: GPLv3
- WWW:
- https://potassco.org/aspcud/
- Description:
- Aspcud is a solver for package dependencies. A package universe and a request
to install, remove, or upgrade packages have to be encoded in the CUDF format.
Such a CUDF document can then be passed to aspcud along with an optimization
criteria to obtain a solution to the given package problem.
WWW: https://potassco.org/aspcud/
- ¦ ¦ ¦ ¦
- Manual pages:
-
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME: aspcud
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1532666427
SHA256 (potassco-aspcud-v1.9.4_GH0.tar.gz) = 3645f08b079e1cc80e24cd2d7ae5172a52476d84e3ec5e6a6c0034492a6ea885
SIZE (potassco-aspcud-v1.9.4_GH0.tar.gz) = 70030827
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- re2c : devel/re2c
- cmake : devel/cmake
- ninja : devel/ninja
- Runtime dependencies:
-
- gringo : math/gringo
- clasp : math/clasp
- bash : shells/bash
- python3.7 : lang/python37
- Library dependencies:
-
- libboost_thread.so : devel/boost-libs
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- math_aspcud
- USES:
- compiler:c++11-lang cmake python:run
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|