notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)

Current status

The server has been repaired, with a new power supply, for $23. I am waiting for lower COVID rates before visiting the datacenter to return it.
Port details
clingo Grounder and solver for logic programs
5.4.1 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. 5.4.0Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2019-11-16 03:56:50
Last Update: 2020-12-09 05:00:30
SVN Revision: 557347
License: MIT
Description:
SVNWeb : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (21 items)
Collapse this list.
  1. @ldconfig
  2. /usr/local/share/licenses/clingo-5.4.1/catalog.mk
  3. /usr/local/share/licenses/clingo-5.4.1/LICENSE
  4. /usr/local/share/licenses/clingo-5.4.1/MIT
  5. bin/clasp
  6. bin/clingo
  7. bin/gringo
  8. bin/lpconvert
  9. bin/reify
  10. include/clingo.h
  11. include/clingo.hh
  12. lib/cmake/Clingo/ClingoConfig.cmake
  13. lib/cmake/Clingo/ClingoConfigVersion.cmake
  14. lib/cmake/Clingo/ClingoTargets-release.cmake
  15. lib/cmake/Clingo/ClingoTargets.cmake
  16. lib/libclingo.so
  17. lib/libclingo.so.3
  18. lib/libclingo.so.3.0
  19. @owner
  20. @group
  21. @mode
Collapse this list.
Dependency lines:
  • clingo>0:math/clingo
To install the port: cd /usr/ports/math/clingo/ && make install clean
To add the package: pkg install clingo
PKGNAME: clingo
Flavors: there is no flavor information for this port.
distinfo:
Packages: (move your mouse over the cells for more information)
clingo
ABIlatestquarterly
FreeBSD:11:aarch64-5.4.0
FreeBSD:11:amd645.4.15.4.1
FreeBSD:11:armv6-5.4.0
FreeBSD:11:i3865.4.15.4.1
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64-5.4.1
FreeBSD:12:amd645.4.15.4.1
FreeBSD:12:armv6-5.4.0
FreeBSD:12:armv7-5.4.0
FreeBSD:12:i3865.4.15.4.1
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64-5.4.1
FreeBSD:13:aarch645.4.1-
FreeBSD:13:amd645.4.1-
FreeBSD:13:armv65.4.1-
FreeBSD:13:armv75.4.1-
FreeBSD:13:i3865.4.1-
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc645.4.1-
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. re2c : devel/re2c
  2. cmake : devel/cmake
  3. ninja : devel/ninja
There are no ports dependent upon this port

Configuration Options

USES:

Master Sites:
Expand this list (1 items)
    Collapse this list.
  1. https://codeload.github.com/potassco/clingo/tar.gz/v5.4.1?dummy=/
  2. Collapse this list.

Number of commits found: 3

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
09 Dec 2020 05:00:30
Original commit files touched by this commit  5.4.1
Revision:557347
yuri search for other commits by this committer
math/clingo: Update 5.4.0 -> 5.4.1

Reported by:	portscout
16 Nov 2019 16:04:26
Original commit files touched by this commit  5.4.0
Revision:517757
linimon search for other commits by this committer
Fix build on GCC-based systems:

  CMake Error in app/clingo/CMakeLists.txt:
  Target "clingo" requires the language dialect "CXX14" , but CMake does not
  know the compile flags to use to enable it.

Approved by:	portmgr (tier-2 blanket)
16 Nov 2019 03:56:38
Original commit files touched by this commit  5.4.0
Revision:517713
yuri search for other commits by this committer
New port: math/clingo: Grounder and solver for logic programs

Number of commits found: 3

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
dnsmasqJan 20
goJan 19
moinmoinJan 18
ghostscript9-agpl-baseJan 17
gitlab-ceJan 14
nodeJan 14
node10Jan 14
node12Jan 14
node14Jan 14
wavpackJan 14
jenkinsJan 13
jenkins-ltsJan 13
phpmyfaqJan 12
sudoJan 11
py-cairosvgJan 10

12 vulnerabilities affecting 81 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2021-01-22 20:38:30


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 42140
Broken 84
Deprecated 204
Ignore 319
Forbidden 4
Restricted 139
No CDROM 71
Vulnerable 18
Expired 39
Set to expire 179
Interactive 0
new 24 hours 3
new 48 hours10
new 7 days43
new fortnight99
new month292

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2021 Dan Langille. All rights reserved.